asciilifeform: ( in orig timeline also did not include problem of constant-time keccak, which i presently do not have, and neither anyone else, but is necessary to fill mircea_popescu's spec for the final product )

asciilifeform: orig release sched is blown, asciilifeform's current desire is to get again to the point where can patch its tyre and reinflate and have rel sched again

asciilifeform: currently focused on ch15.

asciilifeform: http://btcbase.org/log/2019-01-05#1884612 << fwiw i've ~exhausted the short-term milk of the particular side cow ( there's a disk snapshot & a recipe to post, but after that will be stalled for aeons ) ; ☝︎

asciilifeform: ^ difficult to do in e.g. python, without 5-6lines of crud.

asciilifeform: !A .~.80LS#

asciilifeform: !!up pehbot

asciilifeform: i'm satisfied with my proof that my e.g. mul, div, modexp, actually work.. which is moar than i can say for 'bc'

asciilifeform: ( esp for modular arithmetic , where neither python, perl , bc , really worx without extensive fiddlage )

asciilifeform: mircea_popescu: funnily enuff, i've found myself using ffacalc itself, on many occasions when prev would've used python or bc etc

asciilifeform: http://btcbase.org/log/2019-01-05#1884588 << lol pretty compact ☝︎

asciilifeform: mircea_popescu: nuffin wrong with 'bc', but it aint a replacement for customary full 'perlistic' toolbox really

asciilifeform: ty for digging tho, diana_coman .

asciilifeform: most of the folx whose heads worked in 1970s, long ago reached end of working life

asciilifeform: not very surprising

asciilifeform: https://archive.vn/Ob6ti << ru army issues yet-others. whole subj shrouded in bolix-esque aura of seekrederpery, for decades.

asciilifeform: ( aka amifostine . there's 5-6 publicly known variations on same leitmotif )

asciilifeform: further upstack , i read http://btcbase.org/log/2019-01-04#1884475 and was waiting for mention of free-radical scavengers , e.g. WR-2721 and other variations on the theme, but didn't find.. ☝︎

asciilifeform: i'd say moar, but mircea_popescu already formulated concisely, in http://btcbase.org/log/2019-01-04#1884378 . ☝︎

asciilifeform: https://mail.python.org/pipermail/python-list/2015-July/694349.html << confirmed lul.

asciilifeform: Only A Terrorist(tm)! would ever put in leading zeros! or wat.

asciilifeform: motherfucking http://btcbase.org/log/2018-11-26#1874871 . ☝︎

asciilifeform: somehow i used python for yrs as an adhoc calculator and had nfi this bomb were there.

asciilifeform: apparently it interprets the 05 as.. base prefix.

asciilifeform: 9161

asciilifeform: >>> 0511 + 8832

asciilifeform: but:

asciilifeform: 9343

asciilifeform: >>> 511 + 8832

asciilifeform: in other lulz for the l0gz, python has some pretty ridiculous inbandisms. consider:

asciilifeform: laters.

asciilifeform: ( recall how constanttimeization is done, when converged, you set the stopper and fz_mux outputs the answer , after that algo runs however many shots remain but without affecting the output )

asciilifeform: that'd mean B+1

asciilifeform: it appears to, tho. but needs proof.

asciilifeform: ( it's in knuth v2 )

asciilifeform: stein -- does

asciilifeform: as in stein.

asciilifeform: correct.

asciilifeform: a usable gcdtron converges in B, or 2B, etc. shots, or it's rubbish

asciilifeform: euclid's subtractor in 2^B, and therefore runs in geological time for bignums

asciilifeform: well actually typo, stein converges in B shots.

asciilifeform: mircea_popescu: this is troo for stein. but gotta show that this is isomorphic to stein.

asciilifeform: ( naturally not written as he wrote it, with the shaved additions, but with full widths. but still )

asciilifeform: all i need nao is the proof that the thing needs F(B) turns of the crank to converge, where B is bitness of operands, and it's battlefield-ready.

asciilifeform: ( and yes we'll bake primes without leaking the intermediates. which means that gcd eats full width of register, miller-rabin actually fires 9000 times , etc )

asciilifeform: and directly affects how fast we can bake primes.

asciilifeform: realize, this is ch.15.

asciilifeform: i try to find the goodstuff!

asciilifeform: apparently nobody noticed.

asciilifeform: ~without~ the 3 separate full-width subtractions that e.g. constanttimeized stein's gcd needs.

asciilifeform: but it ends up resolving to euclid.

asciilifeform: nfi

asciilifeform: same thing as in e.g. http://www.loper-os.org/pub/ffa/hypertext/ch14/fz_mul__adb.htm#164_7 .

asciilifeform: he straight-out complements.

asciilifeform: ( for some reason did not use the standard name for it, why -- i do not know )

asciilifeform: he uses a complement.

asciilifeform: mircea_popescu: he doesn't . read carefully.

asciilifeform: uni of reading, uk. wonder if d00d is still alive and within reach of diana_coman ☟︎

asciilifeform: now, nobody will be surprised to hear that this was never publicly used for anyffin, never appeared in schoolbooks, etc.

asciilifeform: with base10.

asciilifeform: he was doin' it on paper.

asciilifeform: which guess what.

asciilifeform: ( addition over a finite field, to be pedantic )

asciilifeform: in fact.

asciilifeform: aand nao for an archaeo-sumthing compleeetely different : http://www.loper-os.org/pub/daykin/index.html ☟︎

asciilifeform: the gods dangle, verily, their lures : largest usable hole so happens is the smallest commercially drillable pcb drill...

asciilifeform: but 0.1% less!111

asciilifeform: incidentally might be interesting to get that lens baked as... a pcb ( commercial pcb houses will do al instead of cu, at comparable cost , plus whatever drillings )

asciilifeform actually has 1 somewhere..

asciilifeform: lol

asciilifeform: good sphericity, steerable, just-so diameter, etc

asciilifeform: btw electron beam makes exactly the sorta drill you want here.

asciilifeform: 'for 20kbux, i DRILL OWN HOLE!'(tm)(r)

asciilifeform: lol

asciilifeform: in moar mundane lulz, asciilifeform , after N-th vivisection of bolixtron, boots it up and finds that it turned into 'ordinary old crapple', i.e. no longer sees the card. thinks 'eh, shit', then -- remembers that it's a fuking '80s machine -- goes, cleans contacts. then finds, box again worx...

asciilifeform: hence why not so much interest, i suspect, in (misnomer, but) 'neutron bomb'

asciilifeform: it sux, tho, having to bury the dead enemy, + his furniture, walls, the ground his house was on, in pb coffins, to take the territory.

asciilifeform: but indeed, if anybody knows just how much neutron it takes to nail a man in militarily-relevant time frame, they aint tellin'

asciilifeform: ( and we dun have good body of 'experimental subject' from laters )

asciilifeform: the jp nukes were neutron-poor, tho

asciilifeform: and naturally subj to power law, like anyffing else, or nuffin could live, sun would roast.

asciilifeform: )

asciilifeform: ( observe that you dun need to cook the victim , like egg, he's just as dead when % of his Na turns to Mg etc

asciilifeform: the prob is the .x% that capture

asciilifeform: tru

asciilifeform: neutron happily sails through 100m of iron, if enuff juice.

asciilifeform: well traditionally 'shelter useless' cuz neutrons

asciilifeform: (notably ~not~ the case with grazing 'optics' )

asciilifeform: so goes to the desired place.

asciilifeform: aha, as i undestand brems gets refracted along same vector as the orig photon

asciilifeform: was thinking moar along lines of 'fly on mars without frying' mega-puzzler, but yes

asciilifeform: 1 application asciilifeform immediately thought of, discussed nowhere, is lightweight shielding ( need X times less square metrage of pb sheet as you have diff b/w focused and unfocused ! )

asciilifeform: it's a 'the fucking key was in your pocket, lol' sorta wtf gem.

asciilifeform: mircea_popescu: was my reaction precisely.

asciilifeform: ( error magnifies exponentially )

asciilifeform: tricky bit is, you want max sphericity

asciilifeform: aha, number of ways.

asciilifeform: but does apparently work.

asciilifeform: drilling 10e6 holes is a bit of a bitch

asciilifeform: but basic principle remains.