log☇︎
49800+ entries in 0.038s
asciilifeform: iirc we ~did~ have a thread where 'why didn't they make a chronometer that can be stuffed up arse, for constant temp' tho.
asciilifeform: mircea_popescu: if you were looking for a 'k vs r -strategy' illustration, this is prolly the worst possible 1. i'dve used , e.g., 'columbus send 3 $maxint boats but vikings did same with 9000 dragonheads costing ~epsilon ea.' or sumthing like it.
asciilifeform: ( unless it did so during the 1st r - 1 . )
asciilifeform: mircea_popescu: to reformulate: need proof that the working reg will never equal 1 or n - 1 ~after~ r - 1 shots.
mircea_popescu: induction, neh ? if it cycles k times how's it to stop cycling.
a111: Logged on 2019-01-26 18:16 asciilifeform: speaking of 'where to stop', diana_coman i still dunhave a Troo proof that after r - 1 shots, the squaring loop really does always cycle; so unless i find one, i'ma have to put in a mux there.
feedbot: http://trilema.com/2019/the-three-watches/ << Trilema -- The three watches
mircea_popescu: lmao. you know, many have tried, none have yet succeeded in guessing as much as a title, as much as a sentence, afore i publish my brew.
asciilifeform: mircea_popescu: dun fughet to link to prikoke, also, asciilifeform still wont cry, promise.
a111: Logged on 2018-08-14 20:45 asciilifeform: btw the orig folktale included mega-line 'and many did the stove crush as it went'
asciilifeform: re fishes -- ru folklore notably contains ~2~ wish-granting fish stories : 1, the internationally familiar one, where old fishwife keeps ramping up the wishitude until she overflows the register and gets fucked; and ~other~, where young lad knows how to use the fish, and gets half of kingdom , via http://btcbase.org/log/2018-08-14#1841561 process ☝︎
asciilifeform: speaking of 'where to stop', diana_coman i still dunhave a Troo proof that after r - 1 shots, the squaring loop really does always cycle; so unless i find one, i'ma have to put in a mux there. ☟︎
asciilifeform: ( e.g. don't ask the golden fish to 'explain turbulence!' )
asciilifeform read the magick pike fish tale as a kid, and therefore knows where to stop!111
asciilifeform: and hey, asciilifeform is not even the worst horse in that gluefactory, the 1000 btc or whatever it was i calculated then, is still coupla orders of magnitude smaller than that d00d we had who 'couldn't do' until he had orbiting station with solar sail or what was it ( kanzure ? )
mircea_popescu: ah, not in the slightest.
asciilifeform: mircea_popescu: can't seem to dredge it up in O(1). feel free to cite the summary tho, if writing a piece to laff at asciilifeform , who is big boy and wont cry
mircea_popescu: that's exactly what i'm thinking of.
a111: 2019-01-23 <Mocky> being chucked into the air?
asciilifeform: mircea_popescu: you might be thinking of old flamefest ( possibly with diana_coman & mircea_popescu ) where asciilifeform was asked 'why dontcha quit yer dayjob' and asciilifeform answered 'would consider it, if , like the 2 of you, had enuff coin to permanently leave slave market , with x% engineering margin' or sumthing of the kind
asciilifeform: i dun mean 'bust open guts trying to move it', but 'when somebody gets wind that you have it'
mircea_popescu: fifteen galons to the ton, not so bad.
feedbot: http://qntra.net/2019/01/weekend-roundup-trump-gives-nancy-3-weeks-neocon-war-boner-building/ << Qntra -- Weekend Roundup: Trump Gives Nancy 3 Weeks, Neocon War Boner Building
a111: Logged on 2017-02-19 03:54 asciilifeform: (iirc we had a thread where i described how corporate ameritards, if given a problem like phuctor, would happily soak up a few $mil and megawatt of iron)
mircea_popescu: believe it or not you figure by way of illustration in latest trilema opus.
asciilifeform: mircea_popescu: prolly there's >1 !111 got specific thrd in mind ?
mircea_popescu: anyone have a ready link to asciilifeform 's celebrated "in order for me to do anything else i'd have to have three trillion dollars in gold brick first" ?
shinohai: Everyone knows this is the true way to solder: http://btcinfo.sdf.org/uploads/solderingiron.jpg
asciilifeform: ( and even with the apparently-inescapable '80s pcb layout mistakes -- there's a few blue 'bodge wire' in there )
asciilifeform: shinohai: they were pretty ordinary '80s wave-solder
shinohai: I rather enjoyed that post, btw. The soldering on that board is just beautiful.
asciilifeform: bitmaps are a 'necessary evil' if yer displaying spread chix, or mandelbrots, or http://www.loper-os.org/?p=2913 -isms, etc; but for text you really wanna have text.
a111: Logged on 2019-01-25 20:04 asciilifeform so far even avoided bitmapped maffs, in the vein of e.g. http://btcbase.org/log/2019-01-20#1888458
shinohai: (The color is leftover from vanilla install anyways, I usually strip this from .bashrc for daily use)
asciilifeform: can use same styling as you did for the curls etc
asciilifeform: imho it really aint important that the shell colours etc be preserved
shinohai: nb ... One thing lacking on blog is still proper css codeblock.
asciilifeform: shinohai: 1 other thing -- screenshits of shell are pretty hard to read (on e.g. asciilifeform's display), i recommend to use same textblock as you use elsewhere ( e.g. where 'list of dependencies' ) rather than screenshit
shinohai: ( Currently, ave1 's website gives me "Your PHP installation appears to be missing the MySQL extension which is required by WordPress.")
shinohai: Is next on agendas, to try ave1's.
asciilifeform: rather than adacorpse's
asciilifeform: shinohai: i dun have any nitpicks , other than to note that the canonical gnat is ave1's
asciilifeform already ended up having to do this 1ce, for barrettism
asciilifeform: diana_coman et al : i'ma rewrite my proofism from beginning, to see if i committed any other atrocity.
shinohai: xpost for trb-ists: http://btcinfo.sdf.org/blog/trb-keccak-regrind-test-results-and-notes.html
asciilifeform: ( in re this subthread, example proggy posted 2d ago was afaik correct )
asciilifeform: mircea_popescu: asciilifeform elementarily made rubbish on the chalkboard, redoing whole thing nao.
mircea_popescu: asciilifeform it's only a witness for EVEN composites tho ?
asciilifeform: i ought not to do these before breakfast.
asciilifeform: while it boils : btw log readers can ignore the earlier arithm, it is entirely off ( asciilifeform computed r * 2^s = n instead of r * 2^s = n - 1 ... )
asciilifeform: ok, i'ma go an' set the kettle, bbl.
diana_coman: ugh; asciilifeform honestly, please walk through my working
asciilifeform: to redo the earlier munged example: bin(12) == 1100. s = 2. r = 3. (n - 1)^r mod n == (12 - 1)^3 mod 12 == 11^3 mod 12 == 11, i.e. n - 1. witness.
diana_coman: no hurry; if I have a mistake in there I certainly want to know
asciilifeform still waking up, will have tea and ~then~ come back to item
asciilifeform goes to walk the thing again
diana_coman: unless I have a mistake in there
diana_coman: that is my proof that always y= n-1 for a= n-1
a111: Logged on 2019-01-26 08:58 diana_coman: http://btcbase.org/log/2019-01-25#1889973 -> didn't rummage as too late yest but woke up this morning with this: when a= n-1 step 2.2 aka y=a^r mod n becomes y= (n-1)^r mod n; using for instance binomial expansion you have (n-1)^r = n^r + rC1*n^(r-1)*(-1)+rC2*n^(r-2)*(-1)^2+....+rC(r-1)*n*(-1)^(r-1)+(-1)^r; since the whole thing was "mod n", of all those terms you are in fact left with only the last one, aka y = (-1)^r mod n ; r is odd so
diana_coman: o.o "such that r is odd"
asciilifeform: diana_coman: bin(12) == 1100 . then r = 2. then, (n - 1)^r mod n == 11^2 mod 12 == 1. 12 is pronounced composite.
diana_coman: asciilifeform, ? mind working me through that? I might be thick here
asciilifeform: it's a perfectly 'kosher' witness for a very large chunk of the number line.
asciilifeform: diana_coman: you can trivially see that it correctly judges e.g. 12 to be composite.
asciilifeform goes to chalkboard , brb
diana_coman: hm; it always says "prime" though by definition so I'm not sure *what* information is missed when you exclude it
asciilifeform: so why to exclude it ?
asciilifeform: diana_coman: correct. in implementations where a is forced to <= n - 2, n - 1 is excluded
asciilifeform: it makes sense to exclude a=0 and a=1, they give no useful information. but a = n - 1 gives.
diana_coman: it is a leggit witness, yes; do you mean that it's not counted as it should be?
asciilifeform: diana_coman: 'nothing to do' is because it's a legit witness! algo returns 'prime'. ( and in non-constanttime incarnations, this is the ideal, shortcut case in fact )
asciilifeform: http://www.loper-os.org/pub/vanstone-mr.jpg << for folx following the thread, context
asciilifeform: diana_coman: this dun make sense to me;
feedbot: http://thetarpit.org/posts/y05/081-feedbot-manual.html << The Tar Pit -- Feedbot manual
diana_coman: that's (-1) mod n so y= n-1 and then there's nothing to do at step 2.3
a111: Logged on 2019-01-25 19:49 asciilifeform: diana_coman: plox to post if you turn it up.
diana_coman: http://btcbase.org/log/2019-01-25#1889973 -> didn't rummage as too late yest but woke up this morning with this: when a= n-1 step 2.2 aka y=a^r mod n becomes y= (n-1)^r mod n; using for instance binomial expansion you have (n-1)^r = n^r + rC1*n^(r-1)*(-1)+rC2*n^(r-2)*(-1)^2+....+rC(r-1)*n*(-1)^(r-1)+(-1)^r; since the whole thing was "mod n", of all those terms you are in fact left with only the last one, aka y = (-1)^r mod n ; r is odd so ☝︎☟︎
BingoBoingo: We live in times when la calle Libertad crosses Obligado y Trabajo but las calles Julio Caesar and Marco Bruto never touch
BingoBoingo: Maduro thrives on low level bureacracy. I doubt anyone is taking Nancy seriously after she proposed the same sum Trump wanted, but for robodogs.
BingoBoingo: Right, the only exultant mouths are Buzzfat reporters getting laid off, to be included in a weekend roundup of Pantsuit trips and falls
mircea_popescu: in bernie bernbaum's tems, "what have you done for me lately", and ESPECIALLY "how likely do you look to be able to do much".
mircea_popescu: BingoBoingo reading through this crap i see what you mean ; not exactly exultant pantsuit on the receiving end of trump's mercy. seems rather most of the low level bureaucracy will vote trump next, notwithstanding it owes so much to a lengthy clintonism.
BingoBoingo: For all the years Castros have held Cuba, Cuba like the rest of the island caribeans lacks an answer to the Areps
BingoBoingo has read many "trump surrendered" gut reaction pieces which all neglected time value. What are 3 weeks out of 104 weeks.
BingoBoingo: Culturally Vzla is Batista's Cuba with a culinary norm higher than ham sandwiches
BingoBoingo: <asciilifeform> lol what die. i dunget the whiners, either, what sorta office inmate wouldn't kill for month of vacation ( even unpaid ) << Maduro's Venezuela has some pretty sweet beaches now forbidden to USG.blue according to intel.
BingoBoingo: 3 weeks of food means he can run to November 2020 selling how reasonable he was
asciilifeform: lol what die. i dunget the whiners, either, what sorta office inmate wouldn't kill for month of vacation ( even unpaid )
BingoBoingo: Too many weeks of hunger they die. Gotta toss some carbs occasionally to sustain the suffering.
asciilifeform: i dunget why not tease with another +3wks of hunger
BingoBoingo: I read Trump seeing that blame in this dispute is still not sufficiently laid upon Nancy's failure to engage Trump. For that reason Trump is teasing Nancy with 3 weeks to engage or hang herself.
BingoBoingo: Trump gives Pantsuit voters paychecks through 2-15-2019, after that they deliver his wall or he declares and emergency and heads roll to be impaled on artistically designed steel border slats
a111: Logged on 2019-01-25 19:47 BingoBoingo: In other news, it looks like Trump agrees with OMB on the furlough thing per http://qntra.net/2019/01/trump-cancels-pantsuit-vacation-party/ Agreeing to turn the government back on for 3 weeks and then declaring emergency
mircea_popescu: how's that work ?
BingoBoingo: I read less of a cave, more let them choke on cake
asciilifeform: re the shitdown.
asciilifeform: re 'orange man', apparently caved today
mircea_popescu: absolutely 0 sense, why the fuck would "openrelay ddoser" follow 301s
asciilifeform: could be. openrelay ddoser would at least make some sorta sense tho. vs. this.
mircea_popescu: while the ramen stores last, at least.