asciilifeform: not so big yield when you factor in the petrol (not only for tractor, but for pesticide, herbicide, etc.) mircea_popescu has a mega-piece re subj.
asciilifeform: ( d00d was a mega-believer in the plant and 'let's use it for errything' )
asciilifeform: ( usg seems to have copied just about erry hruschevism, down to the corn thing )
asciilifeform: ^ phf, amberglint, possibly other 'junkyard wars' folx ^
mircea_popescu: asciilifeform mocky did some (very good btw) work on the foxybot ; then went to qatar ; now looking for job.
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..?
a111: Logged on 2019-01-06 15:45 asciilifeform: so theoretically can have a steinized daykin ( it remains to be sweated out whether this is moar economical than stein, i'ma get to it today )
mircea_popescu: http://btcbase.org/log/2019-01-06#1885097 << you can't simply shift the buffer just because IT is even
asciilifeform: the 1st step to adaizing a cpp turd is to remove the cpp threadisms, they will not only not work with ada's sane tasking but actually destroy the guarantees of the latter
diana_coman: myeah, all sorts of practical restrictions to consider here; I just wanted to make sure I'm not overlooking some available option before weighing them
asciilifeform: it's what i'ma do to trb after i solve the mmap thing.
asciilifeform: then you dun need to try an' pry open the internal structure of ada task to somehow fiddle it from inside cpp.
asciilifeform: diana_coman: if you 'de-thread' the cpp item, you can call its knobs from ada task. is what i meant 'reentrant'.
diana_coman: ugh, I was rather hoping I was just thick and not getting it
asciilifeform: diana_coman: admittedly i dun know enuff about your proggy to say whether it is possible to make ada piece 'prime mover'
diana_coman: mainly because the whole thing is anyway only one thread of the mess as it were; but yes, reentrant should work too
asciilifeform: why wouldja need to fork in cpp if you have ada tasks ? make the cpp coad reentrant and call it from the tasks
asciilifeform: iirc diana_coman already is quite well-versed in the subj from baking eucrypt
diana_coman: in the vein of "fork in cpp and from that thread call Ada proc that then spawns tasks"?
asciilifeform: ( i.e. ada knobs that are ordinary procedures and can be fired from the cpp )
diana_coman: asciilifeform, the concrete mess is this: smg_comms is in Ada, has sender and receiver task types so one can create those as needed, perfect; onth eulora client is this ball of CPP mess and it's unclear to me if it can even be made to use smg comms as it is or what
asciilifeform: you can't signal it, or do anyffin else useful to it, there
diana_coman: does anybody know whether/how can I use Ada task types from C/CPP code? afaik from GNAT docs there isn't a way to export task types as such
a111: Logged on 2019-01-06 09:42 phf: i agree that the secrecy approach doesn't work, i wasn't the driver behind it, i was skeptical about it, but i wanted to see it play out, and it failed spectacularly. i did the relevant manual labor and promised not to share what i got out of it. and yes if i thought about it, the blood oath puts me in the position of the very same whisperers, where whatever i have i can't make use of. my vague comments about old men and gold chests are
BingoBoingo: <mircea_popescu> cuz whenever they hire a new "engineer" he just dumps more code in the pub and that's it, "he fixed things" << AHA Heathen WP Pluginisms
asciilifeform: and yes they keep 9000 copies of 'same' lib.
asciilifeform: ( does it spawn new anthills ? apparently does. do the ants survive winter ? sadly also apparently yes )
mircea_popescu: cuz whenever they hire a new "engineer" he just dumps more code in the pub and that's it, "he fixed things"
asciilifeform: i dunno how one'd even begin to answer the q of 'whether it works'. what even means 'works' when referring to the anthill.
mircea_popescu: i expect what really is going on is that they have half dozen copies of the "same" lib, diff versions, w/e, and they load them all i nthe hopes one works.
a111: Logged on 2019-01-06 16:55 mircea_popescu: just the sheer insanity of the js loading model. who the fuck can't put it all in one file ?
asciilifeform: http://btcbase.org/log/2019-01-06#1885123 << it's deliberate. they fiddle'em regularly, and section'em so the unfiddled bits stay cached
BingoBoingo: Apparently there's no phones up in Llama herding country
BingoBoingo: Hard to tell. ~half the conversation was in spanish. Girl's dad made a phone call because he went into the city as he does from time to time.
mircea_popescu: much like "all that needs to be, or can be expressed in redskin tongue takes <1 page, which is why they don't need writing, can remember a page"
mircea_popescu: there's never been, since the origin of the world, cause or use for a full 100kb of js. what fucking 730k, there's not that much to say in that scriptlang.
asciilifeform: y'know, not only it never made much sense when written, but they put it through mungers also
mircea_popescu: just the sheer insanity of the js loading model. who the fuck can't put it all in one file ?
mircea_popescu: http://p.bvulpes.com/pastes/4YRQW/?raw=true << meanwhile this is what a myspace pageload looks like these days (they call it "facebook" but it's the same "valuable" nonsense by&for morons turner used to make a small fortune out of a large one)
BingoBoingo: In other news... amazing how comment spam shifted from viagra to... http://p.bvulpes.com/pastes/LvP1y/?raw=true
a111: Logged on 2015-07-08 19:34 ascii_field: far more interesting is the trait hasn eysenck called 'psychoticism'
mircea_popescu: http://btcbase.org/log/2015-07-08#1193607 << this makes for a pretty lulzy re-read, in the context of the meanwhile better fleshed out notions of structure and trees and whatnot. isn't it obvious, asciilifeform , that the ~substantial difference~ is not at all the "head rng" but simply the extension and especially quality of the conceptual trees involved ? the "head v" so to speak ?
mircea_popescu: "being in legal trouble" is generally a decent first order approximation of that youth. (not that the empire isn't abusing imagignarly "legal process" to attempt to wage war and other such bs, but i guarantee you nobody targetted some schmuck selling fireworks in rural bumfuck because of his roger ver-ness.)
mircea_popescu: so the idea of http://btcbase.org/log/2018-12-19#1881910 isn't as much "don't make promises to people outside the walls" ; it's rather "don't make the ~sort of promises~ they make outside the walls ; but if you're too young to know the difference don't make any at all".
mircea_popescu: saeculum promises include the unpromiseable so regularily as to naturally create the suspicion it's deliberate.
a111: Logged on 2018-10-18 17:42 Mocky: http://btcbase.org/log/2018-10-18#1863546 >> if this is true then "you're not smart enough be here" is as meaningful as "not telepathic enough"
a111: Logged on 2019-01-06 09:41 phf: http://btcbase.org/log/2018-12-19#1881941 was previously lost on me, so my committment outlay is a given, with the inevitable conclusion of http://btcbase.org/log/2018-12-19#1881910 i figured that out before the tmsr conversation, so the whole thing was just a public reveal of my idiocy, salt on the wound if you will
mircea_popescu: http://btcbase.org/log/2019-01-06#1885065 << if anyone is curious, in the vein of http://btcbase.org/log/2018-10-18#1863563 : there's a very strict and very obvious distinction between the ~types~ of promises ; typified by the "forever &ever" coda of imperial bullshit. my slaves serve ~at will~, which is to say until i get tired of one and not a moment longer. there's no security available, offered or contemplated. compare an
a111: Logged on 2019-01-06 05:29 mircea_popescu: Mocky a lot of the femstate's "solutions" to problems consist of this sorta acceptance bs. about as unsuprising as biology can ever get.
asciilifeform: http://btcbase.org/log/2019-01-06#1885053 << recall the infamous rat temples of india..
asciilifeform: ( e.g. in 2016, i spent >6mo rowing on a loathesomely usgistic slave galley, while in search of new remote )
a111: Logged on 2019-01-06 05:26 ave1: well arm part works, but I wanted to do some more experimenting with how the call the asm, as register allocation cannot be specified in GNAT
asciilifeform: so theoretically can have a steinized daykin ( it remains to be sweated out whether this is moar economical than stein, i'ma get to it today )
asciilifeform: mircea_popescu: i woke up at night with the following wtf : you can actually make ~any~ gcdtron converge in same steps as stein's, cuz any time the buffer is even, you can shift it right (unshared factor of 2); and then when you add (or subtract) these odds, you get another even ( and can do it again ) etc.
a111: Logged on 2019-01-06 09:42 phf: the result of reflecting on the idiocy of the whole secrecy approach: i basically got suckered by promises of future great reveals, did free work while also locking myself into the selfsame structure.
asciilifeform: hey phf, does the left switch on your cst billiard ball seem muffled vs the right ? i can't decide if mine's defective or not, just noticed last night..
asciilifeform: http://btcbase.org/log/2019-01-06#1885072 << danke schon, phf. and i aint gonna kick you when yer down, we can always come back to the thread laters.
mircea_popescu: that was the most odessa jew thing you ever yet said.
asciilifeform: mircea_popescu: perhaps he'll at least inherit the flat...
mircea_popescu: efore -- that is, zero-cost shouting ; (the bounty of that experience also readily provides us with a luxury no woman knew before -- that is, zero-cost defloration, the experience of the "significant" cost of expression as perceived afore the fact dissolving into nothingness with the consummation, "what a big deal writing this blogpost was going to be that it didn't turn out to be after all") ; and so following.
mircea_popescu: all that said, there's no bad blood here. i have infinite time (in the sense that the republic is eternal, not in the sense that i've been around for seven milennia or thereabouts) and every boy has to take his own fucking journey to his eventual himself. for as long as you can continue speaking the truth you're perfectly welcome here, as everyone ever is ; the magic of the workings of the log permit us a luxury no men knew b
mircea_popescu: as a factual matter, there's nothing you can say to keloid. it's made out of cells and cells are deterministic mechanisms. societal scar tissue however is the result of ~deliberate choice~ that is then just as deliberately hidden from the self ; not of some sort of complicated protein signalling.
mircea_popescu: it. hence all the lashing out.
mircea_popescu: the sad part, and a problem very much in the vein of the http://trilema.com/2014/la-florida-and-other-places/#selection-111.0-121.824 duality, is that men ~ARBITRARILY~ deciding to live in a matriarchy doesn't merely fuck over them ; it fucks over everyone, now the females of your generation are stuck living in the same shit whether they want to or not ; because unlike your case, there's exactly jack shit ~they~ can do about
mircea_popescu: what they will be and precisely naught else.
mircea_popescu: the reason i wrote http://trilema.com/2018/patriarchy-vs-matriarchy-the-straight-dope/ wasn't that i was bored that day ; or that i don't like people. for as long as you continue thinking your value is established by some woman, you will continue having the same ~type~ of problems. they can be colored any way you like, and lives can readily be spent in that coloring exercise ; but as far as substance is concerned they will be
mircea_popescu: nor am i going to congratulate mocky on his downstream spawncount ; and also because i like him. spawning is a biological function of women, as remarkable as taking a meal, and the day ima start congratulating people for drawing breath is the day i have no further need of myself.
mircea_popescu: phf i'm not going to pass in silence over the obvious "check it out, there's no women in phf's fambly, he's taking care of the last one by own hand" comment ~because~ i like you.
phf: http://btcbase.org/log/2019-01-05#1884636 << if i put that at the top of the free time work list i can get it out fairly fast, but i think keccak regrind that diana_coman is blocked by comes before that anyway
a111: Logged on 2019-01-05 16:44 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.
phf: the result of reflecting on the idiocy of the whole secrecy approach: i basically got suckered by promises of future great reveals, did free work while also locking myself into the selfsame structure.
phf: i agree that the secrecy approach doesn't work, i wasn't the driver behind it, i was skeptical about it, but i wanted to see it play out, and it failed spectacularly. i did the relevant manual labor and promised not to share what i got out of it. and yes if i thought about it, the blood oath puts me in the position of the very same whisperers, where whatever i have i can't make use of. my vague comments about old men and gold chests are
a111: Logged on 2018-12-19 19:37 mircea_popescu: the very substance of http://trilema.com/2015/heres-what-they-dont-tell-you-when-they-bring-you-those-papers-to-sign/ is ~specifically~ DO NOT MAKE saeculum promises, it will bar you from republican life.
phf: http://btcbase.org/log/2018-12-19#1881941 was previously lost on me, so my committment outlay is a given, with the inevitable conclusion of http://btcbase.org/log/2018-12-19#1881910 i figured that out before the tmsr conversation, so the whole thing was just a public reveal of my idiocy, salt on the wound if you will
phf: i don't see sharing of parts, or the whole with asciilifeform under whatever terms, etc. irrespective of what will be done as resolving anything: i made original promises in good faith, and i'll be breaking them. my ideas of how to work around that were idiotic and in retrospect that was an obvious mistake, which ftr asciilifeform avoided by refusing any kind of dealings. on the other hand the point
phf: "talking past each other" comment was on point, i don't know about asciilifeform, but i was just shouting.
phf: i have nothing to dispute in the thread or in the consecutive conversations that i wasn't part of. for one, i think i lost my shit (i'm sure week 2 of grandmother also didn't help), because the very first mp reaction was the whole deal, with my role and the outcomes being immediately obvious: i made amorphous promises outside of the republic, and then attempted to badly navigate around them, with the inevitable result. trinque's
phf: http://btcbase.org/log/2019-01-05#1884626 << i wasn't meditating, i just don't have the mental energy to defend myself. i'm in russia primarily to take care of my grandmother who has dementia, and she was in a pretty critical state when i got here. i'm sure it'll stabilize, but as of right now i don't trust myself to have rational conversations around sensitive subjects online.
phf: http://btcbase.org/log/2019-01-05#1884834 << i like the elk hunting theory, but i actually had a flu the past week
mircea_popescu: how these things go.
ave1: About reporting failures, the reporting itself was also failing, but I will pick this up.
mircea_popescu: Mocky a lot of the femstate's "solutions" to problems consist of this sorta acceptance bs. about as unsuprising as biology can ever get.
ave1: I have installed previous cuntoo versions, but have no machine free at the moment and I concluded from early reports here in the log that it did not work yet, so I postponed this work.
mircea_popescu: it is ~very~ useful to explain how things like this blew up, in writing. both for others today and for you tomorrow.
ave1: well arm part works, but I wanted to do some more experimenting with how the call the asm, as register allocation cannot be specified in 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
ave1: http://btcbase.org/log/2019-01-05#1884619, I worked on arm-ification of the UDP lib, this is done but write up is stuck.
BingoBoingo: asciilifeform: Yes, as you have observe the local trash digging critters here in the Oriental Republic are more skittish than the panda vermin.
asciilifeform: nicoleci aint wrong, btw, they'll walk right up to you.
asciilifeform: 'tis said that in gringolandia there's a steady stream of rabies cases from some derp who hand-feeds 'cute furry' shitpanda
a111: Logged on 2015-02-11 06:58 BingoBoingo: A viewer complained that an episode of the animated childrens series Peppa Pig was inappropriate for an Australian audience because it said that spiders were not to be feared. >> http://about.abc.net.au/complaints/peppa-pig-received/
a111: Logged on 2019-01-06 03:35 Mocky: to bring it full circle, I saw one of my grandsons yesterday watching a cartoon about how helpful raccoons are for eating trash so less waste goes to the land fill, and how clean and friendly they are
BingoBoingo: If only there were a way to get the locals to put the reject trash back in the dumpster when they finish mining
Mocky: was hoping to see a russian d00d shoot at them from a window, but no, instead the raccoons went down to the creek after dinner to wash their paws
Mocky: to bring it full circle, I saw one of my grandsons yesterday watching a cartoon about how helpful raccoons are for eating trash so less waste goes to the land fill, and how clean and friendly they are
Mocky: and number 11 is in the oven
asciilifeform: i suppose if archaeologizing re the latter, oughta start at spartacus..
asciilifeform: there's 'resistance' but then there's 'кто был ничем тот станет всем'(tm)(r), former dun necessarily roll in the latter
mircea_popescu: closer to southern france resistence to growing crown than anything in the derp vein, but why not./
asciilifeform: that sorta thing is always there, somewhere, like polio.
asciilifeform: or hm, who were the derps on mountain fort with 'equalite liberte'...
a111: Logged on 2019-01-03 19:24 stratum: Right now, for the billions, I think it is probably better than nothing, just like easily popped household locks.
mircea_popescu: i don't recall any villein serfs going around derping about http://btcbase.org/log/2019-01-03#1884205 / http://trilema.com/2014/agency-and-other-notes/#selection-31.0-31.271 five centuries ago.
asciilifeform: stupidity, as mircea_popescu pointed out in the old essay, 'has infinite health'
mircea_popescu: same exact reason preteen boys don't discuss their "sexual conquests" within hearshot of adult woman.
asciilifeform: for all values of 'thems', present, future.
mircea_popescu: what fucking them. the ~pretense~ is entirely based on cheapness. no cheapness, no pretense.
mircea_popescu: "them" keks.
asciilifeform: and this is before you even consider that the plaintext itself can be pcode...
asciilifeform: the problem of even beginning to break, becomes , from empty space, exponential.
asciilifeform: i can picture, for instance, that some folx will have a pubkey where 'well, first you gotta decrypt via these 2 rsa keys, and depending on the low 4 bits of the plaintext, the rest is via 1 of these 4 c-s' or the like.
asciilifeform: it took asciilifeform 2y ( 3, if you count the mpi dead ends ) to build ~that~ deathray. and it's just about ready to fire..
asciilifeform: ( suddenly, 'which of these bigints do we need to try and factor, and which are noise' becomes an open human-powered q ! for'em. )
asciilifeform: it'll be quite a riot, i expect, when the problem for enemy of determining what to do with ~an unknown pubkey~ is suddenly np-hard.
asciilifeform: at ~that~ juncture it'll be possible to ~hardwarize~ the thing, into the ultimate (per horse's mouth) usg nightmare.
asciilifeform: ideally , one'll be able to implement any crypto scheme without having to rip into the ada; simply by writing pcode.
asciilifeform: correct. ( i'ma include jacobi operator, after thing is flying in the field, even tho none of the currently popular schemes use it, for instance. )
asciilifeform: right. whole affair is 'what's the most general arithmetron that is also a useful rsatron', from my pov.
asciilifeform: i'm carrying out mircea_popescu's orig spec, where 'i want a peh key with my rsa modulus that i carved on the mountain' or how it went.
asciilifeform: ( as for the other thing -- much of asciilifeform's oddball 'must work for all integers!' thrust, is on acct of his interest in cryptosystems other than classic rsa, e.g. c-s and variations on theme )
asciilifeform: rather than to hold up orchestra for its gilding.
asciilifeform: upstack, i'ma polish off stein, and see if the lily in fact needs gilding ~after~
mircea_popescu: anyway, nothing wrong with that ffa design choice, if you like it ; if you don't anymore, also not the end of world.
asciilifeform: ( apeloyee originally proposed it as substitute for primality testing per se; where it elementarily constricts the domain of possible primes, and is unacceptable per my lights )
asciilifeform: mircea_popescu: the 'lose variety of primes' was my objection to using wholly-constructed primes. rather than in prelude to m-r .
asciilifeform: rather than 'watch out, be sure that you constructed right inputs, or you might get soup'
asciilifeform: so , my spec was 'all operators do The Right Thing arithmetically, and program stops if you demand div0' , like yer cpu does.
asciilifeform: mircea_popescu: barrett is the 1 that actually works for all integers without restricted domain.
mircea_popescu: since you're doing this "general purpose", there's no crime if user can call montgomery.
mircea_popescu: i dunno why you barfed ; but i barfed because it's fucking stupid, you lose a lot of variety in your primes for no gains worth the mention.
asciilifeform: ( and if you montgomery, then you gotta either test whether gcd(N, modulus) == 1 , or ~assume~ , the latter is a mine that user will step on. unlike div0ism , it is not an inexpensive test . )
a111: Logged on 2019-01-06 00:08 mircea_popescu: nobody is going to hate your ffa if it includes montgomery, with the proper warning.
asciilifeform: http://btcbase.org/log/2019-01-06#1884935 << i actually considered to have 'if low bit is 0 - i.e. N is even -- then montgomery, otherwise barrett' but what this does is break constanttimeism of modexp -- nao you broadcast the parity of N for whole planet, cuz entirely diff execution profiles for the 2 algos. and montgomery is at the very most a 10% revvup over barrett.
asciilifeform: not particularly relevant to the problem of general-purpose isPrime() tho, so i'ma put it back on shelf for nao.
a111: Logged on 2017-10-07 21:48 apeloyee: http://btcbase.org/log/2017-10-05#1721485 << alternatively, can *construct* numbers which don't have very small factors. pick a nonzero remainder mod 2, mod 3, ... mod largest-prime-fit-in-your-primorial and find what number of primorial is congruent to it using chinese remainder theorem
asciilifeform: ok this dunwork, i'ma have to pull out the orig item
asciilifeform: as in euclid's proof-there-aint-a-last-prime.
asciilifeform: grr nao i gotta find the orig statement, which wasn't obv. broken
asciilifeform: oh hm i recall nao. ( it was because operator 'P' wants to be a general-purpose primality test, valid for any input whatsoever that fits in the ffawidth, rather than simply 'generate prime' )
asciilifeform: i can't recall why i barfed tho, nao i gotta dig out the notes...
mircea_popescu: nobody is going to hate your ffa if it includes montgomery, with the proper warning.
mircea_popescu: otherwise, i guess daykin gcd can exist as a class, native or extended, w/e.
asciilifeform: this is the montgomery thread replayed
asciilifeform: why, cuz you pegged the high bit ?
mircea_popescu: the "unknown integer" being tested IS ALWAYS 2048 BITS.
asciilifeform: of the unknown integer being tested.
asciilifeform: not of the primorial ( 'Y' if you will )
asciilifeform: the factual bitness
mircea_popescu: the bitness of x is already leaked : 2048.
asciilifeform: and yes it is possible to daykin with a hardcoded list of primorials, 1 for each possib bitness. the issue aint even that you gotta keep around e.g. 8192 primorials; ( you do, they can't be sliced ) , but that it leaks the bitness of X .
mircea_popescu: it all depends on the quadratic and parameters etc.
asciilifeform: mircea_popescu: if you gotta do multiple calls to gcd to take gcd(x, primorial) you lose the win from using gcd.
asciilifeform: it is used to take gcd(x, primorial(currentwidth)) , and if it dun equal 1 or x , then x is 'cheaply known composite' .
mircea_popescu: the whole discussion was re daykin, specifically that for our particular usecase, it's not the end of the world that it wants "napkin numbers" : we enjopy the luxury whereby we can construct them to measure.
mircea_popescu: since your best gcd algo seems to be one that expects x and 6 be same bitness, there's nothing wrong with making a buncha prefab such products-of-primes.
mircea_popescu: dude, why is every little thing such a fucking uphill struggle with you. suppose you wish to see if x is coprime with the number 2. you run gcd (x, 2). suppose then you wish to also see if x is coprime with the number 3. you run gcd(x, 3). all this is EXACTLY EQUIVALENT to running gcd (x, 6) : if this returns 2, it was not coprime with 2, and if it returns 3, it was not coprime with 3.
asciilifeform: on top of this, if you actually carry out a diff stream of instructions for 2047 and 2048, you leak the bitness of the integer under test.
asciilifeform: ( storing e.g. 8192 primorials, ~would~ work, tho ugly, but ~would~ leak the bitness when fired )
asciilifeform: 'product but up to bitness' dun do the same job
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)
mircea_popescu: you simply gcd each candidate prime with the same "product of primes in order up to bitness"
mircea_popescu: just a 8192 bit number, equal to their product.
asciilifeform: soo hm, what's the idea, 8192 stored primorials ?
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.
asciilifeform: ( i suspect btw that if there were , you could nail rsa, thinkaboutit )
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
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.
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"
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
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: so anyffin we do for gcd is gonna be quadratic, q is strictly re the constant factor.
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: rather like what we did in barrett.
asciilifeform: i suspect that it's possible to cure it by adding 2^k-multiples of the small Q instead of Q itself, tho
mircea_popescu: works well for the example he gave -- numbers with same digit count.
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.
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.
mircea_popescu: lobbes on the positive side, at least now you know that should that occur, it won't occur in 2019.
mircea_popescu: asciilifeform yeah, give the phone thing a year or two, whynot.
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: meanwhile in other olds, https://thumb-p1.xhcdn.com/a/YfBOpNSfEGCbtgf3vER4rg/000/015/504/831_1000.jpg
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: 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
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
asciilifeform: this concludes the 'state of asciilifeform' broadcast for nao -- plox to lemme know if i missed sumthing.
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: ( 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: there is also a serpent-on-ice40 thing, with similar level of unfinishitude; and a ice40-powered 'FG2', ditto.
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 .
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: and without pizarro, it will be very very cold and dark and we'll be drifting in the unforgiving vacuum of interstellar space.
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: 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)
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: ( 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' ! )
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: 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 )
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: ( 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 )
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: and likewise, you can put as many fz on stack as the stack height given in invocation of ffacalc, but not any moar.
asciilifeform: ( this being for the given bitness, which in pehbot is hard-welded to 256 )
asciilifeform: ^ there we go
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: ( 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
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: 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)
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: 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: 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: wth, most everyone travels, you go visit the surrounding places now and again, takes care of the whole problem for you.
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: you know for a fact hanbot lived there for what, better part of a decade. wtf 800k passport.
asciilifeform: ( otherwise gotta add cost of u-boat.. )
mircea_popescu: most romanians don't have a passport either.
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)
diana_coman: mircea_popescu, that's precisely why I asked for concrete sum because the way I see it...he has it
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
mircea_popescu: it'd pay your rent, and most of the cost of your http://btcbase.org/log/2014-10-15#876029 budget.
asciilifeform: barn-to-money thermodynamic machine
asciilifeform: mircea_popescu: fields plow themselves in ro, or how does that work , lol
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: 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: and yes, in the process find whatever 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: put some meat on the bones of his "check it out, speed!" thing, as a courtesy if nothing else.
diana_coman: well, don't get flattened please, there's already waay more work than active hands as it is
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. )
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: ( 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: ( as well as still needs diana_coman to eat & digest the thing per se )