mircea_popescu: yeah, they keep trying to make girl cocks.
deedbot: http://phuctor.nosuchlabs.com/gpgkey/010442599B6DF274437E6DC7462DC7D077CBF7084EE669E81BC6EAD2B9FADD8E << Recent Phuctorings. - Phuctored: 1408...6277 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown BG)
deedbot: http://phuctor.nosuchlabs.com/gpgkey/010442599B6DF274437E6DC7462DC7D077CBF7084EE669E81BC6EAD2B9FADD8E << Recent Phuctorings. - Phuctored: 1698...3293 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown BG)
asciilifeform: http://www.nugae.com/politics/index.htm << in other very olds.
mircea_popescu: gmornin' alfie.
asciilifeform: ohai mircea_popescu
mircea_popescu: "In its early years the Group produced a few carefully researched papers, which the Conservative Party really had to take notice of because no-one else in the Party gave the impression of doing any thinking at all." << he's talking of the republican party in the 80s, ie, that supposed golden age of reaganism. and he's not right, either.
mircea_popescu: truth be told it's very common for large groups of people to do ~no thinking whatsoever.
asciilifeform: brit
asciilifeform: i thought it was clear from the text..
mircea_popescu: right, right.
mircea_popescu: there's a difference across the atlantic, conservative/republican aren't ~same, so on.
asciilifeform: ( this is still the first-rsa-chip d00d from earlier thread )
mircea_popescu: aha.
asciilifeform: today same
asciilifeform: but '80s also ?
mircea_popescu: tatcher / reagan yes ?
asciilifeform: tru
asciilifeform: ' "Poverty" as defined now (for instance, by the Child Poverty Action Group) would have been called "riches" in many earlier ages. In a similar vein, the child sex abuse industry ensures an ever growing problem and ever growing attention by redefining as sexual abuse things (such as being groped in crowds) that most people would regard as a regrettable but not catastrophic part of childhood, so that its statements about real abuse are
asciilifeform: lulzy.
mircea_popescu: the woman he mentions (corinne camilleri-ferrante) died a few years back. the guardian has an empty, google spam page on her name.
mircea_popescu: this, because she didn't keep a blog, and she didn't because, of course, http://btcbase.org/log/2017-04-29#1649870☝︎
a111: Logged on 2017-04-29 13:29 mircea_popescu: diana_coman yes, and this is exactly my greater point here : competent people don't understand how to defend themselves from the tedx crowd, and don't. they're, basically speaking, dodo birds.
asciilifeform: sorta why when i turn up a live dodo, i post it here.
asciilifeform: normally it is too much to hope for, to keep dodo alive. but can at least stuff him.
asciilifeform: 'If I employ a gardener, I have to earn £3 for every £1 he can actually spend, because everything is taxed twice, first as my income, then as his.' << not only still true in today's reich, but today it'd be 10 : 1 .
mircea_popescu: but since he mentions enoch powell : it can't be underscored enough that "what will happen when much brain power and energy are applied to a faulty premise". compare and contrast the life and times of http://trilema.com/2010/general-sir-charles-james-napier-gcb/ working for the empire with the output and stature of powell.
mircea_popescu: asciilifeform it is verboten, in today's reich, to employ anyone.
mircea_popescu: the state must do all the employing! kulak.
mircea_popescu: if you employ them you might have relations with them outside of facebook (which is assault!!!) and they may be grateful or in any way develop positive feelings for you (which is abuse!!11)
asciilifeform: for physical human to employ, at any rate, yes, quite verboten
mircea_popescu: corruption! AND TERRORISM!
asciilifeform: aaha. ye olde star topology, is the goal. all interactions via Great Inca strictly.
mircea_popescu: http://www.dailymail.co.uk/news/article-3900462/It-says-need-little-sympathetic-racists-world-Row-erupts-Enoch-Powell-s-Rivers-Blood-speech-read-stage-decade-s-provocative-play.html << speaking of same powell
mircea_popescu: http://www.enochpowell.net/fr-79.html << and the original birmingham speech, to rescue it from all the inept blather about "Rivers of blood" and whatnot socialist horde nonsense.
shinohai: !~later tell BingoBoingo http://wotpaste.cascadianhacker.com/pastes/0bWu3/?raw=true
jhvh1: shinohai: The operation succeeded.
shinohai: Buenas dias Sr. Popescu. asciilifeform
mircea_popescu: hola.
mircea_popescu: "I can already hear the chorus of execration. How dare I say such a horrible thing? How dare I stir up trouble and inflame feelings by repeating such a conversation? The answer is that I do not have the right not to do so. Here is a decent, ordinary fellow-Englishman, who in broad daylight in my own town says to me, his Member of Parliament, that this country will not be worth living in for his children. I simply do not have
mircea_popescu: the right to shrug my shoulders and think about something else. What he is saying, thousands and hundreds of thousands are saying and thinking – not throughout Great Britain, perhaps, but in the areas that are already undergoing the total transformation to which there is no parallel in a thousand years of English history." et al.
mircea_popescu: in other words - it's not like there wasn't ample warning. there was. the fucktards of #england failed to act in the proper manner.
asciilifeform: every civilization gets ample warning of death. nobody cancelled death yet.
asciilifeform: the warning does 0.
mircea_popescu: mno. quoth :
mircea_popescu: "That tragic and intractable phenomenon which we watch with horror on the other side of the Atlantic but which there is interwoven with the history and existence of the States itself, is coming upon us here by our own volition and our own neglect. Indeed, it has all but come. In numerical terms, it will be of American proportions long before the end of the century."
mircea_popescu: basically, englidiots permitted their "allies" to airstrip one them.
mircea_popescu: that's the only practical point in all of this. yes england was a piece of shit slated for the garbage heap anyway, sure. but there can not be such a thing as an ally of the us.
asciilifeform: the 'airstripping' was naturally with help from germany.
mircea_popescu: you mean in ww2 ?
asciilifeform: aha
mircea_popescu: amusingly, england would have fared a lot better if it made a humble peace with germany cca 1939, than as it did making a gaudy, and empty, alliance with the only true enemy of humanity, and human liberty.
asciilifeform: didn't work so well for stalin
mircea_popescu: this is true.
mircea_popescu: but then again, zee prussians always had a higher view of englishmen than of russians.
asciilifeform: tru
mircea_popescu: and besides, tiny island of shit, nobody wants and nobody cares.
asciilifeform: however peace treaties between megaempires are a lul.
asciilifeform: britain still nominally owned, e.g., india, then.
mircea_popescu: point being it'd have worked closer to a sort of nepal / taiwan / whatever than to a sort of north korea.
mircea_popescu: asciilifeform yep. and with germany acquiring india the whole lebensraum thing'd have been gone out of anyone's mind.
mircea_popescu: imagine a belgian congo the size of all india! virtually no indians left today, etc.
asciilifeform: germans weren't so much interested in doing the congo thing, tho, initially more into roman-style 'citizen farmer' land parcelling
mircea_popescu: aha. but i was for the sake of argument going to the outer edges of the perhaps unlikely.
asciilifeform: aha. who the hell knows what a grown-up german empire could've been like.
mircea_popescu: nevertheless : a whole population of redskins disappeared over a coupla centuries because, day after day and year after year, each individually made their choice : would i rather work and think, or would i rather die ? and they chose to die, and they died, AND THEY ARE NOT MISSED.
mircea_popescu: sadly the same process was stopped short in congo, and in india, and generally.
asciilifeform: not only stopped, but turns out it has reverse gear
asciilifeform: and can make 'redskins' out of whoever.
mircea_popescu: the overflow of all the "i'm too lazy to work, and i have twittering to do rather than thinking" is certainly in the way.
mircea_popescu: but to quote napier, which is why i even linked him, "So perverse is mankind that every nationality prefers to be misgoverned by its own people than to be well ruled by another."
mircea_popescu: obiously, he had nfi he's discussing his own country.
mircea_popescu: anyway, this is the fundamental limit of "democracy" in ~any sense~. no sort of consultative body, no matter what kind or type, would have ever fallen on the correct solution cca 1939, which was to say to hitler "hey, you seem like a strapping young chap, tell you what, each dog must have his day says our poet. would you like india ?"
mircea_popescu: a richard might have had, perhaps. he certainlt found the ~equivalent in the saxon-norman dispute. but no body of man ever can.
mircea_popescu: it's an argument often found in the hands of the socialist / statist , that single men make mistakes which deliberating bodies might have avoided. this is a ridiculous argument : for every case of that there's ten thousand cases of mistakes them bodies make single men would have readily avoided.
mircea_popescu: anyway, to get back to the history of the dodo bird : enoch did in the 1970 election about what trump did in the 2016 election. except enoch did not get the prime minister job (same dork hath got perpetuated, by the same exact swamp for the same exact sort of reasons).
asciilifeform: meanwhile in monkeystan, https://archive.is/f41QJ
asciilifeform: 'Barrett Brown was re-arrested and taken into custody by Bureau of Prison officials today for speaking to the media.'
asciilifeform: ^ d00d who was nailed as scapegoat for the public rape of stratfor corp
mircea_popescu: o, right, because the criminal gang will tell you what to say.
asciilifeform: schmuck did, after being promised 100 yr (yes) sentence, sign 'plea deal'
mircea_popescu: heh. according to whom, this ? he can't talk to "the media".
asciilifeform: according, apparently, to the inquisitor in charge of subj.
mircea_popescu: if i kidnap your sister and say she's signed marriage contract which is why you can't see her no more, your inference is what exactly ?
asciilifeform: in the reich with seekrit laws (yes), who is surprised by 'secret plea deal' conditions.
mircea_popescu: i can't deem the instrument valid, no matter what the (known terrorists) say.
asciilifeform: see also buharin et al's 'confession' .
mircea_popescu: eh, dude got shipped to paris young slut in tow. utterly asking for it.
asciilifeform: in retrospect ~everybody 'was asking for it'
asciilifeform: always.
mircea_popescu: so this barrett brown, was he sent with... whatever, pick a 20yo slightly slack-jawed beauty to beijing, whence he returned to the us "because he can't live outside of the great satan" ?
mircea_popescu: (incidentally, he was very popular with xiaoping, who was 30 at the time. why was he not in #china ?)
asciilifeform: afaik was sent nowhere.
mircea_popescu: no, no, bukharin got sent to buy the marx archives from the french socialists.
asciilifeform: ah him -- yes
asciilifeform: https://archive.is/Q7wOv << see also re brown
mircea_popescu: with anna what's her name.
asciilifeform: '“The prosecutor said one thing that was accurate—that I don’t have respect for the laws in this country,” he told TIME. “We have a situation in which the only way we can survive as a free nation is if our laws are not enforced.”'
mircea_popescu: lol, sops got butthurt ?
asciilifeform: was condemned for ... posting a link.
mircea_popescu: sounds about right for the usg.
mircea_popescu: to briefly revisit kochanski, "I was subsequently elected to the post of Research Secretary of the Bow Group, which meant that I was the general editor of its published papers from 1989 to 1990. My abiding impression of the foothills of the Conservative Party at the time is of a world where people eyed their friends suspiciously and if they saw signs of possible talent then they knifed them before they became a danger. Perha
mircea_popescu: ps things were always thus; but there is a particular danger when a party has had too much power for too long: its members cannot compete to attack the enemy so they attack each other instead. If future commentators identify a "missing generation" of politicians who were in their twenties during the Thatcher years, this will have been the cause."
mircea_popescu: from the monkeystan link : "Ms. Luz Lujan, his BOP contact, refused to provide him with copies of program statement rules". but ofcoars. and "ms" luz lujan is going to do no time for this, because hey, good soviet.
asciilifeform: noshit.jpg
mircea_popescu: the pretense to be taken seriously is so fucking lulzy by now. i expect next is a shoe banging moment, yes ?
mircea_popescu: ”The U.S. government decided today that because I did such a good job investigating the cyber-industrial complex, they’re now going to send me to investigate the prison-industrial complex,” he said, thanking the government for providing “free food, clothes and housing as I seek to expose wrongdoing by the Bureau of Prisons officials and staff and otherwise report on news and culture in the world’s greatest prison sy
mircea_popescu: stem.”
mircea_popescu: apparently i'm not the last to make this point, huh.
asciilifeform: afaik fella did not go on to write the next 'gulag archipelag', no.
mircea_popescu: he has time. s took 20 years or what.
mircea_popescu: this was 2015.
asciilifeform: the genre isn't exactly fresh, or inexhaustible, either.
mircea_popescu: at any rate -- it is worth pointing out that the original "charges" proferred by the sops terrorist organisation were dropped ; the current "sentence" stems from posturing around a youtube video the guy made discussing said "charges".
mircea_popescu: which is a perverse sort of reminder : taking the usg seriously, IN ANY WAY, is what the usg lives off if.
mircea_popescu: of*
asciilifeform: iirc d00d did something or other while on dope, that was later spun as 'threat to public official'
asciilifeform: ( not everybody is lucky, like adlai et al, and merely gets put in asylum )
mircea_popescu: not somebody is an imbecile, like adlai et al, to actually dose themselves.
asciilifeform: not even certain that this is a 'morality' tale re dope -- there are 'genius' who behave this way even sans dope.
asciilifeform: 'stotting'
mircea_popescu: we'll talk of them when we run into them.
mircea_popescu: in other lulz, le pen has a lengthy list of other-provinces-generals to name in various places once she wins. such roman empire.
mircea_popescu: !~google dupont-aignan
jhvh1: mircea_popescu: Nicolas Dupont - Aignan - Wikipedia: <https://en.wikipedia.org/wiki/Nicolas_Dupont-Aignan>; N. Dupont - Aignan (@ dupontaignan ) | Twitter: <https://twitter.com/dupontaignan%3Flang%3Den>; France election: Marine Le Pen would make Dupont - Aignan PM - BBC: <http://www.bbc.com/news/world-europe-39757887>
mircea_popescu: o check it out, github has a "pricing" tab i never noticed before. $9 per user per month ? really ?
asciilifeform: mircea_popescu: it's how they always worked
asciilifeform: paid hosting thing
asciilifeform: ( the phree hosting is for public material strictly )
mircea_popescu: see, bukharin who idiotically will not go to china to hang out with a 30yo deng xiaoping also pays $9 a month "for his team" to github.
mircea_popescu: it's not just passive stupid. it's organizedly and layeredly stupid
asciilifeform: it's the same story as email hosters etc
mircea_popescu: anyway, i invited steve arnold aka sarnold over ; plox to voice / explain how to register his key if i'm not around.
asciilifeform: whossat
mircea_popescu: graybeard, perhaps not entirely objectionable. ~the iota of value in the whole pile of idiotic kids trying to bypass mp's "talking about bitcoin doesn['t make you part of bitcoin" by hanging out in ##crypto and pretending like they know maffs.
mircea_popescu: https://www.vctlabs.com/ also.
asciilifeform: looks vaguely familiar
asciilifeform: http://12000.org/my_notes/ada/index.htm << linked via subj's www. potentially handy.
mircea_popescu: conceivably he might also explain how to make a gentoo that works, and in the process of trying find out a few things for himself.
asciilifeform: that'd be something.
asciilifeform: !~later tell phf if you are still working on the puzzle : it is my current understanding that no clean detection of multiply-overflow (when operands and result are all N-bit registers of same N-arity) is possible...
jhvh1: asciilifeform: The operation succeeded.
asciilifeform: ^ if anyone thinks otherwise, please write in!
asciilifeform: seems like the only guaranteed solutions are either to trial-divide every time (eat 2x the space and 2x the time!) or to keep around 'behind the scenes' 2x the nominal register, so as to have where to overflow into, and then test it for zero (2x the space, and 2x the time ! just like the other 'solution')
asciilifeform: somewhat surprisingly , nothing else works.
mircea_popescu: ahem ? if the product of the leading q bits isn't equal to the leading q bits of the result, you have overflow.
asciilifeform: mircea_popescu: expand
mircea_popescu: 85 * 97 overflew if the result is not led by a 7.
asciilifeform: there's no 7 in 8245...
mircea_popescu: 1100001×1010101 = 10000000110101 nevertheless.
asciilifeform: i'm thick, explain which op would demonstrate the overflow here.
mircea_popescu: i thought this was the reason computers EVEN USE binary in the first place.
asciilifeform: the leading N bits will not be same as product of leading whichevers. because carry.
mircea_popescu: asciilifeform isn't it the case that if the result was 0-led you'd know the product had overflown ?
asciilifeform: nope.
mircea_popescu: 1x * 1y will never result in a 0y no matter what happens!
asciilifeform: 1xx * 0 = 0 .
mircea_popescu: to put it another way, two N-bit items muliplied so they yield a M bit result, where M < N, overflowed the buffer.
asciilifeform: mircea_popescu: this only works for addition.
mircea_popescu: hey, you said same N-arity!
asciilifeform: 0 is 0000...000 for our case.
asciilifeform: same arity.
mircea_popescu: tsk.
mircea_popescu: then we refine :
asciilifeform: i thought it was clear that thread is about fixed-register arithmetics.
mircea_popescu: if two numbers of lengths l1 and l2, with l1 and l2 < N are multiplied, and the result is less than l1+l2 bits long, then it has overflown.
mircea_popescu: the l of "000000" is 0 for this purpose.
asciilifeform: the result is always N bits long, fixed N. what we want to know is whether it actually represents x1*x2.
asciilifeform: or we lost the high bits.
mircea_popescu: if l1 of x1 added to the l2 of x2 exceeds N then it doesn't represent x1 * x2
asciilifeform: mircea_popescu's statement is true but doesn't help, because we do not have an elastic register to represent the arity of the mult result.
asciilifeform: we instead have fixed one.
mircea_popescu: we could count...
asciilifeform: nope.
asciilifeform: because again, fixed register.
mircea_popescu: you can't tell me how many leading zeros x1 has ?
asciilifeform: can. and l2.
mircea_popescu: so then. if these two added together are less than N you've lost some high bits.
asciilifeform: less than N, or less than leadingzeros(N) ?
mircea_popescu: for convenience, consider 16 bit registers : 8245×8 = 65960 which overflows. you know this because 0010000000110101 x 0000000000001000 ie 2 + 12 = 14 which is < 16.
deedbot: http://phuctor.nosuchlabs.com/gpgkey/53C6B99375383B7B79B64399F7B2E611F9C2E5ED90FA79C25279DF1C348297B1 << Recent Phuctorings. - Phuctored: 1545...6329 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown IT 25 MI)
deedbot: http://phuctor.nosuchlabs.com/gpgkey/53C6B99375383B7B79B64399F7B2E611F9C2E5ED90FA79C25279DF1C348297B1 << Recent Phuctorings. - Phuctored: 1657...5419 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown IT 25 MI)
mircea_popescu: meanwhile 255 * 255 does not overflow ; you know this because 8 + 8 is not < 16.
asciilifeform: mircea_popescu: let's, for simplicity, take 3bit regs :
asciilifeform: 101 * 010 = 001010 (we end up with 010 )
asciilifeform: the leading zeros of x1, x2, and result, are 0, 1, 1 respectively.
mircea_popescu: we also notice that 0 +1 = 1 which being < 3 we lost bits.
mircea_popescu: 3 being N, arity.
asciilifeform: hmm i see where mircea_popescu is going
asciilifeform: this is still pretty expensive op tho.
asciilifeform: to do on every mul.
mircea_popescu: well... that may be, but you asked.
mircea_popescu: anyway, as i said : i thought ~this~ is why computers even use binary in the first place.
pete_dushenski: shinohai: there ain't no happening like an unhappening. just priceless.
mircea_popescu: shinohai during ITS first review.
asciilifeform: 111 * 001 = 111 ( 0, 2, 0 leading 0s ) no overflow...
asciilifeform: this test only works in one direction
asciilifeform: rather than 'iff'
mircea_popescu: asciilifeform you will have to consider the parity of the two items to decide if you go by N or N-1.
asciilifeform: mircea_popescu: wouldja spare a few min and plox write down algo ?
asciilifeform: takes, say, 2 3bit nums, and tells if mul will overflow.
mircea_popescu: alrighty, this is turning out to be more interesting than i thought.
asciilifeform: http://wotpaste.cascadianhacker.com/pastes/4jCKm/?raw=true << a mult table, for convenience .
asciilifeform: http://wotpaste.cascadianhacker.com/pastes/T5NY9/?raw=true << same, for 2bit.
asciilifeform: ( http://wotpaste.cascadianhacker.com/pastes/RjlFl/?raw=true << same, for 4. in case handy. )
asciilifeform bbl.
mats: https://i.imgur.com/ozC5uTx.jpg 10/10 troll
pete_dushenski: "Oxford University has apologised for saying that avoiding eye contact could be "everyday racism" after it was accused of discriminating against autistic people." << in other british sads that i can only wish were trolls.
mircea_popescu: hey, the whole point of even buying tickets at the Decaying Empires show is to watch special interest groupas gfoing at each other.
mircea_popescu: asciilifeform http://wotpaste.cascadianhacker.com/pastes/eBqC2/?raw=true << best i got
mircea_popescu: mats i'm pleased to see trilema moved teh overton window so.
pete_dushenski: lol speaking of special interests going at each other, "She’s the Alternative for Germany’s new co-frontrunner despite a great divergence from the party’s typically conservative, xenophobic portrait. Alice Weidel, an openly gay economist, was nominated as the anti-immigrant, far-right party’s chief candidate on Sunday, set to run alongside AfD co-founder Alexander Gauland in September’s federal
pete_dushenski: elections."
asciilifeform: mircea_popescu: 'l1 + l2 < N - 1, the product of a and b will always overflow N.' << didja mean > rather than < ?
asciilifeform: or hm
asciilifeform: 'If l1 + l2 > N-1, the product of a and b can never overflow N.' is true. 'If l1 + l2 < N - 1, the product of a and b will always overflow N.' is also true.
asciilifeform: however this takes us only in 1 direction.
asciilifeform: take, e.g., these 4-bit cases:
asciilifeform: 0011 ( 2 ) * 0110 ( 1 ) = 00010010 = 0001 : 0010 ( 3 )
asciilifeform: 0011 ( 2 ) * 0111 ( 1 ) = 00010101 = 0001 : 0101 ( 3 )
asciilifeform: ( parens have leading zeros count, for convenience )
asciilifeform: these 2 cases overflow, but the fact does not trivially flow from mircea_popescu's equation, you do not know that they will do so by counting the leading 0s
asciilifeform: now let's do mircea_popescu's third statement:
asciilifeform: 'If l1 + l2 = N-1 let a' be equal to a with its leading 1 set to 0, let b' be equal to b with its leading 1 set to 0, let N' = N - 1 and apply the same algorithm.' << the problem with this is that it reduces to actually DOING THE MULT
asciilifeform: so in the end we have nodice.
asciilifeform: and incidentally the given formulation doesn't work, take the first case, 0011*0110 . it turns into 001*010 = 010. the result (N-1 = 3) has 1 leading zero. no overflow. apply recurse again, we get 00*00 -- definitely no overflow, and no moar leading 1s to flip...
asciilifeform: http://ieeexplore.ieee.org/document/863038 << paywalled. anybody got a copy ?
asciilifeform: 'This paper presents efficient methods for performing unsigned or two's complement integer multiplication with overflow detection or saturation. ' supposedly.
asciilifeform: apparently this is a bona fide unsolved problem.
asciilifeform: however i've also not turned up a rigorous proof that it is unsolvable. which is bothersome imho.
asciilifeform: let's formalize the problem statement. N is integer, N>1 . x, y are int, 0 <= x < 2^N; 0 <= y < 2^N. determine an f, such that f(x,y) is true iff x*y >= 2^2N ; such that complexity of f is less than that of * operation.
asciilifeform: for my purposes i could entirely do with a constant-time-and-space mult algo that knows when to set the overflow flag.
asciilifeform: keep in mind that 'double the available register width' IS NOT A SOLUTION !!
asciilifeform: ( it is how the problem is 'solved' on all known hardware ALUs )
asciilifeform: i'll review, for the l0gz, the 'ancient egyptian' mult algo, which is the simplest practical, and illustrative of the difficulty of determining overflow ~while doing the mult~ in fixed space.
asciilifeform: you take multiplicands x, y, and accumulator a (initially 0) , and do : while y!=0: { if odd(y): { a += x } ; x <= x*2; y <= y/2 } .
asciilifeform: so for concrete case, 0011 * 0110 :
asciilifeform: 0011 , 0110 (do nothing)
asciilifeform: 0110 , 0011 (a += 0110)
asciilifeform: 1100 , 0001 (a += 1100)
asciilifeform: 1000 , 0000 (do nothing, and we stop.)
asciilifeform: in this case, detecting overflow simply during the addition stage, works : 0110 + 1100 sets the carry , because result is 10010.
asciilifeform: but in other cases, you cannot do this:
asciilifeform: say, 1000 * 0010 . ( i won't clutter the log with the steps, will leave as exercise. )
asciilifeform: hmmm
asciilifeform: one algo suggests itself :
asciilifeform: when the left shifter ( x ) overflows for the first time, we set a bit, q, and clear another, r. r is set whenever right-shifter (y) overflows. now : if r is set again subsequently to q being set -- it means we overflow.
asciilifeform: this here seems like the finalsolution, folx.
asciilifeform: now all that remains is to prove...
asciilifeform bbl.
ben_vulpes: http://btcbase.org/log/2017-04-29#1649816 << i do not; good q. i'll find out.☝︎
a111: Logged on 2017-04-29 05:56 mircea_popescu: ben_vulpes whart's the difference between auto_ptr and unique_ptr, dja know ?
diana_coman: asciilifeform, a search for that thing turned out what seems to be the MSc thesis behind it if that's any help
diana_coman: actually I found the paper too meanwhile, ping me
mircea_popescu: asciilifeform the only practical use may be that it's perhaps cheaper to count l's to exclude unoverflowing mults and then appl ythe double reg mult to the remainder, than to apply the double reg mult uniformly throughout.
asciilifeform: mircea_popescu: see thread - i solved the general case. maybe oughta demand master degree nao, lol.
mircea_popescu: double carry ? this sounds eerily familiar in retrospect.
mircea_popescu: ben_vulpes at least theoretically auto_ptr was the standard replacement for unique_ptr, with the difference that it can also be copied, not just moved. so in point of fact plain replacement of one for the other is bound to cause grief.
mircea_popescu: (i said them backwards. auto is the old one.)
mircea_popescu: https://herbsutter.com/2013/05/29/gotw-89-solution-smart-pointers/ << story.
mircea_popescu: ("fixing errors you didn't know you had" in his sendoff is of course very welcome for SVtards / webshit and utter poison for stuff like bitcoin)
mod6: mircea_popescu, asciilifeform, et. al: Third FG, first run of entropy collection & testing of `ent` && `dieharder` complete: http://www.mod6.net/fg/fg-test/fg3.ent_run1.txt http://www.mod6.net/fg/fg-test/fg3.dieharder_run1.txt
asciilifeform: neato mod6
asciilifeform: and diana_coman holy SHIT is that method 1001x moar complicated than mine.
asciilifeform: now, granted, it's about parallel multers
asciilifeform: but even so.
asciilifeform: mircea_popescu: 'smart pointers' lol. familiar to cpp users. imho this type of 'automation' helps no one.
deedbot: http://qntra.net/2017/04/post-production-to-ransom-to-torrent-pipeline-growing/ << Qntra - Post Production To Ransom To Torrent Pipeline Growing
shinohai: ty BingoBoingo
BingoBoingo: ty shinohai
shinohai: lol I haven't browsed reddit in so long I didn't realize there is a whole new subreddit dedicated to mETH fraud: https://www.reddit.com/r/ethereumfraud/
asciilifeform: !~later tell phf http://wotpaste.cascadianhacker.com/pastes/DqmQw/?raw=true
jhvh1: asciilifeform: The operation succeeded.
asciilifeform: ^ draft. still needs proof-of-workage.
asciilifeform: mircea_popescu ^ runs in SAME space, and same order of complexity , as the old routine...
mircea_popescu: nice.
mircea_popescu: asciilifeform write a blog post ; then reference it from code commetns.
asciilifeform: mircea_popescu: i gotta come up with proper proof...
asciilifeform: ( as for code -- in the end it mist be entirely self-contained. and provably correct. it's a backbone for, e.g., 'tmsr rsa', 'p', eventually gossipd, etc. )
asciilifeform: *must be
asciilifeform: 'reactor-grade'. i.e. no doubt whatsoever must remain re whether it works as intended.
mircea_popescu: so make blog post.
asciilifeform: whole thing will be , eventually, proper article on my www.
asciilifeform: ( code + commentary, genesis. )
mircea_popescu: aite.
mircea_popescu: what whole thing ?
asciilifeform: P.
mircea_popescu: holy shit you're stuborn.
mircea_popescu: make blog post re the above.
asciilifeform: incidentally it annoys asciilifeform that ada ( or for that matter any other procedural lang) offers no way to unroll the loops
asciilifeform: if loops were unrolled, you could have not merely a non-branchingonsecrets rsatron, but wholly nonbranching !
mircea_popescu: asm allows.
asciilifeform: only if you admit self-modifying code.
mircea_popescu: there is that.
asciilifeform: ( won't run from rom ! )
asciilifeform: also irritating is the fact that, while we have constant-time routines, it is impossible to guarantee constant-current (yes)
asciilifeform: and so conceivably side channel remains ( not only current per se, but how does cpu current consumption affect clock jitter? betcha it does. and afaik 0 public discussion of this, exists. )
mircea_popescu: can't not, can it now.
asciilifeform: btw i'm still waiting to meet an explanation re how 'blinding' (e.g., koch's) supposed countermeasure to timing attack, is supposed to help.
asciilifeform: enemy can just as readily observe your 'blind' and 'deblind' exponentiations, as your original unblinded one...
asciilifeform: and now you've given him 3x the 'broadcast', neh
mircea_popescu: to quote "the high standard or mathematical discussion" folk, http://trilema.com/2017/how-i-found-some-area-of-expertise-in-mathematical-cryptography-one-expects-to-find-here-and-there-plus-divers-spots-missed-while-shaving/#selection-705.0-666.26
asciilifeform: lol
mircea_popescu: aha.
asciilifeform: https://www.riscure.com/archive/rsacc_ctrsa_final.pdf << re earlier ( unfortunately no demunged version available )