asciilifeform: the only 'heavy' component remaining to weld on, is keccakism.
asciilifeform: meanwhile as of ch16a: libffa : 5142 loc ; ffacalc : 1279; for total 6421 (incl. readme, manifest, comments.)
asciilifeform: '...Bolton did one better and called him “guiado” which could be Spanish for “remote-controlled.” (Was that a Freudian slip or just another one of Bolton’s senior moments?)' etc
asciilifeform: 31 tonnes is , what, 10? 20? yrs of output there ?
asciilifeform: it was riotously idiotic when republican spain parked theirs with stalin ( who openly laffed 'all the way to bank' ) and it's doubly idiotic nao.
asciilifeform never grasped just why ~is~ it that these folx always park those bricks in pantsuit central ~to begin with~
asciilifeform: incidentally, rad decay + http://btcbase.org/log/2019-01-15#1887345 would make an entirely fine clock ( with relatively high local jitter, vs. e.q. quartz, but extremely predictable long-term 'aging', and ~entirely insensitive to temperature/electromagnetic fields/etc )☝︎
asciilifeform: for instance, 1 'obvious' approach, 2 geigers equidistant from a capsule of radwaste -- also aint it -- you can never actually make the distances equal. ( it's mircea_popescu's 'clocks' thrd all over again, the 'frictionless horse' is not available )
asciilifeform: ( there is no tree on which grows a physical rng that gives 50/50 1/0 right off the bat, i looked... )
asciilifeform: imho newton/leibniz is esp. good parallel here, as even if one takes shannon to be the discoverer, you can't actually build a reasonable otptron without j. von neumann's debiasing method
asciilifeform: ( it's a kindergarten-level proof, so i'd be surprised if it actually had to wait for 20th c )
asciilifeform: iirc mircea_popescu unearthed even something from 19th c resembling a proof
asciilifeform: ( or possibly even that 1 ru d00d, but ~his~ apparently remains seekrit even today )
asciilifeform: i see a field's infestation with alchemists, astrologers, faith healers, as a ~secondary symptom~ -- of the field not having anyffing like a rational foundation to begin with.
asciilifeform: ( the 1 where 'we dun have a grasp of strong ciphers, outside of von neumann's otp proof; only of weak ciphers' etc )
asciilifeform: mircea_popescu: iirc we had old thrd, re how cryptography never actually reached escape velocity 'out of alchemy' stage of development
asciilifeform: mircea_popescu: the 'distinction' ? near as i can tell, it's the 'narrative fiction' where 'you can assume that rng works'. recall the earlier entomo-gem where 'why not use fermat litmus, piano will fall on you before you see carmichael num' etc
asciilifeform: ( unlike in any pc i've met to date )
asciilifeform: for extra mindfuck : the primary xtal in the bolix ( valpey-fisher vf155 ) is a <1ppm txco.☟︎
asciilifeform: ( jobs, evidently, didn't spring for the 25ppm xtal.. )
asciilifeform: mircea_popescu: for extra lulz: they drift like hell if denied gsm ( tested with own hands )
asciilifeform: or, in better-known turdolade, 'The Go programming language (GoLang) 1.10.3 [Goo18] created at Google in 2009 is an open source project including arbitrary-precision arithmetic and cryptographic functionality... ...the pseudorandom number generator used in this primality test is seeded with the tested number n.'
asciilifeform: 'If either LibTomMath or TomsFastMath are selected, the pseudoprimes described in Section 4.9 (see Appendix I) will always be declared prime by the primality test.' << for the innocent : 'tommath' is 1 of those 'independent, not openssl' arithmetrons...
asciilifeform: somewhat high bar; they found trilema, rather than lolcattube etc
asciilifeform: evidently there are still meat-people on net, somewhere.
asciilifeform: mircea_popescu: i can't resist to bite : what's 'non-narrative' fiction ?
asciilifeform: diana_coman: coupla of the authors of linked item are at uni of london. think you can get at'em ?
asciilifeform: they're... 'experts'. of a kind. (in obfuscated-c, for instance.)
asciilifeform: no amateur can ever hope to equal this 'virtuosity'
asciilifeform: the're 'pros', see , they get 'donations' from microshit etc. and aaapparently ~this~ is whatfor.
asciilifeform: m-r is actually not easy to fuck up, but these folx tried hard, and -- succeeded...
asciilifeform: list of primes, as in Apple’s corecrypto library...' etc
asciilifeform: '...we construct a 1024-bit composite that is guaranteed to be declared prime by the GNU GMP library [Gt18] for anything up to and including 15 rounds of testing (the recommended minimum by GMP). This is as a result of GNU GMP initialising its PRNG to a static state and consequently using bases in its Miller-Rabin testing that depend only on n, the number being tested. We also show how base selection by randomly sampling from a fixed
asciilifeform: ( already fed his N's to mine, it -- unsurprisingly -- does Right Thing )
