log☇︎
21500+ entries in 0.218s
a111: Logged on 2017-10-07 23:50 mircea_popescu: http://btcbase.org/log/2017-10-07#1722405 << this may actually be a better check than any miller-rabin, and at any rate a good complement. gcd with primorial.
asciilifeform: http://btcbase.org/log/2017-10-07#1722415 << if you have a comp the size of jupiter, you could ~maybe~ have such a thing as a 128bit primorial. ☝︎
a111: Logged on 2017-10-07 22:44 phf: http://btcbase.org/log/2017-10-07#1722374 << >> http://btcbase.org/log/2017-10-07#1722376 << this seems contradictory, because the python thing posted is not closed form
asciilifeform: http://btcbase.org/log/2017-10-07#1722411 << 1 ) ffa is closed form. i.e. it CAN be written as a number of nand gates, with a 'funnel' at the top, to which you present a,b,c, e.g. 4096bit, numbers, and at the bottom in a little cup you get a^b mod c , and with NO UPWARDS FEEDBACK FLOW of information , i.e. answer comes after same interval of time always, and with strictly downwards signals. ☝︎☟︎☟︎
a111: Logged on 2017-10-07 22:39 phf: http://btcbase.org/log/2017-10-07#1722379 << this is probably true but only because ffa mutates an array of bigits, where's any language level bignum system produces a whole new one for each operation
asciilifeform: http://btcbase.org/log/2017-10-07#1722408 << you might consider reading the code ? it has all been posted. ☝︎
asciilifeform: http://btcbase.org/log/2017-10-07#1722405 << in no case can the 'cheap initial primality test' primorial exceed the size of current ffa width. thinkaboutit. ☝︎
a111: Logged on 2017-10-07 21:48 apeloyee: http://btcbase.org/log/2017-10-05#1721485 << alternatively, can *construct* numbers which don't have very small factors. pick a nonzero remainder mod 2, mod 3, ... mod largest-prime-fit-in-your-primorial and find what number of primorial is congruent to it using chinese remainder theorem
asciilifeform: http://btcbase.org/log/2017-10-07#1722402 << this is a fundamentally wrong way to generate cryptographic primes. we had a thread about it, http://btcbase.org/log/2017-08-14#1697562 ☝︎☝︎☟︎
a111: Logged on 2017-10-07 21:28 apeloyee: http://btcbase.org/log/2017-10-05#1721485 << i thought bernstein's "how to find smooth parts of integers" suggests a remainder tree, not gcd?
asciilifeform: http://btcbase.org/log/2017-10-07#1722400 << bernstein's gcd method is neither here nor there, i certainly don't need anything of the kind in ffa, and quite likely it fundamentally does not ffaize ☝︎
asciilifeform: http://btcbase.org/log/2017-10-07#1722397 << i don't see anything that only wants ~lower~ half... whatcha talking about ☝︎
a111: Logged on 2017-10-07 21:14 apeloyee: http://btcbase.org/log/2017-10-07#1722289 << and the point of doing karatsuba is? you do 2 recursive calls to Mul_Karatsuba_TopOnly and one to Mul_Karatsuba. should've simply calculated upper_part(XLo*YHi), upper_part(YLo*XHi) and XHi*YHi
asciilifeform: http://btcbase.org/log/2017-10-07#1722395 << compute and then what ? gotta multiply ☝︎
asciilifeform: http://btcbase.org/log/2017-10-07#1722394 << this looks very , very painful to prove correctness of. i'ma come back to it. ☝︎
mircea_popescu: http://btcbase.org/log/2017-10-07#1722405 << this may actually be a better check than any miller-rabin, and at any rate a good complement. gcd with primorial. ☝︎☟︎☟︎
a111: Logged on 2017-10-07 19:28 asciilifeform: http://btcbase.org/log/2017-10-07#1722358 << point was exactly to compare like items. i.e. heathendom does NOT get to 'win' by 'oh hey the hamming weight of exponent is only 2, not 4096, so we only do 4 modexps and not 8192'
a111: Logged on 2017-10-07 19:26 asciilifeform: http://btcbase.org/log/2017-10-07#1722372 << in fact we have closed form.
phf: http://btcbase.org/log/2017-10-07#1722374 << >> http://btcbase.org/log/2017-10-07#1722376 << this seems contradictory, because the python thing posted is not closed form ☝︎☝︎☟︎
phf: http://btcbase.org/log/2017-10-07#1722379 << this is probably true but only because ffa mutates an array of bigits, where's any language level bignum system produces a whole new one for each operation ☝︎☟︎
apeloyee: http://btcbase.org/log/2017-10-05#1721485 << alternatively, can *construct* numbers which don't have very small factors. pick a nonzero remainder mod 2, mod 3, ... mod largest-prime-fit-in-your-primorial and find what number of primorial is congruent to it using chinese remainder theorem ☝︎☟︎☟︎☟︎☟︎☟︎
apeloyee: http://btcbase.org/log/2017-10-05#1721485 << i thought bernstein's "how to find smooth parts of integers" suggests a remainder tree, not gcd? ☝︎☟︎☟︎
a111: Logged on 2017-10-07 15:17 asciilifeform: in other puzzlers, http://wotpaste.cascadianhacker.com/pastes/6l4uH/?raw=true << mod6 et al
apeloyee: http://btcbase.org/log/2017-10-07#1722289 << and the point of doing karatsuba is? you do 2 recursive calls to Mul_Karatsuba_TopOnly and one to Mul_Karatsuba. should've simply calculated upper_part(XLo*YHi), upper_part(YLo*XHi) and XHi*YHi ☝︎☟︎☟︎
a111: Logged on 2017-10-07 19:28 asciilifeform: http://btcbase.org/log/2017-10-07#1722358 << point was exactly to compare like items. i.e. heathendom does NOT get to 'win' by 'oh hey the hamming weight of exponent is only 2, not 4096, so we only do 4 modexps and not 8192'
asciilifeform: http://btcbase.org/log/2017-10-07#1722376 << modmuls, not exps ☝︎
asciilifeform: http://btcbase.org/log/2017-10-07#1722358 << point was exactly to compare like items. i.e. heathendom does NOT get to 'win' by 'oh hey the hamming weight of exponent is only 2, not 4096, so we only do 4 modexps and not 8192' ☝︎☟︎☟︎☟︎
asciilifeform: http://btcbase.org/log/2017-10-07#1722372 << in fact we have closed form. ☝︎☟︎
shinohai: http://archive.is/iDKq8 <<< Damned Gypsies!
mod6: <+asciilifeform> out of curiosity, how long the py item takes on mod6's box ? << was just saving... lemme give it a try here. want me to try it on the i5/8gb box ?
asciilifeform: mod6: http://wotpaste.cascadianhacker.com/pastes/H4UGn/?raw=true << for comparison, py script computing same arithm problem
asciilifeform: mod6: http://wotpaste.cascadianhacker.com/pastes/0k78K/?raw=true << example from asciilifeform's torture room, of what his test looks like
mod6: <+asciilifeform> in other puzzlers, http://wotpaste.cascadianhacker.com/pastes/6l4uH/?raw=true << mod6 et al << /me looks
deedbot: http://trilema.com/2017/friday-night-or-las-moiras-revisited/ << Trilema - Friday night, or Las Moiras revisited.
asciilifeform: http://wotpaste.cascadianhacker.com/pastes/TgRkm/?raw=true << ordinary karatsuba, for convenient comparison.
asciilifeform: in other puzzlers, http://wotpaste.cascadianhacker.com/pastes/6l4uH/?raw=true << mod6 et al ☟︎
shinohai: http://archive.is/4Jc5B <<< Imagine the Furher parents must have felt .....
diana_coman: http://btcbase.org/log/2017-10-07#1722059 <- yes, I got that as part of my previous log combing on this ☝︎
mod6: while b /= 0: r <-- a mod b, a <-- b, b <-- r. return (a).
mod6: http://btcbase.org/log/2017-10-05#1721500 << crc handbook (2.104 & 2.105) says O((lg n)^2) bit ops. ☝︎
asciilifeform: http://btcbase.org/log/2017-10-07#1722231 << this is how asciilifeform's parents, in their 70s, walk. ☝︎
asciilifeform: http://btcbase.org/log/2017-10-07#1722233 << what's yer altitude, mircea_popescu ? because i can't picture why else ☝︎
asciilifeform: http://btcbase.org/log/2016-01-07#1362079 << see also ☝︎
mircea_popescu: http://www.anatomicgel.com.br/br/marca.html/ <<< i suppose it could be theoretically called handmade, pushing a point.
asciilifeform: https://archive.is/aul77 << d00d recently died, apparently
asciilifeform: 'bitcoin transaction... on coinbase' << lol!
asciilifeform: http://btcbase.org/log/2017-10-06#1722033 << lemme know mod6 if there's any part that dun immediately make sense. FZ_Make_Barrettoid looks complicated but really is identical to the optimized knuth divider, with the difference that the dividend consists of all 1s and known ahead of time, so we don't shift it ☝︎
deedbot: http://trilema.com/2017/eulora-boardroom-leaks/ << Trilema - Eulora boardroom leaks
mircea_popescu: asciilifeform http://trilema.com/2017/eulora-boardroom-leaks/ << there.
shinohai: http://exnet.narod.ru/USA/medals/Army-Comm-Award-Civ-Serv.jpg <<< For service above and beyond the call of newfaggotry, we award you this triforce.
a111: Logged on 2017-10-02 19:30 asciilifeform: trinque: http://wotpaste.cascadianhacker.com/pastes/lHtia/?raw=true << unofficial ffa.ads ; http://wotpaste.cascadianhacker.com/pastes/MqgKb/?raw=true << ffa.adb
mod6: <+asciilifeform> mod6: this is the most brutal possible method that can still be called barrett : didn't even make use yet of the fact that we only want the upper halves of the mul results << spent the afternoon looking through your changes posted today vs. http://btcbase.org/log/2017-10-02#1719721 ☝︎
mircea_popescu: http://btcbase.org/log/2017-10-06#1721985 << nah, on the current prototype, variable-reuse otps. ☝︎
mircea_popescu: "In case you did, i hope this will be a lesson to you. Stop trading obscure tokens/coins!" << if THIS is "the lesson", then one wonders wtf is supposed to be the "ethereum value proposition" ?
shinohai: http://archive.is/TZKW1 <<< in notbtc lulz
asciilifeform: http://wotpaste.cascadianhacker.com/pastes/LHHTp/?raw=true << mod6 , mircea_popescu, et al .
BingoBoingo: <asciilifeform> poorly porous to us, but theoretically even moar so to pantsuit << Appeal of jungle is non-interference in white man's affairs. Downside is shifting past marketing speak to discover "1GBP/s unmetered (30Mb/s international)" ☟︎
mircea_popescu: <mp> pai am si ramas. adica : cind bate vint au problema cablurile, cind is nori incarcati are problema radio si cind is densi are problema satelitye uplink. intre cele trei m-o tot chitait doua zile de am cedat nervos si m-am dus sa ma culc ieri
mircea_popescu: eh, fuck the works. lemme quote from minigame boardroom : <dc> aia, am crezut ca na, ai ramas si fara net de la vanturi alea
BingoBoingo: <mircea_popescu> iirc BingoBoingo was pounding the arabs/sw azns. << For some definitions of pounding, perhaps other definitions later
ben_vulpes: http://btcbase.org/log/2017-10-06#1721789 << gears grinding. i don't know anyone in beijing, but i've got a line on some folks in chengdu for translation services and building lists of eg datacenters ☝︎
mircea_popescu: http://trilema.com/2014/five-bucks-for-great-justice/ << example.
mircea_popescu: http://btcbase.org/log/2017-10-06#1721786 << this, fwiw, isn't even the giveaway it used to be. i personally supervised the release of piles upon piles of posters in us university campuses, for a very modicum costs. people off fiver just print what you give them, and put it up. nothing keeps you from having them print something decent, and with the abundance of "kids who fucked around with adobe illustrator instead of doing t ☝︎
jhvh1: asciilifeform: phf was last seen in #trilema 2 days, 21 hours, 4 minutes, and 30 seconds ago: <phf> asciilifeform: that i figured out, the whole contraption reminds me of that ru anti-temper device pdf that you posted recently
mircea_popescu: http://www.nacion.com/sucesos/desastres/deslizamiento-Miramar-puntarenense-Montes-Oro_LNCIMA20171005_0090_1.jpg << in other chocolate bites.
deedbot: http://trilema.com/2017/no-such-labs-snsa-september-2017-statement/ << Trilema - No Such lAbs (S.NSA), September 2017 Statement
lobbes: http://btcbase.org/log/2017-10-05#1721301 << My bot's not following spec either. I'll be tinkering with it this weekend anyway so I'll add this to my list of tinkerings ☝︎
a111: Logged on 2017-10-06 14:25 mircea_popescu: "Although ISIS have repeatedly attempted to claim credit for the shooting, saying Paddock had recently converted to Islam, both his brother and authorities have dismissed the claims. He had 'no religious affiliation, no political affiliation,' Eric said, adding: 'He just hung out.'" << good soviet!
asciilifeform: http://btcbase.org/log/2017-10-06#1721660 << in ru sphere 'принял ислам' often is used in meaning 'darwined himself' ☝︎
mircea_popescu: "Although ISIS have repeatedly attempted to claim credit for the shooting, saying Paddock had recently converted to Islam, both his brother and authorities have dismissed the claims. He had 'no religious affiliation, no political affiliation,' Eric said, adding: 'He just hung out.'" << good soviet! ☟︎
asciilifeform: ./v.pl p v trb54 makefiles.vpatch <<< is the answer
asciilifeform: http://btcbase.org/log/2017-10-06#1721644 << what is 'vanilla trb' ? ☝︎
asciilifeform: !~later tell Framedragger http://btcbase.org/log/2017-10-06#1721628 << >> http://btcbase.org/log/2017-10-05#1721130 ☝︎☝︎
mircea_popescu: http://btcbase.org/log/2017-10-06#1721620 << o hey. ☝︎
Framedragger: http://btcbase.org/log/2017-10-05#1721301 << fwiw `/msg scriba help sexpr` (and json) works, but iirc cuts off line, so need to fix the cutoff. and obvs fix all the other by now accumulated stuff. ☝︎
Framedragger: http://btcbase.org/log/2017-10-05#1721122 << trinque is correct, partly what happened. got busy, did not announce. ☝︎
mircea_popescu: https://img.buzzfeed.com/buzzfeed-static/static/imagebuzz/web04/2011/3/14/22/obama-fist-bumps-a-white-house-custodian-29908-1300156824-111.jpg << "and in this historical shoot, historical hussein bahamas engages in mate dance specific to his tribe with wild american-custodian provided by the event organizers."
a111: Logged on 2017-10-06 02:53 BingoBoingo: In other 12 hour sagas "The remains of a possible fetus were discovered by a custodian Wednesday in the bathroom of Wirth-Parks Middle School in Cahokia. The coroner arrived at the scene shortly after 8:30 p.m. and carried a small, covered box into the school." << "‘Fetal remains’ found in school bathroom actually a used feminine hygiene pad"
mircea_popescu: http://btcbase.org/log/2017-10-06#1721603 << i guess it's good the "custodian" paid close attention. ☝︎
mircea_popescu: http://btcbase.org/log/2017-10-06#1721597 << that url read "weak shit" to my first pass parser. ☝︎
BingoBoingo: In other 12 hour sagas "The remains of a possible fetus were discovered by a custodian Wednesday in the bathroom of Wirth-Parks Middle School in Cahokia. The coroner arrived at the scene shortly after 8:30 p.m. and carried a small, covered box into the school." << "‘Fetal remains’ found in school bathroom actually a used feminine hygiene pad" ☟︎
a111: Logged on 2017-10-06 00:38 mircea_popescu: http://btcbase.org/log/2017-10-05#1721529 << ahahaha what is this bs, some other nobility elliot ?
BingoBoingo: http://btcbase.org/log/2017-10-06#1721569 << random response to whiny barangs ☝︎
BingoBoingo: <mircea_popescu> ran a fake miner farm scam fore a while in iirc 2013 << Perhaps something that early but mostly 2014 thing. Complete collapse happened between Xmas and New Years
BingoBoingo: <mircea_popescu> asciilifeform pretty sure that's BingoBoingo o no wait, was it cazalla's good friend ? << He was the cheif jizz mopper cazalla and self cut teeth on
deedbot: http://trilema.com/2017/nateeee/ << Trilema - Nateeee
mircea_popescu: http://btcbase.org/log/2017-10-05#1721529 << ahahaha what is this bs, some other nobility elliot ? ☝︎☟︎
a111: Logged on 2017-10-05 19:50 apeloyee: on what planet gcd(a,b)<>gcd(b,a).
mircea_popescu: http://btcbase.org/log/2017-10-05#1721519 << ahaha ☝︎
mircea_popescu: http://btcbase.org/log/2017-10-05#1721450 << lol. ☝︎
asciilifeform: !~later tell mircea_popescu http://wotpaste.cascadianhacker.com/pastes/93H3s/?raw=true << possibly lulzy: garza convicted
apeloyee: on what planet gcd(a,b)<>gcd(b,a). ☟︎
asciilifeform: what happens if a <= b ??
apeloyee: now let's try generalizing to standard barrett (the error will grow to 2 of course). let L be number of digits in N: 2^(L-1) <= N < L. L is calc'd with the CLZ algorithm
deedbot: asciilifeform updated rating of apeloyee from 1 to 2 << A - N*floor(A*R/4^K) < 2*N
asciilifeform: !!rate apeloyee 2 A - N*floor(A*R/4^K) < 2*N
apeloyee: A <4^K, so the above strictly >(A*4^K)/N - A.
apeloyee: let rewind. A*R = A*(4^K - B)/N = (A*4^K)/N - A*B/N; as B <= N, then the previous >= (A*4^K)/N - A. clear?
apeloyee: A - N*floor(A*R/4^K) < 2*N <- do you agree with this? (the proof is unnecessarily complicated in that paste)
apeloyee: 4^K = R*N + B, 0 <= B <= N (line seven). pseudo-remainder.