tmsr - Log 2019-01-05

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

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'

deedbot: pehbot voiced for 30 minutes.

pehbot: asciilifeform: FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF00000000000000000000000000000000

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

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

mircea_popescu: he promised to ask you for an item ? or is this ada n-w published somewhere meanwhile ?

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 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.

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

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

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"

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 )

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: if diana_coman is 'stuck on X, cannot move' and it is asciilifeform's X, i'd like to know about it asap.

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.

asciilifeform: otherwise all of the nonleakage guarantees bought at the cost they were bought at, vanish.

asciilifeform: it needs an entirely other item ( which can be sewn from ffa parts, but has not been of yet )

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.

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

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: and as of right nao it's the only ~complete~ rsatron we have, i.e. that knows how to bake privkeys

asciilifeform: ( when i have ~complete~ sys, ~then~ mircea_popescu can go 'hmm, which one to sew ~here~' etc )

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: ( i dun have e.g. strassen's multiplication algo, and dun have any plans to implement, it only wins for multi-megabyte ints )

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

asciilifeform: ( phuctor, ftr, uses a (patched, to enable bigger ints) old gmp. with asmisms enabled. )

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 ) ☟︎

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

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 )

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

mircea_popescu: farming is not an economic activity in europe ; nor has it for half a century or more.

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.

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)

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: you know for a fact hanbot lived there for what, better part of a decade. wtf 800k passport.

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

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.

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

deedbot: pehbot voiced for 30 minutes.

pehbot: asciilifeform: FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF

pehbot: asciilifeform: EGGOG: Pos: 0: Stack Underflow!

pehbot: asciilifeform: EGGOG: Pos: 65: Constant Exceeds Bitness!

pehbot: asciilifeform:

pehbot: asciilifeform: EGGOG: Pos: 22: Stack Underflow!

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

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.

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

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: 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: 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: ( e.g. 64 bits worth of 'increment this 4096-bit fz by 1' is roughly 400 years... )

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

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

mircea_popescu: you simply gcd each candidate prime with the same "product of primes in order up to bitness"

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: ( storing e.g. 8192 primorials, ~would~ work, tho ugly, but ~would~ leak the bitness when fired )

asciilifeform: primorial that fits in, e.g., 2047 bits, is not equal to '1st 2047 bits of primorial that fits in 2048'