log☇︎
263 entries in 0.681s
asciilifeform: the book (lovingly referred to as sicp, 'sick pee') is a textbook illustration of precisely what i mean when i say 'fits in head'.
asciilifeform: scheme 'fits in head.'
asciilifeform: fits-in-fucking-head.
punkman: asciilifeform: all works of man are either 'fits in head' or 'pile of shit', no exceptions << don't some things require more than a single head?
asciilifeform: all works of man are either 'fits in head' or 'pile of shit', no exceptions
asciilifeform: and that if you are using a pile of shit which fits in no one's head, don't be surprised when the inevitable happens
asciilifeform: the answer is ALWAYS, without exception, fits-in-head+does-not-crash+operates-correctly.
mircea_popescu: but hey. professional scholars. all that fits in their head are names.
asciilifeform: sometimes - head fits in lathe.
ben_vulpes: lathe fits in head.
mod6: ok back. yeah, so... I'll dig into this for sure here this month. Hopefully sooner, rather than later. I wanna make sure the whole thing 'fits in head' before we move forward. But so far, looking good.
decimation: right, so 'fits in head' fails in all languages higher than assembly, on the c machine
ben_vulpes: it verges on obfuscation, and at that point one may as well deliver a binary for all the "fits in head"ness it'll have.
asciilifeform: 'fits in head' and 'developers count on fingers on one hand' are good thermonukes against this
mircea_popescu: http://log.bitcoin-assets.com/?date=11-05-2015#1128074 << transistor spec that fits in head, hopefully ? ☝︎
decimation: re: 'fits in head' < in other words the 'mythical man month' more-or-less
asciilifeform: the ultimate failure is that adding people is guaranteed not to work for 'fits in head'.
decimation: if you want something that can serve static pages https://www.unix4lyfe.org/darkhttpd/ < fits in head
asciilifeform: so 'fits in head' is 'part of a balanced diet' with 'does whole job' (otherwise brick 'fits in head')
asciilifeform: 'fits in head' is how you actually -know- that x 'did whole job'
mircea_popescu: this, btw, is my constraint. fuck "fits in head", i dun care.
asciilifeform adds 'fits in head' likbez to middle of very long list
asciilifeform: mircea_popescu: concept alluded to was 'fits in head.' i suppose this is a good time and place to note that it can be accomplished in three basic ways: a) small system b) big head c) powerful hydraulic press
trinque: Naphex: as far as what it means to have a fits-in-head system, please do read asciilifeform's material; he's far more qualified to say.
ben_vulpes: <asciilifeform> ... prevention of fits-in-head << can vouch for the pita of this in clojure
asciilifeform: but to get back to original thread, i wasn't even specifically thinking of 0days in the jre itself, but the overall turdification and prevention of fits-in-head that java inescapably leads to.
ascii_field: there is no incremental path from -committee of crud- to -individual fits-in-head-
ascii_modem: fits-in-head is the only answer. though it goes well with a balanced diet of public impalements for wreckerz
mircea_popescu: foss seriously has a problem by now. and it is of the nature of alf's "fits in head" thing.
mod6: asciilifeform: can you make a repeatable build environment for The Foundation to use going forward? Something put together by you, blessed by you, so we're all building/testing/using something that "fits in head"?
asciilifeform: it is the only pill (other than 'fits in head') against boojums like intel's fpu bug
ascii_field: https://www.alchemistowl.org/pocorgtfo/pocorgtfo03.pdf << article on pg. 5 about 'fits in head' - pure gold
mircea_popescu: the pi is currently being worked on as a first example of a fully fits in head machine.
asciilifeform: and the result 'fits in head'
asciilifeform: ben_vulpes: i've historically been a skeptic of 'provably' whatevers, because the required furniture, in my experience, never failed to interfere with 'fits in head' - and the promised are often overblown
mircea_popescu: that way, it defnitely fits in head.
decimation: asciilifeform: do you have a favorite 'static code analysis' tool? or do you eschew all such automation in favor of 'fits in head'?
decimation: 'fits in head'
decimation: asciilifeform: I suppose that if one really wants an os written in ada that 'fits in head' - one should write it himself
asciilifeform: what part of 'fits in head'?
asciilifeform: but the only proper spec is a) actual spec b) fits in head c) because was created by actual person
mircea_popescu: asciilifeform 1 because allowing two ways to do things never killed anyone and 2 probably because i want to see the stuff. i suspect it's a derivative of the general "fits in head" principle.
asciilifeform: (meaning equal to 'fits in head')
asciilifeform: the principal thing-not-to-do is complexity that prevents fits-in-head
decimation: yeah it's a good point. there is a vast difference between 'source is open, could read' and 'design is obvious, fits in head'
mircea_popescu: asciilifeform incidentally, i think i may have made a breakthrough here. your idea of a "program that fits in head" and my displeasure at the backwards way linux has been going have a common spot.
kakobrekla: anything that fits in head?
asciilifeform: the seeds of rot are in any deviation from 'fits in head.'
asciilifeform: i should also point out that 'fits in head' does not mean yours and mine, necessarily. there are many different heads.
asciilifeform: not fits in head - ipso facto not well written
asciilifeform: well written == operates correctly + fits in head.
asciilifeform: when i say 'fits in head', i mean in the same way mechanism of doorknob, or kalashnikov.
kakobrekla: 'fits in head' < meh, some folks fit 50k digits of pi in ther head.
asciilifeform: although, i'll spill the one bean, that the point of my particular long-term 'fits in head' compaction for it, is to determine (for my own perverse pleasure) whether: it works.
decimation: yeah, I agree, like you need a computer that tells you what fits in your head
asciilifeform: because the only genuinely curative pill is: fits-in-head.
asciilifeform: even the humble unix 'patch' utility - was not designed from birth for keeping the world small, 'fits in head'
decimation: dijkstra would have been a fan of 'fits in head'
asciilifeform: it is 'fits in head.' and a few other things.
asciilifeform: therefore closer to 'fits in head.'
asciilifeform: we aren't doing 'provably correct' or even 'fits in head' quite yet. just a reasonably sane janitorial job on classical bitcoind. downed pilot has to eat, whether the fauna have four legs, six, or a thousand.
mircea_popescu: now THAT fits in one head alright
asciilifeform: seriously suggesting that a prisoner in usa can keep a key secure (other than one which fits in his head) ?