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