asciilifeform: iirc that was last one i saw ( and the only 1 in orig lang )
asciilifeform: hey i even managed to see disneys. a coupla, with the trad ru dubbing translator with clothspin on his nose going mmmm
asciilifeform: the notion that sumbody might turn away from 'modernity' consciously, rather than because alzheimer patient, apparently is a bridge too far for some folx☟︎
asciilifeform: it's at least the 5th time i got that q, nearly lost count
asciilifeform: i pictured zx2c4 as also young, but i have nfi specifically
asciilifeform: it was quite similar, imho, to the gabriel laddel fella. clearly there was 'somebody home' in the crankcase, but under a thick haze of substances and detritus from indiscriminate suction of ??? from heathendom. 'salvation of the drowning is work for the selfsame drowning', what can i say.
asciilifeform: i gave ~hour to attempt to cure. in retrospect it was folly, made 0 dent.
asciilifeform: folx ~do~ on occasion get out of e.g. the bottle. but ~this~ appears to be incurable, medicine is powerless.
asciilifeform: mircea_popescu: i still can't make heads or tails of wtf was in that d00d's head. shows symptoms of some kinda maths education. but omfg the 'cd-r brain'.
asciilifeform: ( and , in fact ~to the credit of~ koch, at least the latter didn't fuck about with 'proofs' )
asciilifeform: ( there are 'lifers' in ru, typically 5+ corpses on ea., but they typically have life expectancy of ~7y . 1 survived to parole age last yr, it was enuff of an oddity that it was taken up in the fishwraps as newz )
asciilifeform: while in usg reich, effectively life sentence for ~errything, at least if yer white , is ~standard
asciilifeform: in current-day ru, as i understand you need repeated (1 corpse generally not suffice) wetwork to merit >decade
asciilifeform: jailers pull'em down with hooks, so they get rebuilt regularly.
asciilifeform: ( technically 'horse' is the spitball, 'road' is the rope, but again in eng world whoknows, maybe whole tradition died/never born )
asciilifeform: the procedure for making the 'road' go is quite elaborate and much dwelled on in ru prison lit. ( gotta pull apart a sock, weave rope, make 'fishing rod' out of paper + bread glue etc , then run the 'horse' )
asciilifeform: road runs mainly at night, for obv reason.
asciilifeform: d00d whose cot is by the grate has the duty of 'keeping the road', as they called it (again nfi in english world what it is called there, much less in spanish empire)
asciilifeform: http://btcbase.org/log/2018-11-30#1876362 << i'll admit, i kept half-expecting him to actually read a ch of ffa and go 'hmm... maybe i should throw out my c hairball and mecha-proofisms' but of course no dice.☝︎
asciilifeform: ty diana_coman ! i will sew it into ch14.
asciilifeform: btw , q for ffa readership, can anybody think of a way to make the digit slider routine non8bitbyte-clean ? ( beyond having ffa eat its pistol on boot if it finds itself on such machine, lol )
asciilifeform: i'ma bet was not acctd for in the 'proof'isms..
asciilifeform: ( longtime tuned-in folx, will know what irons )
asciilifeform: it is result of the specific mathematical approach taken. where code must remain SMALL and NO branching on cryptobits, other than death on div0, is permitted. no memory indexing on cryptobits, either.
asciilifeform: tho it does helpfully give pascal-style pass by ref, to avoid pointerisms
asciilifeform: i can show this because the inputs , for given size, literally do not affect the program branch flow.
asciilifeform: consider, zx2c4 , i can show that nuffin in my arithm routines can overflow a buffer. even if you were to turn ada's overflow checks off. without any complicated tooling.
asciilifeform: ... or that the #define ULT(a, b) ((a ^ ((a ^ b) | ((a - b) ^ b))) >> (sizeof(a) * 8 - 1)) macro dun turn to barf in the preprocessor on acct of some esoteric beard shaving from dennis richie ?☟︎
asciilifeform: does your proof demonstrate that none of them can overflow, regardless of what happens , say ?
asciilifeform: what i see in the link, is a buncha c code, with pointerisms
