asciilifeform: to take 1 instance, say, the 'penetrate china' problem.
asciilifeform: ( in selected cases, e.g. where bernstein prefers to smoke crack rather than showing up , can discern. but their song is sung , not much to add to'em )
asciilifeform: whether 'not grown', or 'not deigns to show face', cannot discern.
asciilifeform: can directly observe only that array of $problem remains open.
asciilifeform: or for that matter the direly needed biznisgenius.
asciilifeform: it's a concretization. dun have to be 'fix xyz', could be e.g. 'find how to grow working ic inside a metre^3 box' or any 1 of 9000 unsolveds.
asciilifeform: can still observe that nobody's yet afaik grown truffle 'in captivity' tho.
asciilifeform: 'control outcomes' is red herring, i dun even know how to 'control outcome' of potted tomato plant.
asciilifeform: i dunthink i've the req'd yoga level of yet to make sense of this.
asciilifeform: so, what's the implication, why do we even need working tech, why not sit around and smell own farts like aristotle & co ?
asciilifeform: mircea_popescu: ave1 managed to deliver a 50% cut in cpu cost, nonetheless (fixed inlining).
asciilifeform: mircea_popescu: also speaking of harem in the general case ( rather than strictly mircea_popescu in particular ), observation is narrowly 'no one yet reported that he trained a harem chix to work on mechanicals'. afaik.
asciilifeform: also if mircea_popescu says harem consists of sales genius , i'ma believe; but i haven't any direct evidence of subj.
asciilifeform: so my summary was 100% on, 'harem is crystalline perfect, and who are you to even suggest to sully it with dirty work'.
asciilifeform: and yes if/when nicoleci or new one etc sends in an optimization for ffa arithm, i'ma take it back.
asciilifeform: can't propose so far as to 'set goal', but will observe that the net # of mechanical moving parts currently fielded that came out of harem, is afaik 0.
asciilifeform: i cannot speak for that of other folx.
asciilifeform: narrow sense of educable-as-in-ave1 , i.e. capable of contributing to asciilifeform's load of heavy-lifting in particular.
asciilifeform: i aint about to try an' tell mircea_popescu how to use his trained meats. but will remain skeptical that any trainable in the sense asciilifeform contemplates, until see with own eyes, is all.
asciilifeform: we already iirc did the a:'so how many solved the ffa puzzlers' m : 'i wouldn't waste a precious trained gurl on such dirty works' thrd, dun have to replay.
asciilifeform: if there's a seekrit reserve of'em somewhere, asciilifeform not found yet.
asciilifeform: educable folx seem to be pretty thin on the ground tho.
asciilifeform: unwashed heathen who reads e.g. spyked's post, will understand 0.☟︎
asciilifeform: i still dun see an obv 'entry point' for noob in log tho. 'no royal road.'
asciilifeform: can't find what to dispute, tho will note that redditus-detector like any other detector oughta stay in calibration, if it's set off by gust of wind, it's not a detector at all
asciilifeform: some folx seem to know how to grow n00bs that walk in and set to work right off ( iirc diana_coman had one ) but asciilifeform not achieved this wonder of yet☟︎
asciilifeform: 'Without an available fix it seems irresponsible to disclose such a vulnerability ...' etc
asciilifeform: meanwhile, in 'thought we hit bottom but then heard knock from below' in heathendom, https://archive.is/lFXpf << a chowdhra type Officially calls for nobus to be made Official doctrine
asciilifeform: ( haven't grown any to pupae yet, but whoknows, possibly 1 day )
asciilifeform: mircea_popescu: i'ma bring larvae in strictly once they pupate, as discussed earlier with diana_coman .
asciilifeform: gotta indicate to owner when a piece of iron has realized that it is going south.☟︎
asciilifeform: incidentally this is a feature that used to be standard on 'adult' comps, but was lost in the pc babel of 1980s
asciilifeform: on hardwarized ffa variants, this output is to be connected to either an actual bell, or at least red 'sad' lamp.
asciilifeform: ( this is ~already~ true, simply not yet connected to the bell. )
asciilifeform: in the 'battlefield' release, all exceptions will be caught by handler that prints 'iron is damaged, replace immediately'
asciilifeform: ( typically this is where an arithmetic has been proven not to overflow, the overflow is connected to a Word of 'NoCarry' type, i.e. whose range is 0 .. 0 . )
asciilifeform: on that subj, attentive ffa reader will notice in certain places asciilifeform marked in comment 'cosmic ray resistance' . this indicates mechanisms where there are two or more separate pieces that ensure a correct computation (or death with alarm bells) if somehow bit flips , when this is inexpensive.☟︎
asciilifeform: i.e. they're the 'suspenders' in a 'belt and suspenders' tandem.
asciilifeform: they do make elementary mistakes in calling coad 100x moar obvious tho, and therefore are a win imho.
asciilifeform: re preconditions : theoretically they allow for certain optimizations ( mythical 'sufficiently smart compiler' could infer that various range checks cannot be violated if precondition holds ) but afaik our gnat doesn't do this, and i'm not certain that i'd like it if it did
asciilifeform: diana_coman: i orig had mine set to '05 also.
asciilifeform: wasn't implying that diana_coman picked with dartboard, lolno.
asciilifeform: diana_coman: fwiw i didn't end up on 2012 blindly, actually walked the feature ladder and consciously picked.☟︎
asciilifeform: -83 won't build diana_coman's proggy either, there was no tasks annex in -83.
asciilifeform: this can be worked around, but would add gnarl, and i won't touch it unless someone gives a compelling argument re why oughta build on a -83.
asciilifeform: truly vintage (ada-83) won't eat ffa, there is use of 'in out' parameters.
asciilifeform: ( theoretically will build on a 2005 or prior adatron, if they are removed, if one must. )
asciilifeform: re ada2012, that was actually a good q, and i'll answer it for the log : ffa in fact uses preconditions, a 2012 knob.
asciilifeform: the puzzlers aint actually that painful imho.
asciilifeform: can't see how could go wrong with that.
asciilifeform: diana_coman: posssibly i oughtn't to graduate'em till they solve all the ffa homeworks.
asciilifeform: i dun have a dispute re the principle, it's The Right Thing.
asciilifeform: asciilifeform's kindergarten currently is permissive (so long as folx are reasonably low-traffic) on acct of not being particularly packed.
asciilifeform: eh if mircea_popescu says 'you aint ready to graduate kindergarten' i aint about to dispute an' 'no, let's graduate'im to 1st grade'. was curious re the logic, is all.
asciilifeform: diana_coman: so apparently he hadn't read all 7 yrs of log. tho mircea_popescu did not say that this was why got the boot.
asciilifeform: ( once they have magnum opus and not prior ? )
asciilifeform: also will ask mircea_popescu to expand re when, exactly, one oughta invite folx from castle.☟︎
asciilifeform: i'ma wait till mircea_popescu speaks for himself and clarifies, but that seems to be his position
asciilifeform: diana_coman: i.e. we have all the hands we'll ever want ?
asciilifeform: i dun recall having myself walked in with a mega-contribution on day1 either
asciilifeform: diana_coman: it's a teachable n00b, as suggested by his www. similar to e.g. bvt .
asciilifeform: maybe coupla thou noobs with working hands alive; i catch 1 in the wild, and mircea_popescu uses for target practice, i dunget.
asciilifeform: mircea_popescu: i gotta admit i'm baffled, d00d asked re whether i used ada2012, that's breach of etiquette ?
asciilifeform: 'where they cut off yer lips when they don't like yer smile!'(tm)(r)(disney)
asciilifeform: mircea_popescu: i sent him to reg w/ deedbot an' try voicing, deliberately, d00d spoke at my explicit invitation.
asciilifeform: mircea_popescu: that was the one ! ty
asciilifeform: mircea_popescu: bonus re varenicline, вареник ~= dumpling
asciilifeform: iirc freud prescribed cocaine 'against errything', and... worked, after a fashion
asciilifeform: mircea_popescu: lol is there a pill for 'abstinent' from nail-biting also
asciilifeform: oughta become apparent soon enuff, whether fella's hands grow from right organ.
asciilifeform: mircea_popescu: he lives there orig, seemed ready to be introduced to other folx, as adaist. i expect will mostly lurk for the foreseeable fyootur.
asciilifeform: mircea_popescu: i was massaging a n00b, tends to take space.
asciilifeform: this is merely 1 example of 'this program MUST fit-in-head, above all else.'
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.
asciilifeform: because he understands the arithmetic.
asciilifeform: and explain why every single byte he wrote, needs to be where it is.
asciilifeform: a student who reads & understood the thing, oughta be able to 'compile' with bare hands, using nothing but hex editor, for any iron he is given.
asciilifeform: ffa in particular is intended as , among other things, a didactic demonstration of what means 'fits-in-head'.
asciilifeform: he will use 'libraries' and 'legacy' crapola and autoconf and etc.
asciilifeform: but if author failed to consciously commit to this constraint, in general the resulting work will ~never~ fit-in-head.
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~.
