log☇︎
22300+ entries in 0.008s
asciilifeform: or, e.g.,
asciilifeform: ^ there we go
asciilifeform: !A .FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0
asciilifeform: err
asciilifeform: !A FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0
asciilifeform: !A .~#
asciilifeform: !!up pehbot
asciilifeform: so, to illustrate:
asciilifeform: user of pcode never has to manually consider memory, so long as he knows how much stack to instantiate it with ( e.g. for modular exponentiation, you need 3 FZ worth of stack ) , and it properly eggogs if you mismeasure.
asciilifeform: ( if you use pcode, these get done inside ffacalc, and ditto the stack memory mechanics, as you prolly knew already )
asciilifeform: diana_coman: btw it is perfectly ok also to simply invoke the knobs exported in ffa.ads directly, but then you gotta take care of 1) endianism of the words being put in and gotten out , to match yours 2) testing for div0 , as done in http://www.loper-os.org/pub/ffa/hypertext/ch14/ffa_calc__adb.htm
asciilifeform: right
asciilifeform: what i prolly oughta roll into the conveyor, is a variant of ffacalc that's libraryized (i.e. callable from other program, with string argument containing pcode, and fills a provided buffer with the output)
asciilifeform: i dun expect it will need many litres of glue.
asciilifeform: aite
asciilifeform: i promise to come back to this thrd, if asked. but would like to not lose the subthread earlier : diana_coman mircea_popescu : is short-term plan to test ffaistic diana_coman-r-m ? and if so, what glue is needed for this from asciilifeform , i'ma bake.
asciilifeform: do they have mosquitoes yet ?
asciilifeform: it's my home parallel after all.
asciilifeform: so happens that i like winter on that parallel
asciilifeform: sorta why i dun go around expecting other folx to solve'em for me. i solve with own hands ( or not, if not live longenuff )
asciilifeform: theoretically great, in practice they seem to send those back in chains to washingtonschwitz if they're subjects of trumplincton rather than africa
asciilifeform: hanbot had a patron with castle, neh.
asciilifeform: not once usg cancels it for unpaid tribute, neh
asciilifeform: ( otherwise gotta add cost of u-boat.. )
asciilifeform: so as to have gedanken-farm in own name, say ? or to be able to occasionally cross borders without using u-boat , say ?
asciilifeform: diana_coman: a ro passport sells for 800k usd, last i inquired
asciilifeform: what would '50k barn' do for asciilifeform?
asciilifeform: i didn't think so. hence astonishment.
asciilifeform: barn-to-money thermodynamic machine
asciilifeform: mircea_popescu: fields plow themselves in ro, or how does that work , lol
asciilifeform: diana_coman: pretty sure i discussed this depressing subj in l0gz prior, would rather not clutter war room log with replay; but it'd have to be enuff to buy new passport, at the very least, and then would need to earn bread somehow ( and as sit-in-torture-room, rather than driving cab , i dun think i'll be of much use to tmsr if living in cab )
asciilifeform: i'd expect that it would cost 1 or 2 diana_coman-days to glue ch14 ffa to euloratron, to see how performs using diana_coman's existing m-r etc.
asciilifeform: diana_coman: moola
asciilifeform: mircea_popescu: thing was built to be laughably easy to glue to other programs. (if it ain't -- i'd like to know asap why )
asciilifeform: i try to avoid anvils, so far succeeded..
asciilifeform: otherwise can wait for asciilifeform's constant-time m-r ( or not, depending on what's in eulora war room chalkboard, i cannot presume to know what the priority is )
asciilifeform: ( if asciilifeform is flattened by an anvil tonight, i'd expect that diana_coman and mircea_popescu will do something of the kind. )
asciilifeform: diana_coman: correct, you in fact could
asciilifeform: ( as well as adjusting 'Wi' , etc. but you get the idea )
asciilifeform: ( i.e. one would have to put in mircea_popescu's specced exponent bitness where 'Bitness' is in http://www.loper-os.org/pub/ffa/hypertext/ch14/fz_modex__adb.htm#85_14 , to get the speedup ) ☟︎
asciilifeform: diana_coman: my current understanding is that in fact it's ~2.5x faster per bit of exponent length.
asciilifeform: ( as well as still needs diana_coman to eat & digest the thing per se )
asciilifeform: diana_coman: it still needs m-r
asciilifeform: ( phuctor, ftr, uses a (patched, to enable bigger ints) old gmp. with asmisms enabled. )
asciilifeform: mircea_popescu: mpi is subset of gmp that koch cut ( and ate $mil of microshit payola to do it, somehow ) , aha.
asciilifeform: i've been referring to mpi and gmp interchangeably as 'koch rsa', but this is unscientific, i must remind that they are diff items.
asciilifeform: mpi had only (ugly as fuck) karatsubatron.
asciilifeform: mircea_popescu: possibly i ought add : ~mpi~ dunhave strassen. ~gmp~ (the older, 'uncut' gnu thingie) has strassen.
asciilifeform: ( tldr -- asciilifeform needs : wrapup of gcd; then miller-rabin; then keccak. )
asciilifeform: diana_coman: i described in this log what currently stands between 'throw out mpi' . lemme know if needs moardetail.
asciilifeform: ohai diana_coman
asciilifeform: hey , partizan is perfectly happy to use schmeisser taken off dead german.
asciilifeform: ( i dun have e.g. strassen's multiplication algo, and dun have any plans to implement, it only wins for multi-megabyte ints )
asciilifeform: the 1 application where ffa defo dunwork, and koch -- does, is phuctor.
asciilifeform: tbh i'm not sure what kochtronic rsa will be good for once i have the keygenning ( it apparently dun win on speed anywhere, even tho it gets to skip 0s in modexp.. ) but this time not yet come.
asciilifeform: ( when i have ~complete~ sys, ~then~ mircea_popescu can go 'hmm, which one to sew ~here~' etc )
asciilifeform: asciilifeform's current thrust is to catch up to ~that~
asciilifeform: and as of right nao it's the only ~complete~ rsatron we have, i.e. that knows how to bake privkeys
asciilifeform: ( diana_coman's , that is )
asciilifeform: well until last wk it was the only rsatron we had that ran in something like realtime
asciilifeform: this is entirely tru
asciilifeform: right
asciilifeform: ( otoh euloratron does not spend much cpu in rsa, as currently sewn )
asciilifeform: also recall the (surprising to asciilifeform , but apparently nobody else) discovery that ffatron as-is-stands is ~2.5x faster than koch.
asciilifeform: aha
asciilifeform: mircea_popescu: correct. the item that needs padtron, is mircea_popescu's specced 'fuckng replace gpg already' ; and possibly also koch-free euloratrons.
asciilifeform: i'ma prolly have to do ~this~ with own hands, too -- no one yet stood up and said 'i will'
asciilifeform: it needs an entirely other item ( which can be sewn from ffa parts, but has not been of yet )
asciilifeform: bitcoin dun use rsa at all, at least in classical variant of bitcoin
asciilifeform: otherwise all of the nonleakage guarantees bought at the cost they were bought at, vanish.
asciilifeform: correct
asciilifeform: rsa-oaep requires hashtronics for padding.
asciilifeform: diana_coman implemented prototype, using koch
asciilifeform: cuz that's how mircea_popescu specified the padding
asciilifeform: that's item 2.
asciilifeform: we haven't
asciilifeform: what remains is 1) prime-baking 2) rsa (and similar cryptosystems, tho c-s dun need it) padtron -- requires constant-spacetime keccak 3) optional asmistic speedups.
asciilifeform: since we're refreshing chalkboards in war room, i'ma take the chance to summarize current level of ffaism. currently exponentiator is mature ( aside from the consideration where http://btcbase.org/log/2018-12-28#1883687 , i.e. it's mature when ~other~ thinkingpeople have fit it into head and concurred ) -- i.e. runs fast enuff for many battlefield applications ☝︎
asciilifeform: if diana_coman is 'stuck on X, cannot move' and it is asciilifeform's X, i'd like to know about it asap.
asciilifeform: right; i'm mapping out which 'known and unknown edges' are mine
asciilifeform is refreshing chalkboard, would like to get a sense of the set of items he personally owes
asciilifeform: ( possibly diana_coman will answer this when wakes up )
asciilifeform: http://btcbase.org/log/2019-01-05#1884609 << mircea_popescu is that db baking blocked on http://btcbase.org/log/2018-11-16#1873099 ? ☝︎☝︎
asciilifeform: ty mircea_popescu
asciilifeform: there we go.
asciilifeform: ( phf if yer stuck, pleez say on what ? )
asciilifeform: the 1 phf went to implement and not yet came back with.
asciilifeform: *algo
asciilifeform: grr, was looking for mircea_popescu's also for vtron file movements, still not found in log
asciilifeform: algo's pretty simple btw, 1970s thing ( tho iirc it aint in knuth aop for some reason )
asciilifeform: aite
asciilifeform: mircea_popescu: if you have a concrete application in mind, i can spare an hour or 2 to bake
asciilifeform: and yes it worx. you give it a similarity matrix (i.e. 'what differences are important, in the order of their importance' in matrix form) and it produces an alignment.
asciilifeform: mircea_popescu: http://btcbase.org/log/2017-12-29#1760563 ( napkin-level but working item i posted on prev occasions ) ☝︎
asciilifeform: i posted a complete needleman in cl ( also a draft, rather than troo genesis, nobody stood up and said 'i want this' so shelved ) 2y ago, also.
asciilifeform: ( and i currently agree, really one ought not to have bins in vtrees )
asciilifeform: bin differ ? yes. but it was never made to current-day tmsr quality , i shelved it when mircea_popescu said it wasn't particularly useful
asciilifeform: i have wrong link, 1s
asciilifeform: err, bin ~delete~ knob ☟︎
asciilifeform: http://btcbase.org/log/2019-01-05#1884623 << at the risk of pouring petrol into that particular fire, fella also promised a http://btcbase.org/log/2018-10-06#1859075 item iirc ☝︎☝︎