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: 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: 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: 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: 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: 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: 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: ( 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: 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: 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: 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: 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