asciilifeform: diana_coman: correct. but i also did not 'ha! let's make it eggog cuz nobody did' ☟︎

asciilifeform: diana_coman: near as i can tell, nobody ever does tho

asciilifeform: diana_coman: correct

asciilifeform: diana_coman ( and mircea_popescu , when he wakes up ) -- do you have a position on http://www.loper-os.org/?p=2963#selection-2087.0-2115.72 ?

asciilifeform: ^ mircea_popescu , diana_coman , et al ^

asciilifeform: there are so many and I'm only one << i admit that i'm a little curious why diana_coman & mircea_popescu dun enlist Mocky to carry on client dev -- but it's not my biz , if they dun feel like going into subj, i won't cry

asciilifeform: diana_coman: what is 'jam' ?

asciilifeform: diana_coman: i suspect that even if you get the thing to properly link, you will discover new headaches on acct of http://btcbase.org/log/2019-01-06#1885177 . really imho proggy that has ada tasks oughta have ada main , and (if must) call static cpp turdola, not vice-versa ☝︎

asciilifeform: last night i re-read diana_coman's piece on m-r , it is interesting just how much sweat diana_coman had to put in simply on account of koch gnarl ☟︎

asciilifeform: http://btcbase.org/log/2019-01-09#1886065 << hmm diana_coman , what piece in your proggy actually uses elaboration ? ( is it the tasking ? ) ☝︎☟︎

asciilifeform: mircea_popescu diana_coman et al ^

asciilifeform: hm i think i missed a thread..? diana_coman mircea_popescu ain't Mocky the client dev ? why is diana_coman stuck baking client also..?

asciilifeform: diana_coman: if you 'de-thread' the cpp item, you can call its knobs from ada task. is what i meant 'reentrant'.

asciilifeform: diana_coman: admittedly i dun know enuff about your proggy to say whether it is possible to make ada piece 'prime mover'

asciilifeform: iirc diana_coman already is quite well-versed in the subj from baking eucrypt

asciilifeform: diana_coman: can , but i suspect you'll need glue

asciilifeform: diana_coman: what wouldja even ~do~ with ada task type from cpp ?

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: 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: diana_coman: a ro passport sells for 800k usd, last i inquired

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: ( 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: 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: diana_coman: i described in this log what currently stands between 'throw out mpi' . lemme know if needs moardetail.

asciilifeform: ohai diana_coman

asciilifeform: ( diana_coman's , that is )

asciilifeform: diana_coman implemented prototype, using koch

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: ( possibly diana_coman will answer this when wakes up )

asciilifeform: ty for digging tho, diana_coman .

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

asciilifeform: ( iirc diana_coman was the only 1 afflicted )

asciilifeform: jurov: this is entirely possible. lessee what diana_coman says when wakes up.

asciilifeform: diana_coman: when you read ch10, you will find that i had to rewrite some of the basic arithm logic, so as to remove dependence on indexing.

asciilifeform: if diana_coman et al find instance where i deviated from said convention ( and not fixed in current spearhead ) -- i would like to know about it.

asciilifeform: diana_coman: in fact i did ask; and happy to have it.

asciilifeform: diana_coman: where this appears, it is a concession to 1) speed 2) brevity of code . where the indexing of the array is known, because it is a local buffer, it is referred to explicitly; invocations X'First, X'Last, etc cost measurable cpu, it turned out. but where indexing is not known ( e.g. if operand may be part of a karatsuba ) , there it is unavoidably X'First etc.

asciilifeform: diana_coman: where at all possible, i tried to use ~simpler~ algo than what was given by knuth. e.g. karatsuba without moving pivots.

asciilifeform: btw diana_coman -- your earlier nitpicks made it in to 14b.

asciilifeform: ty for putting in the sweat, diana_coman

asciilifeform: diana_coman: any interesting finds/nitpicks ?

asciilifeform: congrats diana_coman !

asciilifeform: diana_coman: i fixed the links by hand, there were only a handful.

asciilifeform: ty for the eggog report, diana_coman

asciilifeform: diana_coman: http://btcbase.org/log/2018-09-26#1854819 ☝︎

asciilifeform: diana_coman: i'ma have to fix by hand.

asciilifeform: diana_coman: hm , i thought phf had the older ones still in there

asciilifeform: diana_coman: looks like ml not yet moved to pizarro, it's still hosted wherever it was that jurov had it ☟︎

asciilifeform: diana_coman: sadly i do not know how to 'guarantee perfection'. all i know how to do is to bake maximally 'fits in head' and bank that the folx here will find mistake if it turns out that i made one. ☟︎

asciilifeform: ( the key work for diana_coman et al, from ffaology pov, is to eat the proofs )

asciilifeform: diana_coman -- will be interesting to see benchmarks from your irons, if you get the chance.

asciilifeform: diana_coman: lulzy, neh. we do 4 MUL instrs for each word x word , and we do each ADD & SUB ~twice~ ( http://www.loper-os.org/?p=1913#selection-3319.14-3343.1 ) ( plus buncha ands, ors, shifts ) , and ~still~ win...

asciilifeform: the copy on my www ( and later cleaned further by diana_coman ) is from gpg 1.4.10 ( itself from signed tar that mircea_popescu dug in in '14 )

asciilifeform: ^ newyear present for mircea_popescu & diana_coman

asciilifeform: mircea_popescu, diana_coman , et al ^

asciilifeform: ( rather like what diana_coman's been doing with own proggy )

asciilifeform: 14b also includes nitpicks sent in by diana_coman & mircea_popescu .

asciilifeform: http://btcbase.org/log/2018-12-26#1883206 << invisible from here. ( prolly in diana_coman's mod queue ? ) ☝︎

asciilifeform: guten morgen, diana_coman phf