log☇︎
73700+ entries in 0.059s
asciilifeform: the eggs
asciilifeform: i thought those were late 19th c tech tho
asciilifeform had nfi
asciilifeform: lol!
asciilifeform: into woodworking or what was it.
asciilifeform: at least had the sense to mostly withdraw from public life
asciilifeform: worked a-ok for him
asciilifeform: j was by some accounts an introverted d00d, did not much get along with chix, after his wife died decided to solve problem 'the sexbot way'
asciilifeform: mircea_popescu: not only fucked jefferson, but slept in his bed, did his paperwork.
asciilifeform: and visible even to my untrained eye.
asciilifeform: aha
asciilifeform: mircea_popescu: whole thing is more or less the customary english clickfarm, but with order of magnitude less pantsuit (e.g. instead of clitler pieces, 'magnify yer tits' etc )
asciilifeform: but whoknows
asciilifeform: i've yet to meet anybody who disassembles engine just for the hell of it
asciilifeform: at one time i thought 'hm would be nifty to get an ural' but then noticed that d00d has the pistons laid out on a towel in his front yard, more often that i ever hear or see the machine actually go
asciilifeform: ftr ural sidewheel is driven also ( more or less exact copy )
asciilifeform: probably same in mircea_popesculandia
asciilifeform: mircea_popescu: there were some zundapps still on the road when asciilifeform was a boy, in orcistan
asciilifeform: BingoBoingo: where i live one still sees these ~exclusively in the warm months, driven by hobbyists -- rather than commuters who can't afford petrol for a 4cyl
asciilifeform: imported from ru.
asciilifeform: i have a neighbour who has, i shit thee not, a 'ural'
asciilifeform: aha with sidecar
asciilifeform: when usa physical reality finally converges to the economic reality, i'd expect revival of the motorcycle. but for some reason not happened yet
asciilifeform: jagdtiger
asciilifeform: pagin BingoBoingo ... what do they do ? ( 'tesla' ?! )
asciilifeform: ( as seen in the wv idiocy )
asciilifeform: and 'what kind of auto is sold' is eminently, unabashedly controlled by usg gosplan
asciilifeform: long ago
asciilifeform: or bush-era 'hummer' would still be sold.
asciilifeform: evidently lizard gosplan doesn't expect infinite continuation of this
asciilifeform: that last one only worx in era of infinite cheap petrol
asciilifeform: but buyer gets the 4ring binder he is given, not the 77-ring he dreamed of.
asciilifeform: from buyer's pov it'd be a 'for' yes
asciilifeform: the one with 'and then they decided, the roads will not be maintained'
asciilifeform: iirc mircea_popescu had an article re why stopped
asciilifeform: !!v 4E12C2B974FD1B07418EF6117A72E7D4A631876859A009A4756568B2B246F511
asciilifeform: !!rate apeloyee 1 barrett reductionist
asciilifeform: apeloyee: consider registering with deedbot, you can voice then.
asciilifeform: !!up apeloyee
asciilifeform: apeloyee: out of curiosity, who might you be ? log lurker ?
asciilifeform: ohai mircea_popescu
asciilifeform: this is why barrett is only used in the field when the modulus stays constant.
asciilifeform: currently it seems to me that the reciprocal step ~alone~ will cost more than my knuthdivision residue finder in its entirety.
asciilifeform: and it doesn't afaik exist anywhere to crib.
asciilifeform: ideallly. i don't have a fixedtime reciprocal finder. ☟︎
asciilifeform: ( put in wotpaste.cascadianhacker.com or elsewhere )
asciilifeform: apeloyee: if you want to write out the full algo, i'll read
asciilifeform: no i get it
asciilifeform: and none may result in any deviation from fixed spacetime ( so no 'use barrett if we can, use montgomery if we can...' etc. NO IFs. )
asciilifeform: ( n will not be 0, but aside from this all possible bitstrings are legal. )
asciilifeform: ffa modular mult MUST produce correct answer for ALL possible inputs a,b,n.
asciilifeform: so this really makes the question of whether barrett could, in principle, be made in constant spacetime, academic.
asciilifeform: this is not compatible with my demand of a fully general modular mult op.
asciilifeform: and incidentally barrett , as iirc i mentioned in yesterday's thread, requires that a*b < n^2.
asciilifeform: for the rest of the barrett algo.
asciilifeform: if you made the double-wide reciprocal ( i will leave aside the question of how to do this in provable constant time and provable correctness ) you're stuck using that width.
asciilifeform: the only reason we are able to avoid this in karatsubamulter, is that the 2B is ~never~ treated as one number except on output, it is dealt with in parts
asciilifeform: is it not getting through that once you introduce a 2B-bit item, you are working in ffa of 2B bitness ?
asciilifeform: ( which costs 4x as much. and then all the garbage that follows .)
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: !!up apeloyee
asciilifeform: this is intentional and isn't going to change.
asciilifeform: no ffa basic op will accept operands of unequal bitnesses.
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: so how many mux ops would you give for barrett ?
asciilifeform: so it's one mux
asciilifeform: knuth division 'restorer' fires either once or not at all
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: lol
asciilifeform: wat
asciilifeform: ( i can already hear mircea_popescu going 'hahah, mod 0' )
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: and no special requirements for operands ( e.g. montgomery or barrett reduction are out. )
asciilifeform: and no precomputations.
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 ) ☟︎
asciilifeform: !!up apeloyee
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' ☝︎☟︎
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' ...
asciilifeform: ^ http://ulady.ru << exactly what it looks like ☟︎
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.'
asciilifeform: ( max prize was, typically, ~car )
asciilifeform: sov lotto
asciilifeform: lol!