log☇︎
1000+ entries in 0.141s
diana_coman: http://btcbase.org/log/2019-02-07#1893544 -> adding to this, on (re)^n -read of docs I doubt there's any benefit in having a controlled type in there; essentially the main thread will *wait* for all tasks spawned by the SJM to finish from what I understand; so then aborting them in a Finalize makes precisely 0 sense and instead I should probably make it a plain array and offer users of the package a non-synchronised procedure to abort them ☝︎
BingoBoingo: ^ Auction take 2
trinque: sorry about that ^
BingoBoingo: ^ Just under 21 hours left to bid in the Pizarro fiat buying auction
mircea_popescu: a. BingoBoingo wouldja mind billing me for a month of ^ and send hanbot teh credentials.
asciilifeform: it's a concretization. dun have to be 'fix xyz', could be e.g. 'find how to grow working ic inside a metre^3 box' or any 1 of 9000 unsolveds.
asciilifeform: ^ there we go
asciilifeform: ^ starting pt.
asciilifeform: verisimilitude ^
a111: Logged on 2019-01-29 17:34 asciilifeform: comments ( grep -P '^\s*--' ) turn out to be 1835 ln in libffa and 390 in ffacalc.
asciilifeform: ^ see also.
mircea_popescu: asciilifeform do you want topless thai princess enough to go through ^ ?
mircea_popescu: in other news, mp's own bash grenadiers regiment suggests an ad interim solution for http://btcbase.org/log/2019-02-02#1891951 in the shape of ls | grep ^x..$' | while read line; do curl -Ls -o /dev/null -w %{url_effective} -X POST -F "pastebox=@$line" http://p.bvulpes.com -w %{url_effective}; done ☝︎☟︎
asciilifeform: ^ there are registers, and exactly 20 of'em, cuz that's how many lowercase letters there are that aint a-f.
asciilifeform: ^ equiv.
BingoBoingo: ^ lobbes can you do that?
asciilifeform: ^ see also.
asciilifeform: ^ see also
asciilifeform: ^ was a log item.
asciilifeform: ^ see also.
asciilifeform: comments ( grep -P '^\s*--' ) turn out to be 1835 ln in libffa and 390 in ffacalc. ☟︎
mod6: I think something like `grep -v "^$"` will give you all the non-empty lines from a file.
asciilifeform: ^ from http://btcbase.org/log/2019-01-27#1890343, where gmp still manages to die on it ☝︎
asciilifeform: ^ 343413 is smallest composite for which 2 and 3 are liars
asciilifeform: ^ pehbot updated
asciilifeform: diana_coman, mircea_popescu , et al ^
BingoBoingo: ^ Breaking, bolder than normal world "policing"
BingoBoingo: ^ Small supporting lul, Vzla opposition folks are reporting ~700 protester arrests over the weekend which is about an order of magnitude under the numbers Macron was was detaining when the Yellow Jacket thing was new
asciilifeform: ^ mircea_popescu , diana_coman , possibly other aficionados ^
asciilifeform: ^ corrected in re diana_coman thread; and no longer relies on the squaring limit conjecture mentioned earlier.
asciilifeform: answ^3.
asciilifeform: answr't^2.
asciilifeform: ave1: ^ ?
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: 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.
asciilifeform: diana_coman: r = 3 indeed. (n - 1)^r mod n == 11^3 mod 12 == 11 == 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
asciilifeform: diana_coman: bin(12) == 1100 . then r = 2. then, (n - 1)^r mod n == 11^2 mod 12 == 1. 12 is pronounced composite.
asciilifeform: diana_coman: it does ~not~ 'always return prime'. only returns prime if (n - 1)^r mod n is 1 or n - 1.
asciilifeform: i.e. case where a^r mod n = 1 or n - 1 .
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 ☝︎☟︎
asciilifeform: mircea_popescu: luser on 1 of the big monopoly isps in usa; runs the stock router, which contains a nobu^H^H^Hfree-for-all openrelay
asciilifeform: sad great^3grandson of composer ?
asciilifeform: ^ ftr, the added cost of the piecewise-defined (correct for all possible inputs of N and Witness) , vs. yesterday's 'naked' variant, is <0.001s (on std test iron.)
BingoBoingo: ^ For the same mouth different messages out of each side files
BingoBoingo: ^ This is getting follow up later
mircea_popescu: specifically because density is uniform, if you ~only~ check say 64 bit numbers as witnesses (ie, nothing smaller than 2^63) there's a set of composites < certain limit that'll pass ; whereas if you only check 1-63 bit numbers (so the same ~number~ of numbers) there's a set of composites that'll pass, but they're LARGER than the same limit.
hanbot: ^ smells better already
asciilifeform: ^ it -- worx, and as described above, with the diff that it requires pointerism to be enabled.
asciilifeform: mircea_popescu: 16bit ( barring various 'banking' trickeries ) addresses 2^16 == 64k.
BingoBoingo: ^ Rela-TIT
asciilifeform: ^ see also
asciilifeform: in e.g. pravd^H^H^Hwapo, 'times', etc, will find malapropisms on front pg, and outright line noise on nth pg
asciilifeform: 'locality' effect is actually why e.g. comba wins over ordinary 'kindergarten' o(n^2) mult
mircea_popescu: i suppose you might say "it shouldn't be x2, my expectation would be it's x2^1/2", but w/e.
BingoBoingo: ^ Yes I raised the alarm. Efforts to convince me to lower it are welcome. If you are outside my L1 you need to offer a stake and odds for your petition to be considered.
asciilifeform: ^ see also
mircea_popescu: ^
asciilifeform: ^ see also re subj.
BingoBoingo: ^ For the Pantsuit eating their own, get out of the way files
BingoBoingo: <asciilifeform> lol 30 m^2 << Smaller
asciilifeform: lol 30 m^2
asciilifeform: ^ prolly why
asciilifeform: this reminds asciilifeform of that 1 time he went to 'dealership' ( the takata recall, phree new grenad^H^H^Hbags ) . they bring what looks like bill. a : 'waitasec, 10k?! whole bucket not worth 5' monkey:'SUGGESTED repairs'
asciilifeform: ^
mircea_popescu: ^ same EXACT algo.
asciilifeform: ^ this is addressed to all uy1 people, i will not list'em explicitly, they know who they are ^
asciilifeform: BingoBoingo ^
asciilifeform: in other noose, 6hrs of reactor^H^H^Huy1 gauge , and 0 anomalies
asciilifeform: ^ spoiler: gmp uses prng for witness gen
asciilifeform: iirc there's a sequence that nails all composites < 2^64 . so could be handy for primorial generators ( vs. eratosthenes etc ) .
trinque: and since the "fair price" is going to be "what we need" ^ aha
a111: Logged on 2018-12-12 19:41 BingoBoingo: ^ Any awk ninjas want to try this on a few forums?
a111: Logged on 2019-01-11 17:48 asciilifeform: ( re 'how many witnesses', see diana_coman's article, it reviews the necessary maffs, i.e. P(yer prime aint a prime and you die) == (1/4)^n, where n is # of witness )
diana_coman: ^ for answering the previous confusion in http://btcbase.org/log/2019-01-11#1886337 ☝︎
a111: Logged on 2019-01-11 17:48 asciilifeform: ( re 'how many witnesses', see diana_coman's article, it reviews the necessary maffs, i.e. P(yer prime aint a prime and you die) == (1/4)^n, where n is # of witness )
asciilifeform: http://btcbase.org/log/2019-01-11#1886376 << grr, oughta be 1/(4^n) ☝︎
asciilifeform: ( re 'how many witnesses', see diana_coman's article, it reviews the necessary maffs, i.e. P(yer prime aint a prime and you die) == (1/4)^n, where n is # of witness ) ☟︎☟︎
asciilifeform: ^ mircea_popescu , diana_coman , et al ^
BingoBoingo: ^ Turns out Germany's solution to gutting their Army is taking France's
asciilifeform: mircea_popescu diana_coman et al ^
diana_coman: mircea_popescu, quite; I read it as "tripping over oneself in desperation to signalsignalsignal agreement^n"
BingoBoingo: ^ From the place that brought the world "monkey baiting"
mircea_popescu: trinque ^
asciilifeform: ^ see also
asciilifeform: ^ phf, amberglint, possibly other 'junkyard wars' folx ^
asciilifeform: gcd(x, primorial) gotta use same instructions when x = 0, 1, ... as when it equals 2^ffawidth - 1 .
asciilifeform: ( and then shifting out the 2^k )
asciilifeform: i suspect that it's possible to cure it by adding 2^k-multiples of the small Q instead of Q itself, tho
asciilifeform: ^ there we go
a111: Logged on 2018-12-12 19:41 BingoBoingo: ^ Any awk ninjas want to try this on a few forums?
asciilifeform: ^ difficult to do in e.g. python, without 5-6lines of crud.
asciilifeform: euclid's subtractor in 2^B, and therefore runs in geological time for bignums
mircea_popescu: think about it, if it converged in more than 2^B turns, then you'd have a B bit number contain B+k bits of information.
mircea_popescu: can not converge in more than 2^B turns.
BingoBoingo: ^ Attn bidders, Pizarro fiat Auction for January is live.
asciilifeform: phf , amberglint, et al ^
asciilifeform: ( i.e. sequence where only ADD, SUB, MUL, SHR/SHL, MOV, all the way from head to toe , a,b,c in, a^b mod c comes out )
a111: Logged on 2017-10-08 00:20 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.
asciilifeform: ^ newyear present for mircea_popescu & diana_coman