asciilifeform: i'll buy a 'he oughta have appeared here ~before~ strapped in the chair'.
asciilifeform: impossible to say, from my telescope.
asciilifeform: mircea_popescu: perhaps he dun have a tcp pipe in the cokemachine chair.
asciilifeform: they may have occasional droplet of fact, or may not
asciilifeform: fwiw i read usg indictments as works of fiction, not particularly different from e.g. trial of lavrentiy pavlovich beria, 'british, french, and japanese spy'☟︎
asciilifeform: where's the difficulty in producing an arbitrary 'mr chump went into usa with bag of $ x' for any desired value of x
asciilifeform: i'm not convinced that the mexican was zek ( well, until picked up and enzekked )
asciilifeform: mircea_popescu: fwiw they always Officially print 'when crossing the border' (recall the ru d00d kidnapped 'in spain' etc.) it's the new 'shot while escape'.☟︎
asciilifeform: ^ tldr, mexican d00d ran small btc-fiatola house; dragged into usa for gassing.
asciilifeform: well any unix proggy is 'collected when process dies' lol
asciilifeform: all i particularly care for in re scripting is to obtain a replacement for perl/python/bash where the interpreter is simple (i.e. readable, fits-in-head, auditable, correct)☟︎☟︎
asciilifeform: for scripting, of the 'death is your gc' variety, and where proggy is not safety-critical ( no crypto , at least not directly ) the above dun apply, sure
asciilifeform: ( before anybody asks -- imho it is physically impossible to get this effect on pc iron, where not only caching but such things as sdram burst r/w exist )
asciilifeform: ( i.e. your proggy is cache-insensitive )
asciilifeform: Mocky: process scheduler is annoying in re timing the instruction count used by a proggy . but doesn't leak anything if your proggy doesn't data-dependently address or branch.
asciilifeform: gc time and space behaviour is a big fat side channel into pretty much any crypto .
asciilifeform: there is no room in that for the possibility of 'maybe right here gc kicks in, and will take variable time depending on what you've been doing for past week'
asciilifeform: troo determinism means that i can write the exact sequence of instructions that will execute in the routine, and the exact addresses that will be referenced as operands, in the exact order.
asciilifeform: a gc can be seen as an example of a data-dependent branch. which are ~not~ acceptable in crypto coad.
asciilifeform: as in, 'modular multiplication will use EXACTLY 16kB each time, and they will go in this-here range of addrs, which then will zero, and it will take N nanoseconds'
asciilifeform: Mocky: speaking of ~tight~ bounds, rather than upper/lower
asciilifeform: Mocky: utterly destroys ability to put hard time and space cost bounds on anything whatsoever
asciilifeform: even somehow abstracting over these -- proglang with gc is simply not acceptable in safety-critical/crypto proggy. it is at least in principle possible to write cl without cons; but afaik this is not practical in erlang
asciilifeform: i.e. yes it successfully cures pointerism, overflowism, but at the cost of massive ball of ??? runtime, making your proggy effectively unauditable and quite certainly unmicrocontrollerable
asciilifeform: 'vaccine is work of the devil' has the obvious down side, neh.
asciilifeform: bahahahaha BingoBoingo , recall the 'mumps epidemic' in BingoBoingostan
asciilifeform: imho strange that the intellectual capital of its time went long on defense against mob with pitchforks and so very short on intellectual 'fortifications'
asciilifeform: afaik nobody even rammed at the oxford front wall, at all
asciilifeform: mircea_popescu: reminiscent of the much later fall of su, fortress walls intact but raped through backdoor and via 5thcolumn
asciilifeform: mircea_popescu: sorta funny, from entomological pov, how 1 physically actual devil -- the half-century (and continuing) usg fondness for 'great seal'-style microwave bugs, where the power van yes - fries - the occupants of the bugged dwelling, 'cost of doing business' -- spawned entire pantheon of mythical contagions
asciilifeform: sorta like ghost ship eventually meets rocks.
asciilifeform: not only 'errors accumulate', but in practice 'man alone' does not long drift, sooner or later drifts into one of the 9000+ intellectual mine fields and that's that, you get a new kanzure or graham or follower thereof etc
asciilifeform: Mocky: reader was expected to... read.
asciilifeform: Mocky: in the era before down's syndrome sufferers were set to programming computer , 'library' was simply book of useful recipes, to be studied and ~understood~ and put to use with care -- e.g. 'numerical recipes in fortran' , knuth's aop, etc
asciilifeform: ( then q would be, which miami is kanzure et al lured by. i propose 'upper miami', analogous to chukcha's 'upper tundra', i.e. valhalla )
asciilifeform: naturally. it's somewhere down with the table legs.
asciilifeform: the comp per se is tiny % of the bill.
asciilifeform: ( heavy gear, incidentally, typically ships with the tethered comp, as a set )
asciilifeform: nao if somebody had seen it fit to tell the machine builder that !
asciilifeform: ( 'it dept' carted away the 'obsolete' early-90s crapple, leaving the nao-useless scanner thing to sit sadly , occupying good chunk of a room )
asciilifeform: dun even have to go far into 'exotica' to witness this. 1 slave galley had a spiffy $maxint automatic book digitizer, that was a paperweight for decade+ because lost its greybeard and the ancient crapple it was tethered to
asciilifeform: the bolix item where subj was documented in l0gz in detail, was merely 1 example.
asciilifeform: then he retires and it goes to scrapyard, and replaced with 'modern', lol.
asciilifeform: typically even these have a greybeard 'attached' to the thing, lovingly tends the msdos 5.0 on old scsi disk, etc
asciilifeform: point upstack being, 100% of what i've touched with own hands of 'adult' heavy equip without microshit or systemd etc in it somewhere, was 1980s vintage or earlier.
asciilifeform: if i had known that the real problem is the win95 that runs in natotards' ~heads~, would have saved coupla yrs of life and be somewhat less poor nao...