log
▁▁▁▁▁▁▁▁▁▁⏐▁▁ 6421
mircea_popescu: asciilifeform wtf is wrong with bc
mircea_popescu: "Python ints don't have a fixed number of\ndigits." priceless. especially for the 000a intercalation.
feedbot: http://trilema.com/2019/no-such-labs-snsa-december-2018-statement/ << Trilema -- No Such lAbs (S.NSA), December 2018 Statement
asciilifeform: mircea_popescu: nuffin wrong with 'bc', but it aint a replacement for customary full 'perlistic' toolbox really
asciilifeform: http://btcbase.org/log/2019-01-05#1884588 << lol pretty compact ☝︎
a111: Logged on 2019-01-05 03:11 feedbot: http://trilema.com/2019/no-such-labs-snsa-december-2018-statement/ << Trilema -- No Such lAbs (S.NSA), December 2018 Statement
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: ( esp for modular arithmetic , where neither python, perl , bc , really worx without extensive fiddlage )
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: !!up pehbot
deedbot: pehbot voiced for 30 minutes.
asciilifeform: !A .~.80LS#
pehbot: asciilifeform: FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000000000000000000000000000
asciilifeform: ^ difficult to do in e.g. python, without 5-6lines of crud.
mircea_popescu: i don't expect it can be beat for mod work
mircea_popescu: well, meanwhile it's the 5th day of this fine new year, and it occurs to me it might be a good idea to discuss some things, lest april coming around this year like any other year be perceived as some kind of subjective surprise, rather than the objective necessity it ever is.
mircea_popescu: foremost, the lordship is not a state, but an activity.
mircea_popescu: so : as far as i know, bingoBoingo is working on qntra and on pizarro. he's doing a very fine job with the former ; i'm nonplussed with recently discovering just how broken the latter's mp-wp offering actually was ; moreover it seems to me from a distance pizarro's still financially and customer-wise entirely dependent, ie as close to failure as you can possibly get without spelling it out.
diana_coman: fwiw I can't say I saw a surprise so far in any of the april announcements; at most more of a difference of degree at times (i.e. the expected direction/action but to a larger/smaller degree)
mircea_popescu: yet -- it is not my business ; so i'm just going to count it as such, "working on pizarro" without further inquiry (and with the firm expectation that someone IS doing all that).
mircea_popescu: diana_coman well hopefully thusly we smooth that out.
diana_coman: I'm all for the talk, certainly
mircea_popescu: diana_coman is working for s.mg ; we've recently had this exact talk and revised our plans. originally the idea was to have moved over to cuntoo, and do support work for community-driven effort at a new client. the latter completely collapsed over the shocking weakness of such community ; the former's at best delayed.
mircea_popescu: so, she'll be doing client work with her own two hands, something i had every intention to avoid ; and we'll be looking at integrating cuntoo on the server side later on. there's some db work in the hopper also, but that's even further on the maturity vine.
mircea_popescu: hanbot is working on the mp-wp tree, and manages as she long has a rather largeish wetworks i'm not going to get into the details of.
mircea_popescu: other than maintaining the deedbot infrastructure, trinque is working on cuntoo, which is a rather large piece and it taking a [difficult to predict] while is not by itself the end of the world ; but i'd like to see some roadmapping, tentative and subject to change as it may be, lest the effort degenerates.
mircea_popescu: finally, asciilifeform is working on rsa-based ssl-ism replacement (notwithstanding he ~seems to be~ working on any and all wank on the "side" during spare time he doesn't have and all that), which we want so we can finally move bitcoin off sheer cretinity and into cuntoo (and which is principally why we want sane db also, but as i said -- yet immature).
mircea_popescu: other than this, mod6 is taking time off, since mid-november. nothing wrong with this, but i'd like to see some conclusions at some point.
mircea_popescu: danielpbarron seems lost in a bucolic paradise slash midwestern parochial nightmare of his own choosing. nothing wrong with this either, and unless i hear any better that will be the conclusion.
mircea_popescu: i have no idea what ben_vulpes is doing these days, if anything (other than maintaining his logotron, whatever that takes). i would like to hear.
mircea_popescu: lobbes recently unveiled actionbot, which works fine, and is evidently putting all time he can into paying off technological debt he's responsible for if not necessarily guilty of. nothing wrong with this, and it can stand as such.
mircea_popescu: spyked is evidently trying, hence feedbot, but evidently having trouble reconciling saeculum, which i'm going to let stand as such on the grounds that he's new -- even though experience shows that as a dubious idea [for all the eg one could possibly need witness how asciilifeform 's still in the swamp, so many years later].
mircea_popescu: let's just say it's my considered oppinion "difficulty in reconciling" such is almost never actually due to said saeculum.
mircea_popescu: ave1 is, i suspect, silently working on gnating things -- which is fine and valuable except for the silently part. there's this tendency of lone wolf scientist to not properly report failures, out of an imaginary saving of time and resources this permits. it must be said that NOTHING could be further from the truth, nothing at all -- there's more to be gained from a properly reported failure to find than out of ten shiny succ
mircea_popescu: esses.
mircea_popescu: but really, it serves no one to let me suspect. i should know.
mircea_popescu: which leaves phf ; who's doing an excellent job maintaining very elegant and well done extant infrastructure, and a very terrifyingly poor job at communicating himself.
mircea_popescu: i do not know, as i sit here, what the conclusion of the http://btcbase.org/log/2018-12-19#1881988 discussion was, three weeks later. the man sits among a republic built on a certain methodology, aims to quietly use the exact ~other~ methodology, makes no prior mention of this, candidly references the latter as if it worked notwithstanding how howlingly it failed to work to date, on and on in this vein and at the end of it al ☝︎
a111: Logged on 2018-12-19 20:09 phf: you're constantly in logs, confused as to how anyone can get anything from anyone, yet now you're questioning my methods.
mircea_popescu: l i have not the faintest what even came of the long avoided but eventually unavoidable discussion.
mircea_popescu: so, phf : how about you start clearly communicating yourself, beginning with a complete, correct and true to life adnotation of said discussion in your own hand, because this "ima go meditate on things until everyone involved forgot what i was meditating on" isn't a workable approach to intellectual life.
mircea_popescu: this about concludes the state of affairs ; i'd like nothing more than corrections, disputations &c by they involved.
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 ) ; ☝︎
a111: Logged on 2019-01-05 14:22 mircea_popescu: finally, asciilifeform is working on rsa-based ssl-ism replacement (notwithstanding he ~seems to be~ working on any and all wank on the "side" during spare time he doesn't have and all that), which we want so we can finally move bitcoin off sheer cretinity and into cuntoo (and which is principally why we want sane db also, but as i said -- yet immature).
asciilifeform: currently focused on ch15.
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: ( 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: 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 ☝︎☝︎
a111: Logged on 2019-01-05 14:37 mircea_popescu: i do not know, as i sit here, what the conclusion of the http://btcbase.org/log/2018-12-19#1881988 discussion was, three weeks later. the man sits among a republic built on a certain methodology, aims to quietly use the exact ~other~ methodology, makes no prior mention of this, candidly references the latter as if it worked notwithstanding how howlingly it failed to work to date, on and on in this vein and at the end of it al
a111: Logged on 2018-10-06 23:51 phf: asciilifeform: i don't have binary diffing even in prototype form, if you could adaize your needleman-wunsch i could add it to vtools, the way i did with diana_coman's keccak
asciilifeform: err, bin ~delete~ knob
mircea_popescu: he promised to ask you for an item ? or is this ada n-w published somewhere meanwhile ?
asciilifeform: i have wrong link, 1s
mircea_popescu: maybe it;s not as wrong as all that. did you ever make that thing ?
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: ( and i currently agree, really one ought not to have bins in vtrees )
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.
mircea_popescu: the ~algo~ tho. not specifically for v trees, but it strikes me there doesn't exist currently a bin differ ~at all~.
asciilifeform: mircea_popescu: http://btcbase.org/log/2017-12-29#1760563 ( napkin-level but working item i posted on prev occasions ) ☝︎
a111: Logged on 2017-12-29 05:34 asciilifeform: >>>>> https://archive.is/jMMqT
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.
mircea_popescu: mkay. in the immortal words of that fellow, http://btcbase.org/log/2018-12-12#1880371 ☝︎
a111: Logged on 2018-12-12 19:41 BingoBoingo: ^ Any awk ninjas want to try this on a few forums?
asciilifeform: mircea_popescu: if you have a concrete application in mind, i can spare an hour or 2 to bake
mircea_popescu: alright ; we leave it like this for now.
asciilifeform: aite
asciilifeform: algo's pretty simple btw, 1970s thing ( tho iirc it aint in knuth aop for some reason )
asciilifeform: grr, was looking for mircea_popescu's also for vtron file movements, still not found in log
asciilifeform: *algo
asciilifeform: the 1 phf went to implement and not yet came back with.
asciilifeform: ( phf if yer stuck, pleez say on what ? )
mircea_popescu: http://btcbase.org/log/2018-04-03#1792105 ☝︎
a111: Logged on 2018-04-03 00:02 mircea_popescu: asciilifeform the logged discussion on the topic was, "if hashes match but paths do not, the file was moved ; if hashes match and paths match, the file is untouched ; if hashes do not match but paths match the file was modified ; if hashes do not match and paths do not match the file was created/deleted"
asciilifeform: there we go.
asciilifeform: ty mircea_popescu
mircea_popescu: yw.
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 ? ☝︎☝︎
a111: Logged on 2019-01-05 14:17 mircea_popescu: so, she'll be doing client work with her own two hands, something i had every intention to avoid ; and we'll be looking at integrating cuntoo on the server side later on. there's some db work in the hopper also, but that's even further on the maturity vine.
a111: Logged on 2018-11-16 23:13 asciilifeform: it is on hold pending resolution of http://btcbase.org/log/2018-10-26#1866266 ( and is taking back seat to ffa currently )
asciilifeform: ( possibly diana_coman will answer this when wakes up )
mircea_popescu: http://btcbase.org/log/2018-10-26#1866266 ☝︎
a111: Logged on 2018-10-26 02:14 asciilifeform: meanwhile, in gnat bugs : apparently ( and this is documented or mentioned nowhere ) : it is impossible to have a Ada.Finalization.Limited_Controlled type ANYWHERE inside a static library, unless it is generic all the way down (i.e. if the lib package is generic, any sub-packages must also be instantiated as generics )
asciilifeform is refreshing chalkboard, would like to get a sense of the set of items he personally owes
mircea_popescu: asciilifeform not ~just~ on that. also on http://btcbase.org/log/2018-12-04#1878240 and on a larger pile of [not entirely specified, and i suspect not entirely known] edges. ☝︎
a111: Logged on 2018-12-04 15:14 mircea_popescu: it's not exactly clear to me yet what the situation is. it's altogether possible postgres may be rescuable through a process similar to how "peculiar linux candidate packaging sterilized into cuntoo".
asciilifeform: right; i'm mapping out which 'known and unknown edges' are mine
asciilifeform: if diana_coman is 'stuck on X, cannot move' and it is asciilifeform's X, i'd like to know about it asap.
mircea_popescu: certainly.
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 ☝︎
a111: Logged on 2018-12-28 20:35 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: 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.
mircea_popescu: wait, when did we move off oaep for rsa padding ?!
asciilifeform: we haven't
asciilifeform: that's item 2.
mircea_popescu: why does it need keccak ?
asciilifeform: cuz that's how mircea_popescu specified the padding
asciilifeform: diana_coman implemented prototype, using koch
mircea_popescu: ima go have to re-read this now
asciilifeform: rsa-oaep requires hashtronics for padding.
mircea_popescu: http://ossasepia.com/2018/03/01/eucrypt-chapter-12-wrapper-c-ada-for-rsa-oaep/#selection-133.1-133.132 << right, and you want to use ~constant time~ keccak
asciilifeform: correct
mircea_popescu: bitcoin, of course, needs this at no juncture.
asciilifeform: otherwise all of the nonleakage guarantees bought at the cost they were bought at, vanish.
asciilifeform: bitcoin dun use rsa at all, at least in classical variant of bitcoin
asciilifeform: it needs an entirely other item ( which can be sewn from ffa parts, but has not been of yet )
mircea_popescu: right.
asciilifeform: i'ma prolly have to do ~this~ with own hands, too -- no one yet stood up and said 'i will'
mircea_popescu: point being : de-sslification of bitcoin is not stalled on this. it is stalled on prior de-sslification of cuntoo, which as such doesn't yet exist, which is not really stalled on this either.
mircea_popescu: but rather, from what i understand, is taking finishing touches re reproducible builds, consisting principally of hunting for "Where does it piss in date or w/e ruining my sigs"
asciilifeform: mircea_popescu: correct. the item that needs padtron, is mircea_popescu's specced 'fuckng replace gpg already' ; and possibly also koch-free euloratrons.
mircea_popescu: in the sense eucrypt uses mpi you mean ?
asciilifeform: aha
asciilifeform: also recall the (surprising to asciilifeform , but apparently nobody else) discovery that ffatron as-is-stands is ~2.5x faster than koch.
mircea_popescu: right. a mpi-eucrypt vs ffa-eucrypt head-on will be interesting to see.
asciilifeform: ( otoh euloratron does not spend much cpu in rsa, as currently sewn )
mircea_popescu: asciilifeform it doesn't ; nor will it, because what truly brings serpent in is the ~space~ not the time problem. ie, because of padding, straight rsa doubles message bulk, which is a major problem for online game.
asciilifeform: right
asciilifeform: this is entirely tru
mircea_popescu: but the fact that we have the eucrypt item is very useful inter alia especially for such simulated-userland-tests for core libs.
asciilifeform: well until last wk it was the only rsatron we had that ran in something like realtime
mircea_popescu: esp because correctly written, with tests etc. so can meaningfully do ffa-eucrypt vs mpi-eucrypt as a benchmark.
asciilifeform: ( diana_coman's , that is )
asciilifeform: and as of right nao it's the only ~complete~ rsatron we have, i.e. that knows how to bake privkeys
asciilifeform: asciilifeform's current thrust is to catch up to ~that~
mircea_popescu: right.
asciilifeform: ( when i have ~complete~ sys, ~then~ mircea_popescu can go 'hmm, which one to sew ~here~' etc )
mircea_popescu: the more toys to play with, the more playing to be had
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: the 1 application where ffa defo dunwork, and koch -- does, is phuctor.
asciilifeform: ( i dun have e.g. strassen's multiplication algo, and dun have any plans to implement, it only wins for multi-megabyte ints )
mircea_popescu: irony of ironies.
diana_coman: asciilifeform, what it's good for is at least ...for contrast!
asciilifeform: hey , partizan is perfectly happy to use schmeisser taken off dead german.
asciilifeform: ohai diana_coman
diana_coman: and yes, I'm eating up ffa with an eye on "maybe I can finally get rid of MPI!!"
diana_coman waves and catches up on logs
asciilifeform: diana_coman: i described in this log what currently stands between 'throw out mpi' . lemme know if needs moardetail.
asciilifeform: ( tldr -- asciilifeform needs : wrapup of gcd; then miller-rabin; then keccak. )
asciilifeform: mircea_popescu: possibly i ought add : ~mpi~ dunhave strassen. ~gmp~ (the older, 'uncut' gnu thingie) has strassen.
asciilifeform: mpi had only (ugly as fuck) karatsubatron.
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.
mircea_popescu: what we call mpi is closer to gmp than what the retard crowd does anyway.
mircea_popescu: right.
asciilifeform: mircea_popescu: mpi is subset of gmp that koch cut ( and ate $mil of microshit payola to do it, somehow ) , aha.
diana_coman: asciilifeform, thing is: from eucrypt and eulora pov, mpi is used for "big num arithmetics" only so I CAN in fact switch to ffa even without ct-time miller-rabin esp if ffa turns out to be...faster than mpi
diana_coman: basically there is no reason NOT TO
asciilifeform: ( phuctor, ftr, uses a (patched, to enable bigger ints) old gmp. with asmisms enabled. )
asciilifeform: diana_coman: it still needs m-r
asciilifeform: ( as well as still needs diana_coman to eat & digest the thing per se )
asciilifeform: diana_coman: my current understanding is that in fact it's ~2.5x faster per bit of exponent length.
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: ( as well as adjusting 'Wi' , etc. but you get the idea )
diana_coman: asciilifeform, re m-r: I implemented it using mpi as per http://ossasepia.com/2017/12/28/eucrypt-chapter-3-miller-rabin-implementation/ ; ofc I'd rather use ffa ct-time implementation but it's not a sticking point per se i.e. I can switch my implementation from relying on mpi to relying on ffa, no?
asciilifeform: diana_coman: correct, you in fact could
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: 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 )
diana_coman: well, don't get flattened please, there's already waay more work than active hands as it is
asciilifeform: i try to avoid anvils, so far succeeded..
mircea_popescu: diana_coman nothing wrong with ~testing~ it at some point, anyway.
diana_coman: mircea_popescu, exactly
mircea_popescu: put some meat on the bones of his "check it out, speed!" thing, as a courtesy if nothing else.
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 )
mircea_popescu: and yes, in the process find whatever else.
mircea_popescu: meanwhile in vintage, https://thumb-p0.xhcdn.com/a/NABeAMFkefz66Qu6LjtJ1w/000/015/504/830_1000.jpg
diana_coman: asciilifeform, sometimes I wonder what exactly do you think you need/don't have to move to Romania or wherever else you consider it to be "paradise, can now do just ffa/trb/..."
asciilifeform: diana_coman: moola
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.
diana_coman: well yes, but specifically: how much would be "enough"?
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 )
mircea_popescu: diana_coman amusingly, spending 50k or w/e it costs to get an old farm (including barn) in whatever, fucking alba county, go walking on the hillsides with the cowsies, would take him to his paradise, yet there he toils.
asciilifeform: mircea_popescu: fields plow themselves in ro, or how does that work , lol
mircea_popescu: how does what work ?
asciilifeform: barn-to-money thermodynamic machine
mircea_popescu: farming is not an economic activity in europe ; nor has it for half a century or more.
asciilifeform: i didn't think so. hence astonishment.
mircea_popescu: i don't know what you're astonished at ?
asciilifeform: what would '50k barn' do for asciilifeform?
mircea_popescu: it'd pay your rent, and most of the cost of your http://btcbase.org/log/2014-10-15#876029 budget. ☝︎
a111: Logged on 2014-10-15 19:58 mircea_popescu: asciilifeform to follow that model. qntra isn't a seller of 0-dioxin, 1814-equivalent tomatoes, but a greengrocer where they don't hire retards and don't mix shit in the fruit sala.d
diana_coman: mircea_popescu, that's precisely why I asked for concrete sum because the way I see it...he has it
mircea_popescu: specifically, a 5 to 10k% increase in deliverables over what you currently achieve.
asciilifeform: diana_coman: a ro passport sells for 800k usd, last i inquired
diana_coman: why do you need the passport *first*? (i.e. not just get one after whatever hoops are in ro, living there for x years etc)
mircea_popescu: most romanians don't have a passport either.
asciilifeform: so as to have gedanken-farm in own name, say ? or to be able to occasionally cross borders without using u-boat , say ?
mircea_popescu: so if anything, not having one makes you MORE romanian, not less.
asciilifeform: ( otherwise gotta add cost of u-boat.. )
mircea_popescu: asciilifeform you can cross border on your current one also lol wtf.
asciilifeform: not once usg cancels it for unpaid tribute, neh
mircea_popescu: you know for a fact hanbot lived there for what, better part of a decade. wtf 800k passport.
asciilifeform: hanbot had a patron with castle, neh.
mircea_popescu: well if usg cancels it you're then a refugee. they love those in yurp lol
mircea_popescu: apply for a stateless person thing./
asciilifeform: theoretically great, in practice they seem to send those back in chains to washingtonschwitz if they're subjects of trumplincton rather than africa
mircea_popescu: your problems are in your own mind.
mircea_popescu: wth, most everyone travels, you go visit the surrounding places now and again, takes care of the whole problem for you.
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 )
mircea_popescu: you don't really want to winter in romania anyway.
asciilifeform: so happens that i like winter on that parallel
asciilifeform: it's my home parallel after all.
mircea_popescu: then you don't wanna summer there.
asciilifeform: do they have mosquitoes yet ?
mircea_popescu: depends on exactly where, but notrly afaik.
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.
mircea_popescu: i imagine she's going to bake a test as time permits. it's not a top priority item but then again she moves fast.
asciilifeform: aite
asciilifeform: i dun expect it will need many litres of glue.
mircea_popescu: might want to read through it / see it finished first / we. i'm not squeezing it.
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)
diana_coman: asciilifeform, first I do need to finish getting the ffa in, so that will still take quite a while; other than that, it's more a matter of "as time permits" and as mircea_popescu says it's not top priority; that being said yes, I'd like to do it and see some timings and comparison for myself
asciilifeform: right
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: ( if you use pcode, these get done inside ffacalc, and ditto the stack memory mechanics, as you prolly knew already )
diana_coman: will keep in mind, ref the log when I get there; and definitely come and shout at asciilifeform when/if I get stuck on something related to this
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: so, to illustrate:
asciilifeform: !!up pehbot
deedbot: pehbot voiced for 30 minutes.
asciilifeform: !A .~#
pehbot: asciilifeform: FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF
asciilifeform: !A FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0
pehbot: asciilifeform: EGGOG: Pos: 0: Stack Underflow!
asciilifeform: err
asciilifeform: !A .FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0
pehbot: asciilifeform: EGGOG: Pos: 65: Constant Exceeds Bitness!
asciilifeform: ^ there we go
asciilifeform: or, e.g.,
asciilifeform: !A .1.1.1MX (this is ok )
pehbot: asciilifeform:
asciilifeform: !A (but this aint ) .1.1MX#
pehbot: asciilifeform: EGGOG: Pos: 22: Stack Underflow!
asciilifeform: and so forth.
asciilifeform: ( this being for the given bitness, which in pehbot is hard-welded to 256 )
asciilifeform: and likewise, you can put as many fz on stack as the stack height given in invocation of ffacalc, but not any moar.
asciilifeform: ( i'ma stop here, folx who ate ch4 know all of this kindergartenisms )
asciilifeform: ffa is designed to be used via pcode (aka 'peh') but i'm not about to tell folx that they absolutely must. given the stated reqs (you gotta test for div0ism, we dun do it internally given as it's thermonuke performance) it can be safely used directly.
asciilifeform: ( for the l0gz, refresher: pcode is meant to give a mechanically simple system where yer privkey is a pcode string, and so is yer pubkey, and so are ciphertexts, and whole mechanism is set in motion simply by feeding pcode to the processor )
diana_coman: well, I hardly see how you can *stop* people from using it directly or why exactly; and the endian + div0 don't sound like a huge layer anyway
asciilifeform: rright, but i dun necessarily mean to even discourage people from using directly.
asciilifeform: so long as they know which end of the rifle bullet goes out from.
diana_coman: well, if they don't, they'll find out quickly :|
asciilifeform: heh
diana_coman goes back to chopping client "code"
asciilifeform: ( using it directly, is sorta analogous to https://www.youtube.com/watch?v=A4QagenzsK0 . can be done... )
asciilifeform: http://btcbase.org/log/2019-01-05#1884619 << from ave1 , i hope to see a 'port' of tmsr-gnat that can be hard-welded into cuntoo as primary gcc ( to remove the hack where it builds gcc5, then down to 4.9, and neither of'em being a gnat ) ☝︎
a111: Logged on 2019-01-05 14:32 mircea_popescu: ave1 is, i suspect, silently working on gnating things -- which is fine and valuable except for the silently part. there's this tendency of lone wolf scientist to not properly report failures, out of an imaginary saving of time and resources this permits. it must be said that NOTHING could be further from the truth, nothing at all -- there's more to be gained from a properly reported failure to find than out of ten shiny succ
asciilifeform: also at some point it'd be great to have a mips gnat, so i can plant ffa on pocket-sized irons. but that's for muchlaters.
asciilifeform: ( already hats off to ave1 , who did year+ of gnat cleanup that asciilifeform was solidly convinced he'd have to do with own hands; and the fixed inlining gave us a ~2x ffa speedup 'for phree' ! )
asciilifeform: http://btcbase.org/log/2019-01-05#1884626 << i suspect phf is hunting elk in kamchatka, or similar , atm ( i.e. still waiting for http://btcbase.org/patches?patchset=ffa refresh , so i dun think he's been at console much recently ) ☝︎
a111: Logged on 2019-01-05 14:38 mircea_popescu: so, phf : how about you start clearly communicating yourself, beginning with a complete, correct and true to life adnotation of said discussion in your own hand, because this "ima go meditate on things until everyone involved forgot what i was meditating on" isn't a workable approach to intellectual life.
asciilifeform: hopefully he comes back soonish ( i'ma not even pester him re bolix, bolix is asciilifeform's personal war, learned not to expect help from anyone, and currently in refrigerator, i dun expect to spend much time on it while ffa undone )
asciilifeform: i admit that i'm at least a little curious how phf finally managed escape velocity from the bigzone, but if he doesn't feel like spilling re subj, also won't cry.
asciilifeform: http://btcbase.org/log/2019-01-05#1884603 << BingoBoingo i'd ~really~ like to hear what is current plan for gettin' heathen custom, so as to finally get the hell out of the red. asciilifeform dun have a massive treasure chest that can run pizarro 'on battery' 4evah (hopefully not surprising, this) ☝︎
a111: Logged on 2019-01-05 14:13 mircea_popescu: so : as far as i know, bingoBoingo is working on qntra and on pizarro. he's doing a very fine job with the former ; i'm nonplussed with recently discovering just how broken the latter's mp-wp offering actually was ; moreover it seems to me from a distance pizarro's still financially and customer-wise entirely dependent, ie as close to failure as you can possibly get without spelling it out.
asciilifeform: and without pizarro, it will be very very cold and dark and we'll be drifting in the unforgiving vacuum of interstellar space.
asciilifeform: mircea_popescu: any idea what happened to esthlos ?
asciilifeform: !#seen esthlos
a111: 2018-10-23 <esthlos> http://btcbase.org/log/2018-10-19#1864316 << apologies alf, I'm running behind! trying to gather time to get caught up in the next week or two
asciilifeform: to round out the 'loose ends' thread -- asciilifeform also has a ~90% built node-walker and www front end for same. but it is in refrigerator, no one is direly starving for the lack of the thing, i expect i'll come back and finish it off strictly after ffa is fielded .
asciilifeform: there is also a serpent-on-ice40 thing, with similar level of unfinishitude; and a ice40-powered 'FG2', ditto.
asciilifeform: ( there is also a 'giant ice40' that amberglint dug up recently, that gotta be tested, but i dun even physically have 1 yet, and deliberately not bought so as not to distract from moar urgent matters )
asciilifeform: to entirely round off the chalkboard, mircea_popescu may be interested to know that no one has called the 1-800 since we last spoke of it. the current summed cost stands at 12 orcbux, and is set to increment by 22 orcbux/mo ( we've spent the vendor's 'test drive' bait). i'ma cover the lunch money cost of this item until given to know that it aint wanted.
asciilifeform: this concludes the 'state of asciilifeform' broadcast for nao -- plox to lemme know if i missed sumthing.
asciilifeform will bbl, maintaining meat systems
BingoBoingo: <asciilifeform> and without pizarro, it will be very very cold and dark and we'll be drifting in the unforgiving vacuum of interstellar space. << Today crunching monthly numbers. Followed on the agenda by reviewing 2018/putting forth tentative plan based on those lessons 2018
lobbes: http://btcbase.org/log/2019-01-05#1884616 << imo, this is a perfect summary of my current state. I walked through the tmsr doors in ~2014 at roughly epsilon and 'learned as I went'. As a result, many of my projects here were built on unsteady scaffolding, and I have been slowly going back and pouring in proper foundations where needed ☝︎
a111: Logged on 2019-01-05 14:28 mircea_popescu: lobbes recently unveiled actionbot, which works fine, and is evidently putting all time he can into paying off technological debt he's responsible for if not necessarily guilty of. nothing wrong with this, and it can stand as such.
lobbes: possibly the bar to lordship will raise above me while I rebuild, but regardless I'ma keep rebuilding as it seems the only sane move for me. Ultimately, I just want to continue to be +ev for the republic and no way to do that without paying my technological debts
lobbes: !Xsell 140mn 48 500 wired filthy fiats (WU)
auctionbot: Sell order # 1033 created by lobbes: 500 wired filthy fiats (WU) Opening: 140mn ecu Ending: 2019-01-07 08:15:26.113976 UTC (47 hours)
mircea_popescu: meanwhile in other olds, https://thumb-p1.xhcdn.com/a/YfBOpNSfEGCbtgf3vER4rg/000/015/504/831_1000.jpg
mircea_popescu: asciilifeform no idea re esthlos . maths dude who did summaries, then fell behind, then caught on and wanted to put more effort into it, then fell behind again. maybe he re-emerges.
mircea_popescu: asciilifeform yeah, give the phone thing a year or two, whynot.
mircea_popescu: lobbes on the positive side, at least now you know that should that occur, it won't occur in 2019.
lobbes: this is encouraging. And if it occurs in 2020, then by that time I'll hopefully have built the solid foundation upon which to launch back into lordship in 2021.
asciilifeform: mircea_popescu: in moar pedestrian matters : daykin's algo , turns out, aint good for much -- at least, not in anyffin like orig form. consider the case where P is large ( but not at all close to complement(P) ) and Q is 1.
asciilifeform: you get a potentially 'geological' number of steps that increment by 1.
asciilifeform: ( e.g. 64 bits worth of 'increment this 4096-bit fz by 1' is roughly 400 years... )
mircea_popescu: works well for the example he gave -- numbers with same digit count.
asciilifeform: aha, for napkin numbers.
asciilifeform: i suspect that it's possible to cure it by adding 2^k-multiples of the small Q instead of Q itself, tho
asciilifeform: ( and then shifting out the 2^k )
asciilifeform: rather like what we did in barrett.
mircea_popescu: possibly
asciilifeform: it is interesting to note, i did an exhaustive dig re gcd algos; and found that there are half a dozen sub-quadratic ones, but none of those can be made constant-time.
asciilifeform: (i.e. working subquadratically in worst-case)
asciilifeform: so anyffin we do for gcd is gonna be quadratic, q is strictly re the constant factor.
asciilifeform: this isnt catastrophic (or surprising, apeloyee warned about it yr+ ago) , and the only place where need gcd is the pre-millerrabin primorial 'divisible by small primes?' litmus. but would still be good to cut the constant down.
asciilifeform: and even a dog-slow gcd is still faster than knuth-division by each of million smallprimes.
mircea_popescu: one simple solution would be to just keep digit-appropriate primorial.
mircea_popescu: test as many small primes as their product is as many digits as your proposed large prime and be done with it, daykin will work ok for same bitness
mircea_popescu: ~that~ is one of the exceedingly rare justifications for magic number. "what is this 2048 bit strange ?" "the product of the first as-many-primes-as-their-product-fits-in-2048-bits"
feedbot: http://bimbo.club/2019/01/philosophical-transactions-for-the-months-of-september-and-october-1715-part-ii/ << Bimbo.Club -- Philosophical Transactions. For the months of September and October, 1715 - Part II.
asciilifeform: mircea_popescu: magic # primorials are unavoidable. but i dun immediately see how to make it go with daykin, there aint a bailey-borwein-plouffe-style algo for gcd
asciilifeform: ( i suspect btw that if there were , you could nail rsa, thinkaboutit )
mircea_popescu: consider the simpler case of 16 bit rsa. you thus make two 8 bit primes. you daykin each of these with 210, which happens to be the 8 bit primorial, aka 11010010.
mircea_popescu: had you instead used 32 bit rsa, you'd have had two 16 bit primes you'd have daykin'd with 2×3×4×7×11×13 aka 0x5DD8
asciilifeform: soo hm, what's the idea, 8192 stored primorials ?
mircea_popescu: just a 8192 bit number, equal to their product.
mircea_popescu: you simply gcd each candidate prime with the same "product of primes in order up to bitness"
mircea_popescu: it's a one-shot thing, and it eliminates however many dozen small primes.
mircea_popescu: (i suppose if indeed you want to test MORE small primes than fit in one 8kb, you'll have a number of such composite numbers to test about. however many it takes. and yes, you can clever the knobs so they're not in strict order so that the composites are each exactly 8192 bits)
asciilifeform: 'product but up to bitness' dun do the same job
asciilifeform: ( storing e.g. 8192 primorials, ~would~ work, tho ugly, but ~would~ leak the bitness when fired )
mircea_popescu: huh ?
asciilifeform: primorial that fits in, e.g., 2047 bits, is not equal to '1st 2047 bits of primorial that fits in 2048'
asciilifeform: ( would be nifty if it were, tho... )