asciilifeform: since i did not mention timings or analogue characteristics, the two will be equal per the spec.

asciilifeform: absolutely. i can build machine to match my spec above out of GaAs transistors, or MOSFETs on Si or whatever.

asciilifeform: correct.

asciilifeform: all specs are maximally prescriptive. in that implication is 'if you don't do x, you are not conformant and we throw you out and buy a new you'

asciilifeform: e.g., 'the box takes 8 bits as input and sets the 3 bits of output as equal to the number of 1s on the input register.'

asciilifeform: unambiguous description of how inputs and outputs relate.

asciilifeform: i gave definition earlier.

asciilifeform: yes it is pig-ugly

asciilifeform: by reading it.

asciilifeform: it is sufficiently detailed and unambiguous that unrelated groups can and have implemented fully compatible compilers.

asciilifeform: have an example of correctly made spec: the ada ref+rationale.

asciilifeform: spec ain't magic. and much of what you see passing for spec is a deliberate attempt to paper over broken ~concepts~ with verbiage.

asciilifeform: meat sucks to begin with, 'crooked timber' etc.

asciilifeform: no such thing, because spec is a program for ~meat~

asciilifeform: generally, a human language description which unambiguously relates the inputs of a mechanism to the outputs

asciilifeform: mircea_popescu: hm?

asciilifeform: and guarantee 0 surprises.

asciilifeform: a fits-in-head library with no loose parts and no sharp edges can be used as it is.

asciilifeform: not merely in context of use, but of specification.

asciilifeform: software is the one animal that ~can~ be perfect.

asciilifeform: http://btcbase.org/log/2016-06-14#1482593 << this is called orthogonalization. and is a thing. even if lazy bastards never do it and consequently mircea_popescu has never seen it. ☝︎

asciilifeform: i'm with mircea_popescu on this one ^ .

asciilifeform: like any good butcher

asciilifeform: i - pre-cut.

asciilifeform: this is something that always annoyed me, that folks write blobs that later have to be cut into parts.

asciilifeform: usable verbatim.

asciilifeform: if it actually works, it never needs reimplementing.

asciilifeform: it isn't an animal, can't run away

asciilifeform: there is no 'in the future'

asciilifeform: mircea_popescu: with static library that is NOT a thing

asciilifeform: a fella who won't set foot on airplane has the luxury of 'i won't fly unless i built the thing'.

asciilifeform: which is to say, a fairly heavy thing, that mircea_popescu is likely to use in his creations without reading.

asciilifeform: but question concerned os as, fundamentally, a library

asciilifeform: i agree...

asciilifeform: mircea_popescu is also against operating system? after all, it also entails invoking existing code instead of repasting whole shebang

asciilifeform bbl

asciilifeform: goodnight mod6

asciilifeform: which ain't happening.

asciilifeform: because this act would require fitting, e.g., 'boost', in head.

asciilifeform: trinque: it is quite correct to say that no one will ever fully grasp what the original bitcoin actually ~was~

asciilifeform: there is no hamburger --> cow converter.

asciilifeform: you can't do the reverse !

asciilifeform: you can ALWAYS press/rebase a chain of patches into a 'year 0'

asciilifeform: instead of cluttering up the aether with cut'n'pastola.

asciilifeform: for future trinque .

asciilifeform: aaaaaaaand THIS is why i want to preserve ALL possible quanta of provenance.

asciilifeform: trinque: it was how we genesis'd trb, recall.

asciilifeform: trinque: you evaluate it using SAME algo as you use for 'did asciilifeform write his patches or were they given to him by a colonel at ftmeade to pass to chumps'

asciilifeform: *your

asciilifeform: you business.

asciilifeform: and get a wild one from the net ?

asciilifeform: trinque: you would rather not have it ?

asciilifeform: incidentally, at one point i signed 'this is the tarball of openssl circa 20xx from my hdd, sha512==H'

asciilifeform: in the tinyscheme sense.

asciilifeform: hell, we have a ~literal~ openssl in there.

asciilifeform: phf: i still dun see where openssl comes in

asciilifeform: i ain't reading macbeth twice in one evening unless i ~want~ to.

asciilifeform: no matter what dumb obstacles anybody placed in my way.

asciilifeform: realize, if i strongly suspect that strings s1 and s2 are identical, i'ma diff'em.

asciilifeform: (with sitting in queues, pointless travels to stuffy offices, etc)

asciilifeform: in linked piece, mircea_popescu described how he would piss right back on people who intend to waste his time

asciilifeform: different animals.

asciilifeform: but doing same to ~adult man~ is a no go.

asciilifeform: tru!

asciilifeform: mircea_popescu: yes! precisely that one.

asciilifeform: phf: i quite agree that rereading can be beneficial. but NOT forced 'paint the snow heaps white' ru army style.

asciilifeform: have link handy for l0gz?

asciilifeform: and which projects he would take on in his consulting days

asciilifeform: does mircea_popescu remember his mega-article on leverage ?

asciilifeform: it was a 'i will NOT read a thing by hand to discover that it is actually equal to yesterday's thing'

asciilifeform: my n, for all mircea_popescu knows, could be 1,000.

asciilifeform: by not reading THING I WROTE n+1th time

asciilifeform: if ~i chose to~ - then no, not waste.

asciilifeform: definitionally.

asciilifeform: reading SAME THING 1,000,001 times because SOMEONE ELSE FORCED ME ~is~

asciilifeform: because if i cannot determine mechanically 'this is THE thing that ~i~ wrote' vs 'this is SOME OTHER thing that i must now read with magnifying glass' this wastes potentially weeks, months, years (depending on mass of turd) of my time.

asciilifeform: phf: it was hanbot's story

asciilifeform: my VERY limited time.

asciilifeform: if i have to diff (or, satan forbid, VISUALLY INSPECT), e.g., mod6's ffz.adb to see what parts he changed from mine, and every single motherfucking time i find that it is nothing at all, then my time is wasted.

asciilifeform: and must be dealt with.

asciilifeform: ^ which incidentally is still a thing that must be done, either this way or some other way, because this is indeed a dire problem

asciilifeform: hence http://www.loper-os.org/?p=1545

asciilifeform: i am NOT and will NOT be willing to sign off on, e.g., tinyscheme, or even trb, with same level of assurance as for code that i and i alone had written.

asciilifeform: and phf actually had a good point earlier:

asciilifeform: ideally you will specify a MINIMAL set of differences, via patching. supposing that the originating item was by someone in your wot, vs taken from hitler on battlefield

asciilifeform: mircea_popescu: makes ~exactly same amount of sense by abolishing copyright by poking out eyes.

asciilifeform: trinque: elaborate ?

asciilifeform: and leave the reader to gnaw on it with diff tools if he wants to get to the truth

asciilifeform: the part i disagree is mircea_popescu's apparent insistence that said chances ought to artificially obscure the origin

asciilifeform: to see what it consists of

asciilifeform: possibly what mircea_popescu was thinking is that the operator is NOT absolved of the chore of reading the thing that hashed to B9F2C8885474FD6B4F7D36955799716E68161BE8F8CFCE3640ADE942FE0064A00D64C7DABC3EC36B24797760B99EA6C79D74A8F984DCC3AEAC2EEF183B3ED70B

asciilifeform: to me it is the only relevant thing.

asciilifeform: i am entirely unconvinced.

asciilifeform: it points to tinyscheme.

asciilifeform: it doesn't point to a 'place where i swear i put a tinyscheme and not rm -rf'

asciilifeform: it does though. (unless you have a meaningful hash collision.)

asciilifeform: you say B9F2C8885474FD6B4F7D36955799716E68161BE8F8CFCE3640ADE942FE0064A00D64C7DABC3EC36B24797760B99EA6C79D74A8F984DCC3AEAC2EEF183B3ED70B.

asciilifeform: but you NEVER 'say tinyscheme'

asciilifeform: imports by referencing the hash.

asciilifeform: imports, not MORONICALLY cut and pastes.