← |
Results 3251 ... 3406 found in all logged channels for 'verisimilitude'
(asciilifeform) asciilifeform: verisimilitude: i've 'already seen the movie before' -- same sort of artificial shortages in early '90s su
(asciilifeform) asciilifeform: verisimilitude: i already had the plague, but haven't much interesting to say re subj.
(asciilifeform) thimbronion: verisimilitude: same here + cough, headache, night sweats. Mid Feb.
(asciilifeform) asciilifeform: verisimilitude et al : the usual ( fever etc ) but minus the choking ( much as i hate to disappoint the readers !! )
(asciilifeform) asciilifeform: verisimilitude: afaik ada's the only lang where is permitted to use ~any~ discrete type (incl. discontinuous ranges, enumerated whatevers, etc) for array indices.
(asciilifeform) asciilifeform: verisimilitude: i'm only aware of 2 langs that have arbitrary array indices -- ada and commonlisp
(asciilifeform) asciilifeform: verisimilitude: not defending 'typewriter kbd 4evah!' (like e.g. mp & other 'latin fundamentalisms') but imho when offering notation, oughta make argument for how it wins
(asciilifeform) asciilifeform: fwiw i found verisimilitude's apl examples quite challenging to read. (not even on account of the unusual glyphs, but because infix and so difficult to parse the tree)
(asciilifeform) asciilifeform: verisimilitude: but why compare to artificially verbose form ? instead compare with e.g. z <- y`(-17) + y'(-17) != ... or similar
(asciilifeform) asciilifeform: verisimilitude: what i'm curious about, is what problem the expanded alphabet of apl is seen , by aficionados, to solve
(asciilifeform) asciilifeform: verisimilitude: right, it so happens that i also rarely have occasion to use forth. but for instance i stole from it the evaluation mechanics, in 'peh'
(asciilifeform) asciilifeform: verisimilitude: right, but clearly you are apl aficionado, perhaps could shed light on how appeals
(asciilifeform) asciilifeform: verisimilitude: what does e.g. 'z←((¯17↑y),¯17↓y)≠((¯19↑y),¯19↓y)≠(10⍴0),¯10↓y' look like when yer keying it in ?
(asciilifeform) asciilifeform: verisimilitude: outta curiosity, what do you use as input device for these proggies ?
(asciilifeform) asciilifeform: verisimilitude: i tried 'j' at one point, long ago. iirc supposed to be rather like a latinized apl.
(asciilifeform) asciilifeform: verisimilitude: potentially interesting, but -- sadly i dun know apl
(asciilifeform) verisimilitude: That's good to know, asciilifeform. In any case, know I've rather recently updated this article.
(asciilifeform) asciilifeform: verisimilitude: in fact i read your www regularly. (didn't comment on account of lack of a comment mechanism, however)
(asciilifeform) asciilifeform: verisimilitude: there's nothing wrong w/ writing such thing. but i wanted to state why i would not .
(asciilifeform) adlai: verisimilitude: thank you for the reminder about using loop keywords from the keyword package. this is a habit that i have yet to adopt, although i probably should.
(asciilifeform) asciilifeform: verisimilitude: not as if 'comp sci' were 9000x better taught, in comparison. but the chem dept suffered from a plague absent in the former -- it came to be used as a 'weed-out torture' for 'pre-med' students. which meant that the curriculum consisted 90% of rote memorization
(asciilifeform) asciilifeform: verisimilitude: ever had occasion to write a compiler ?
(asciilifeform) asciilifeform: verisimilitude: what sorta goals do you have for this ?
(asciilifeform) asciilifeform: verisimilitude: the issue is that no matter how beautiful 'style guide' you make, it aint gonna bring cl on pc back to life
(asciilifeform) asciilifeform: btw verisimilitude , imho if you want folx to consider a cl styleguide, gotta publish a modded commonlispmode/slime to go with it
(asciilifeform) asciilifeform: it aint unreasonable, but i always put space after comment chars (in all langs.) also wondered why verisimilitude is fond of 1970s-style all-caps
(asciilifeform) snsabot: Logged on 2020-02-16 00:34:53 shinohai: Common Lisp Style Document <<< ftfy
(asciilifeform) snsabot: Logged on 2020-02-16 06:39:42 verisimilitude: I send rather all of my WWW browsing traffic through Tor with the Tor Browser, and this is just fine. It's a matter of I'd prefer it be rather private, but it's not damning if it later turns out not to be; I don't lose in this scenario.
(asciilifeform) Vexual: verisimilitude, are you aussie?
(asciilifeform) snsabot: Logged on 2020-02-16 00:48:18 verisimilitude: Also, regarding other earlier discussion, Tor is fine to use so long as one wants to make himself harder to track; trusting Tor only is foolhardy, however; it would be best to use Tor along with other privacy methods, if one's truly doing something that could have himself imprisoned or killed.
(asciilifeform) asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2020-02-16#1006758 << hey verisimilitude, ever read the log ?!
(asciilifeform) shinohai: Whatever you prefer verisimilitude, re: comments. I was working on comment system for bot (requiring gpg sigs) but never really bothered with comment section for whatever reason xD
(asciilifeform) verisimilitude: I'll try again: [Common Lisp Style Document](http://verisimilitudes.net/2020-02-14)
(asciilifeform) verisimilitude: You may be interested, asciilifeform, in taking a look at my (Common Lisp Style Document)[http://verisimilitudes.net/2020-02-14], assuming you've not already done so.
(asciilifeform) asciilifeform: meanwhile, in somewhat interesting material by lurking folx .
(asciilifeform) asciilifeform: verisimilitude: in practice this is what afaik most serious folx do. e.g. 486 lappy w/ pgp.
(asciilifeform) asciilifeform: verisimilitude: looks from vendor site like the usual single-chip unauditable garbage.
(asciilifeform) asciilifeform: verisimilitude: it is very easy to think 'hey, better than nothing', when looking at a piece of phree soft. but it remains that it took the wind outta the sails of folx who may have otherwise written a 'better than better-than-nothing', in any particular case.
(asciilifeform) asciilifeform: verisimilitude: rms in fact crippled gcc deliberately in certain ways ( in particular, made deliberately difficult to separate the front and back ends, to get at the ast ) with a view to making 'cheat' harder to pull off inside bounds of gpl
(asciilifeform) asciilifeform: verisimilitude: this , this , this , isp-related things, most immediately
(asciilifeform) asciilifeform: verisimilitude: observe that e.g. apple co. was able to steal gcc compiler after all. simply took'em a decade, to hire monkeys to 'rewrite' it as 'clang'.
(asciilifeform) asciilifeform: verisimilitude: re 'cooperate with the usual...' -- i rec to actually ~think about what yer getting~ from that kind of 'cooperate', rather than to do it 'on autopilot'.
(asciilifeform) asciilifeform: verisimilitude: where are you? alaska ?
(asciilifeform) asciilifeform: verisimilitude: md
(asciilifeform) asciilifeform: verisimilitude: whose 'support' do you actually need ?
(asciilifeform) asciilifeform: verisimilitude: i've been releasing proggies under 'mp's license' since 2015. and gas van not yet come.
(asciilifeform) asciilifeform: verisimilitude: i also in us..
(asciilifeform) snsabot: Logged on 2019-12-23 21:53:37 verisimilitude: Returning to copyright, I know it would be comforting to be one of those people who simply put everything in the public domain, and so not worry about, but I can't subscribe to that, and so I'm ofttimes hounded by the suspicion some corporation is trying to unjustly acquire a ``license'' to my work, and it's enough to drive one mad, in a way.
(asciilifeform) snsabot: Logged on 2019-12-23 21:44:04 verisimilitude: If I could configure the HTTP server, Apache2, to merely log the form submissions wholesale for manual inclusion, that alone would be an improvement.
(asciilifeform) snsabot: Logged on 2019-12-23 21:43:00 verisimilitude: My website lacks a comment mechanism primarily because I don't know nor do I particularly want to know how to configure my HTTP server to accept them. Requiring JavaScript is an unacceptable compromise. While email is equally usable for both those reading on the WWW or by Gopher, it would be nice to have more comments.
(asciilifeform) asciilifeform: verisimilitude: how come you don't have a comment mechanism on your www ? is it on acct of spam? i've found that my spam control mechanism ( i.e. ask commenters to solve simple arithmetic problem ) worx 100%
(asciilifeform) asciilifeform: verisimilitude: re 'future' direction of this insanity -- see e.g. this.
(asciilifeform) asciilifeform: verisimilitude: re your copyrasty article & elena ceausescu -- the interesting part is that in the so-called 'free world', ceausescus of this kind are the ~rule~, rather than the exception. from edison (who invented the 'biz model' of 'keep 9000 researchers for starvation wage and harvest 100% of profit' to e.g. steve wolfram's lawsuit re cook's 'rule 110', to the chair of just about eve
(asciilifeform) asciilifeform: verisimilitude: does it build with 'secondary stack' disabled ?
(asciilifeform) asciilifeform: verisimilitude: aside from this cannot unfortunately comment re the design, i dun have sha1 in my head and in fact haven't used it for many yrs for anything
(asciilifeform) snsabot: Logged on 2019-12-21 04:00:07 verisimilitude: Anyway, what's your opinion on the design; I agonized over the package specification and think it's rather idealized by now, as I explain in the documentation.
(asciilifeform) asciilifeform: verisimilitude: is there something you specifically found questionable in the sha built into gnat ? or simply target practice w/ readily-avail. pairs of in/out
(asciilifeform) asciilifeform: verisimilitude: i gotta ask -- of all the possible algos to practice on... sha1 ?! why ?
(asciilifeform) asciilifeform: verisimilitude: thx for posting, interesting. very rare machine. i've not found one being sold at any price, for many years.
(asciilifeform) asciilifeform: verisimilitude: not atm. ( i personally don't like oop , and don't see its addition as useful feature ) but will read whole proggy when you post it.
(trilema) snsabot: Logged on 2019-09-05 00:02:23 verisimilitude: I'm starting work on networking libraries in Ada; I've started with UDP; I'd appreciate receiving some thoughts on this package specification:
(asciilifeform) asciilifeform must bbl. verisimilitude if you write at length on the subj, i'ma read when get the chance.
(asciilifeform) asciilifeform: verisimilitude: do you intend to make own ? how will it differ from traditional ?
(asciilifeform) asciilifeform: verisimilitude: diana_coman's variant already has a knob for packet size.
(asciilifeform) asciilifeform: verisimilitude: how do you intend to put the os glue? inline asm ?
(asciilifeform) asciilifeform: verisimilitude: what do you propose to do differently ?
(trilema) spyked: then again, there's http://verisimilitudes.net/2018-04-04 , iirc the verisimilitudes fella was hanging out in #asciilifeform at some point
(trilema) a111: Logged on 2019-02-05 07:29 mircea_popescu: !!rate verisimilitude -1 children, seen and not heard.
(trilema) a111: Logged on 2018-09-25 00:34 asciilifeform: verisimilitude: i have quite a few items in own notebook similar to yours, from decade+ ago. lemme guess, were you stuck on uninhabited island ?
(trilema) a111: Logged on 2018-09-25 00:21 mircea_popescu: !!up verisimilitude
(trilema) a111: Logged on 2018-09-25 00:32 asciilifeform: verisimilitude: i highly recommend it, right now you're in approx the position of that random fella who sat down in a cargo plane and took off on a lark
(trilema) a111: Logged on 2018-09-25 00:30 asciilifeform: verisimilitude: ever read the #trilema logs ? or just this minute found it
(trilema) asciilifeform: funnily enuff , the verisimilitude fella's parting words were approx 'but wtf IS tmsr, can you give me gist at least!'
(trilema) a111: Logged on 2019-02-05 01:40 verisimilitude: Let's seque to a related topic: What do you think of the Suckless crowd, asciilifeform? I read their mailing list and it's interesting to see how everything UNIX already provides is good and natural and how anything that violates the sacred tenants whatsoever is evil and bloat.
(trilema) mircea_popescu: !!rate verisimilitude -1 children, seen and not heard.
(trilema) mircea_popescu: !!down verisimilitude
(trilema) asciilifeform: verisimilitude meet mircea_popescu .
(trilema) asciilifeform: verisimilitude: as a concrete example : you will find that ffa uses an unmoving hinge for karatsuba multiplication. consequently all numbers are required to occupy a space that is a power-of-two bits wide. but from this you get a 3-4x simpler mechanism.
(trilema) asciilifeform: verisimilitude: 1st step is to actually impose on yerself the constraint, 'what i am writing ~is to fit in my head~. then can proceed to help other folx fit into ~theirs~.
(trilema) asciilifeform: verisimilitude: see, for instance, thread http://btcbase.org/log/2018-11-30#1876186
(trilema) asciilifeform: verisimilitude: field is not at the 'let's discover immortality' stage; but at the 'start fucking washing hands and not drilling well right next to latrine' stage.
(trilema) asciilifeform: verisimilitude: there are other 'old unix' cargo cults in the historic record, also; all are quite similar to cat-v , near as i can tell.
(trilema) asciilifeform: verisimilitude: http://trilema.com/2016/cat-vorg-adnotated/ << summary of mircea_popescu's expedition to cat-v planet.
(trilema) asciilifeform: verisimilitude: the zero-terminated string more or less single-handedly created the 'comp security' pseudo-industry
(trilema) asciilifeform: verisimilitude: see also http://www.loper-os.org/?p=165#selection-110.0-125.164 , http://www.loper-os.org/?p=165#selection-79.0-85.510 .
(trilema) asciilifeform: verisimilitude: 80% of what there is to be learned from the thing, can be learned without access to working unit
(trilema) asciilifeform: verisimilitude: you may find interesting to study the 1 example where someone actually ~did~ it for common lisp
(trilema) asciilifeform: verisimilitude: ideally would have this for entire stack, transistor & up.
(trilema) asciilifeform: verisimilitude: ever fpgaize your experimental archs ?
(trilema) asciilifeform: verisimilitude: sadly ~all~ gnats require a working , existing gnat, to build
(trilema) asciilifeform: verisimilitude: tell us a bit re what you're building ?
(trilema) asciilifeform: verisimilitude: try building ave1's , unless your iron is quite exotic you will probably find that you can build a cross-gnat that outputs bins for it.
(trilema) asciilifeform: verisimilitude: imho it is a quite fine lang for building systems where 'surprises' are utterly impermissible. but it does take work.
(trilema) asciilifeform: verisimilitude: for instance, i do not use the secondary stack, or any mechanisms which demand it; or any form of heaps ; or classes; etc
(trilema) asciilifeform: verisimilitude: you will find that the ada used by asciilifeform , diana_coman , et al, is quite distinct flavour from what you see in barnes & in various corners of the net where published ada proggies (not so many) are found
(trilema) asciilifeform: verisimilitude: in particular , any system with gc is ruled out right off the bat, as you cannot plug timing sidechannel leak if you got gc in the mix.
(trilema) asciilifeform: verisimilitude: in 2016 i found that i gotta write a safety-critical arithmetic system (nao known as ffa) and found that i cannot in good conscience do it in anyffin but ada.
(trilema) asciilifeform: verisimilitude: there are other langs with strong typing, but afaik ada is the only 1 where a) with actual standard b) doesn't drag along a gargantuan runtime that won't sit down in small single-chip boxes etc
(trilema) asciilifeform: verisimilitude: you will find that most of the win from adaism is in the approach of thought that it encourages, rather than any mechanical aspect of the lang per se.
(trilema) asciilifeform: verisimilitude: incidentally diana_coman ( http://ossasepia.com/ ) has quite large set of published ada ( & articles re same ), i highly recommend to read.
(trilema) asciilifeform: seems like verisimilitude has visited previously, but nao is getting into adaism via ffa ( http://logs.bvulpes.com/asciilifeform?d=2019-2-5#458157 )
(trilema) asciilifeform: verisimilitude: if/when you want to swap the key, ask (politely) trinque , it's a manual process
(trilema) asciilifeform: willkommen verisimilitude
(trilema) asciilifeform: verisimilitude: you can privmsg deedbot nao an' light up on own steam
(trilema) asciilifeform: !!down verisimilitude
(trilema) asciilifeform: verisimilitude: try nao.
(trilema) deedbot: asciilifeform rated verisimilitude 1 << commonlisp & cpu design fella, http://verisimilitudes.net , loper-os reader .
(trilema) asciilifeform: !!rate verisimilitude 1 commonlisp & cpu design fella, http://verisimilitudes.net , loper-os reader .
(trilema) trinque: verisimilitude: no reason not to give it a go now
(trilema) asciilifeform: !!key verisimilitude
(trilema) asciilifeform: verisimilitude ^
(trilema) a111: Logged on 2018-09-25 01:06 asciilifeform: verisimilitude: make key, you will be able to swap it later by asking politely of trinque
(trilema) asciilifeform: verisimilitude has quit (Remote host closed the connection) << loox like he ran out of gas for the modem...
(trilema) asciilifeform: verisimilitude: old gentoo
(trilema) asciilifeform: verisimilitude: you have roughly half hr, cuz i gotta get up soon
(trilema) trinque: verisimilitude: anyhow I wont mind swapping your key later if you want to generate one in more sanitary conditions later, provided you sign for me the new key with old.
(trilema) asciilifeform: verisimilitude: make key, you will be able to swap it later by asking politely of trinque
(trilema) asciilifeform: verisimilitude: once rated, you'll be able to speak on own time, and other folx will read in log when they wake.
(trilema) asciilifeform: verisimilitude: mircea_popescu , and he historically built 'cheap and angry' . quite likely will migrate off fleanode in not long.
(trilema) asciilifeform: verisimilitude: y'know how in old arabian tales, fella gets audience with sultan ? gets little bit to speak his bit
(trilema) asciilifeform: verisimilitude: no, means that you cannot buy it presently.
(trilema) asciilifeform: verisimilitude: i've an unbuilt 'btc wallet on 6502' item, for instance.
(trilema) mircea_popescu: verisimilitude whole fucking republic consists of this.
(trilema) asciilifeform: verisimilitude: just as well.
(trilema) asciilifeform: verisimilitude: verily, i tried with own hands to source a m68k for modern manufacture, and failed utterly
(trilema) mircea_popescu: verisimilitude you might as well get one of the rks over in the republica oriental. arm boxes.
(trilema) asciilifeform: verisimilitude: i've been looking into ( and if you read logs, will know this... ) baking a mips machine.
(trilema) asciilifeform: verisimilitude: you'll really want to reg with deedbot if yer interested in further doings.
(trilema) deedbot: verisimilitude voiced for 30 minutes.
(trilema) asciilifeform: !!up verisimilitude
(trilema) asciilifeform: i suspect verisimilitude will enjoy the http://btcbase.org/log/2018-06-11#1822445 thread.
(trilema) asciilifeform: http://verisimilitudes.net/2018-08-18 << nostalgic
(trilema) asciilifeform: http://verisimilitudes.net/2018-02-02 << are you familiar with...
(trilema) asciilifeform: verisimilitude: i have quite a few items in own notebook similar to yours, from decade+ ago. lemme guess, were you stuck on uninhabited island ?
(trilema) asciilifeform: verisimilitude: then will be able to speak and come into perma-relation with other people.
(trilema) asciilifeform: verisimilitude: also highly recommend to make yourself a pgp key, and reg with deedbot,
(trilema) asciilifeform: verisimilitude: i highly recommend it, right now you're in approx the position of that random fella who sat down in a cargo plane and took off on a lark
(trilema) asciilifeform: verisimilitude: ever read the #trilema logs ? or just this minute found it
(trilema) mircea_popescu: http://verisimilitudes.net/2018-08-28.read << you wrote this ?
(trilema) deedbot: verisimilitude voiced for 30 minutes.
(trilema) mircea_popescu: !!up verisimilitude
←
|