log☇︎
158200+ entries in 0.101s
asciilifeform: except in 2x the bitness.
asciilifeform: now this isn't even all. how the fuck do you intend to calculate the reciprocal WITHOUT DOING THE SAME DIVISION I'M DOING NOW
asciilifeform: this is intentional and isn't going to change.
asciilifeform: this is why it was so tricky to implement karatsuba.
asciilifeform: other thing, apeloyee , is that if ffa does NOT operate on mixed bitnesses. i.e. if your operands are B bits, and you introduced an intermediate of some kind that is 2B bitness, now ALL of your computations with that must be 2B wide (incl. comparisons, nullity checks.)
asciilifeform: and prove that it works.
asciilifeform: understand, the program may NOT include 'if' or any equivalent.
asciilifeform: apeloyee: for instance, how do you propose to carry out the corrector/verifier without using conditionals ?
asciilifeform: several things.
asciilifeform: probably the only actual optimization possible.
asciilifeform: ( instead of the constantspacetimeized knuth division currently in there )
asciilifeform: trinque: currently my angle is, to try and make constantspacetime recursive divide&conquer division
asciilifeform: anyway i think that sums it up, apeloyee
asciilifeform: ( modulus and both multiplicands have same bit width, and if you read the rest of ffa as has been posted here, you will know that NO such thing as normalization ever takes place, or will ever take place, all operands are assumed to be N-bit )
asciilifeform: this means that yes it has to work on , e.g., even moduli. or moduli that are substantially larger, or smaller, than either or both of the multiplicands.
asciilifeform: likewise it also demands that there be NO table lookups
asciilifeform: i.e. 0 * 0 mod 0 must result in the execution of exactly the same sequence of cpu cycles, as maxwidthint * maxwidthint mod maxwidthint .
asciilifeform: apeloyee: anything that beats multiply-then-divide is an improvement, so long as it meets the basic demands ( constant time, constant space, NO branches that depend on input bits, no use of approximations, no massively heavy - 100 loc is a good approx max - code ) ☟︎
apeloyee: would O(N^2) modular multiplication be too slow?
BingoBoingo: Note that they leave off the old Sunday program from their www
BingoBoingo: shinohai: Well, for the real deal on tht you have to go to the ever trendy open air "produce market" http://soulardmarketstl.com/
trinque: such racism, to assume that sally hemings couldn't possibly have *liked* jefferson. ☟︎
asciilifeform: 'They covered the statue of the university’s founder, and signs reading “racist” and “rapist” were placed on it.'
asciilifeform: BingoBoingo: https://archive.is/xFSpv << '...statue of Thomas Jefferson in black Tuesday night during a rally criticizing the university’s response to recent white nationalist demonstrations...' etc lulz >> qntra fodder ?
asciilifeform: http://btcbase.org/log/2017-09-13#1713468 << i'm still waiting for the brezhnev-yeltsin state-of-the-art to come back -- guard with tranquilizer gun, 'oh she felt unwell' ☝︎☟︎
a111: Logged on 2017-09-13 09:43 phf: i think tmsr keyboard should be made with traditional fortepiano technology, ebony keys with ivory letter inlays, maple casing, etc.
asciilifeform: http://btcbase.org/log/2017-09-13#1713470 << ~organ~ tech, phf, organ. 88 keyz ain't a comp kbd. ☝︎
asciilifeform: 'how to propose' 'how to delay or hasten menses' ... 'exercises for bigger tits' 'how to please a man' ...
deedbot: http://phuctor.nosuchlabs.com/gpgkey/BF3562F1A4B6C4581EC3633162E02492667D4C66178258073D7E3AE232DD0D3C << Recent Phuctorings. - Phuctored: 1374...8923 divides RSA Moduli belonging to '79.174.64.63 (ssh-rsa key from 79.174.64.63 (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (2377.ovz-ssd6.hc.ru. RU)
deedbot: http://phuctor.nosuchlabs.com/gpgkey/BF3562F1A4B6C4581EC3633162E02492667D4C66178258073D7E3AE232DD0D3C << Recent Phuctorings. - Phuctored: 1706...5337 divides RSA Moduli belonging to '79.174.64.63 (ssh-rsa key from 79.174.64.63 (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (2377.ovz-ssd6.hc.ru. RU)
asciilifeform: 'The TrueDepth camera analyzes more than 50 different muscle movements to mirror your expressions in 12 Animoji. Reveal your inner panda, pig, or robot.'
asciilifeform: lol, just when i thought that crapple might have hit retardation rockbottom...
asciilifeform: 'Your face is now your password. Face ID is a secure new way to unlock, authenticate, and pay.'
phf: i think tmsr keyboard should be made with traditional fortepiano technology, ebony keys with ivory letter inlays, maple casing, etc. ☟︎
BingoBoingo: ^ In other "Think of the Children!"
jhvh1: danielpbarron: The operation succeeded.
danielpbarron: !~later tell shinohai http://wotpaste.cascadianhacker.com/pastes/P604b/?raw=true
BingoBoingo: AHA, until late 1990's that was US gameshow maximum prize! Then inflation ☟︎
asciilifeform: ( max prize was, typically, ~car )
BingoBoingo: <mircea_popescu> superficially it seems like omfg lotta money ; but not so bad. people can afford to make eg icecube trays that retail for 3 bux ie cost a quarter each. how many of those sell ? 10k if you're lucky. << /me read as "lotto money"
BingoBoingo: * asciilifeform goes 'wtf, THIS crackpottery of mine - you lot find interesting, but the stubborn boojum that keeps 'p' from happening, not interesting somehow ' << Everyone has strong opinions on materials
BingoBoingo: <mircea_popescu> run of the mill pantsuit idiocy, but then suddenly "Es que en Rumanía todos se llaman Mircea Popescu. ¿Sabes?" << LOLOLOLOL
asciilifeform: but i specifically refuse'em because NOT ORTHOGONAL, they don't belong as part of a general-purpose numbertheoretical minimal 'crypto lego set'.
asciilifeform: incidentally in case it weren't obvious, much bloatier rsatrons than the one contemplated in ffa, fit in asciilifeform's head -- e.g. montgomery mult, barrett, various war crimes in that vein
asciilifeform: ( unless and until i were to hammer it into MY head such that it wholly fits )
asciilifeform: and moreover i can never be convinced that they ain't lying TO ME
asciilifeform: it does not fit in my head, and i am not convinced that the folx who claim that it fits into theirs, ain't lying
asciilifeform: incidentally this is why i oppose ellipticcurveism
asciilifeform: nuffin in there is any moar weighty than long division.
asciilifeform: but my aim is to write an rsa such that, yes, no one can be considered numerate if it does not fit in his head.
asciilifeform: arguably the jury's still out on what constitutes 'every literate man's head' capacity
asciilifeform: this is actually the situation with, e.g., fft mult
mircea_popescu: which fits in SOME heads, liek galois' in 1800s or the fermat thing recently.
asciilifeform: which incidentally i am ready and willing to produce for every single piece of ffa to date.
mircea_popescu: so then if joe claims the "Streamlined" rsa fits in his head, what do you do ?
asciilifeform: no such thing is contemplated
asciilifeform: a tub of liquishit -- fits in none.
asciilifeform: a proper fits-in-head item fits in the literate man's head.
asciilifeform: generally this is not an actual problem, 'but what of different heads'
asciilifeform: i can state with confidence that kochiana fits in NO head
asciilifeform: the essential point is that the two are NOT SAME mechanisms
asciilifeform: though it may in majority of observed cases produce 'correct answer' to the naked eye
asciilifeform: i'd like it not to be lost upstack, so will restate ftr : a 'optimized' rsa that no longer fits in head and is no longer demonstrably-correct , ( and worse yet, no longer operates branch-free ) is NOT RSA and is simply a turd being fraudulently passed off as the genuine article
mircea_popescu: well now that all depends.
asciilifeform: though may seem that way to fuzzy thinkers
mircea_popescu: (ftr, what teh lordship usually catcalls as your "Goalpost sliding" is really your most carnal aspect. you sound JUST like a woman when you do it.)
mircea_popescu: and then a rule is added to the set.
mircea_popescu: usually takes the form of !Whine that's not fair!
asciilifeform: ( where do they draw the line ? why not rocket engine ? )
asciilifeform: mircea_popescu: the race is a fuzzy thing to begin with, if the cars can be arbitrarily altered
mircea_popescu: asciilifeform so how do you redefine "winning the race" ? have the drivers recite the engine parts afterwards, disqualify all errors ?
asciilifeform: the process is 'must fit in head'. for so long as item fits in head, it is demonstrably solving the stated problem ( which, unsurprisingly, must also fit in head as a statement )
mircea_popescu: i know i was. ie, it was not directly evident to me that mining as originally designed has this weakness.
mircea_popescu: point being, until and unless the process is thoroughly and well understood, we'll keep being blindsided by "mining is a bug" bugs.
asciilifeform: except that : it is no longer the SAME IT
mircea_popescu: technically you're right -- the change fgrom satoshi's prototype mining to today's item comes exactly from "young cocks" trying to get laid.
mircea_popescu: take the inconvenientmost example, of bitcoin mining.
asciilifeform: comes from young cocks who want to 'make their mark', most typically
mircea_popescu: sounds a lot like "your house is fine mr p, for as long as you hold on to this here bearing beam"
mircea_popescu: BUT!!! restarted the complexification process.
mircea_popescu: then injection came about, and they scrapped the old designs
asciilifeform: this is the typical complexitycollapse, happened to, e.g., ibm pc
mircea_popescu: notwithstanding EVERYONE there had the practical, earn equivalent of 5 phds in mech eng.
asciilifeform: and result, whatever else it may be, is not sane. in that it no longer ~demonstrably~ behaves as specified.
mircea_popescu: so much so that ONLY DRIVER could fix own car.
mircea_popescu: but the process is interestring, they kept adding shit to the old engine to "make it better". which it did, at the cost of becoming unmaintainable.
asciilifeform: and answer is that obviously idjits will take ANYTHING you make, sane rsa, sane kalash, whatever, and Bolt Shit To The Side
mircea_popescu: asciilifeform engine work the interesting part, but sure.
mircea_popescu: ok, quick summary : tech pre-injectors was carburators. engines "optimized for racing" got slowly more complex over time. then injection became feasible, and they simplified. now they've recomplexified again. ☟︎
asciilifeform: the folx who took stock cars, and tore out seats, floor, etc ?
mircea_popescu: the sort of culture of the 70s/80s of which "need for speed" franchise is a sad bastardization in the ustardian hot topic sense ?
mircea_popescu: btw, you have any exposure to the racing cars social millieu ?
asciilifeform: it's every bit the fastest when sat on proper iron.
mircea_popescu: that's always the trade-off, clarity for specificity.
mircea_popescu: your sane solution won't be the fastest.
asciilifeform: you solve this by making the sane solution, actually usable.
mircea_popescu: i dunno how many people you will have to shoot to keep them from taking your general-purpose p-based rsa and writing a narrower, "works for rsa only" faster program.
asciilifeform: propping is how you get walls that dun stay up 5sec when unpropped.
mircea_popescu: "badly built house walls fall because people let them ; and when the "stop" letting them by starting propping them up, they stop falling"
mircea_popescu: the point re why the fuck does everything have to degrate stupidly is what's complicated about this.