asciilifeform: mircea_popescu: sounds like the german is pretty neat machine. and iirc mircea_popescu said he bought it for only ~lispmachine's worth, even
asciilifeform: ( in usa, similar but only when thing is sold )
asciilifeform: mircea_popescu: what period toyota ? cuz if it's 2010s with debug port, then noshit it'll generate 'long list of requisites' erry time gets plugged in
asciilifeform wonders what, specifically, eats cars in mircea_popescustan. gotta be the mud, the humidity, cuz it aint salt ( where snows -- salt )
asciilifeform: mircea_popescu: 1 obv concrete diff, i run mine on asphalt..
asciilifeform: ( or eat less than its entire orig price tag in parts , possible >1ce )
asciilifeform: mircea_popescu: i thought 'possession is 9/10th of the law'(tm) lol
asciilifeform: ematician. But I always get the right answers, you see."'
asciilifeform: '"Yes, I know," said the little technician earnestly, "but I start by saying seven times three because that's the way it works. Now seven times three is twenty-one." "And how do you know that?" asked the congressman. "I just remember it. It's always twenty-one on the computer. I've checked it any number of times." "That doesn't mean it always will be, though, does it?" said the congressman. "Maybe not," stammered Aub. "I'm not a math
asciilifeform: was a period crackpottery, in ameri-ed
asciilifeform: mircea_popescu: afaik lehrer was laffing at the notion that 'new notation will cure all'
asciilifeform: i.e. all electrically-permitted inputs map onto a permitted 2 .. n - 1 , and those who fit into the range to begin with, map directly ( others map via modular reduction )
asciilifeform: before thread exhausts its fuel, asciilifeform would like to hear whether mircea_popescu has actionable 'nah do it like ~so~' for m-r, or only the 'memento mori'
asciilifeform: ( also ougta add, that if extended riemann is troo , then the supposition that 'for erry finite set of witnesses, can produce a p for which they all lie' is not , and the rng component of m-r would then be redherring )
asciilifeform: i.e. '"That dial hasn't moved yet, has it?" Edwardson asked, over the clamor of the Detector alarm bell. "Not a waffle." Cassel said reassuringly, looking at the dial with its indicator slamming back and forth against the stoppers either way.'
asciilifeform: i'd be lying if i said that i knew how to connect this to the orig puzzler.
asciilifeform: upstack, to 'exploiting the winners is +ev strat' , this is entirely troo, for so long as you know how to eat'em without becoming infected with whatever made'em fat to begin with
asciilifeform: before taking off , decided to buy sumthing from the carpet men, and bought a pocket watch. appeared to be keeping correct time, spiffy-looking '20s german thing☟︎
asciilifeform: asciilifeform oughta confess how he was duped in buenos aires , it is pertinent to thread
asciilifeform: i.e. 'stopped clock is right 1ce a day' but is still a broken clock, even if at that moment in day it is not distinguishable with naked eye from working
asciilifeform: mircea_popescu amply documented this for the btc lotterists , for instance
asciilifeform: historically, by sharp stick. at least in the case of what's ordinarily called lottery. cuz winning dun banish from the head the cockroaches that made'em play to begin with☟︎☟︎
asciilifeform: record appears to show that the winners, too , fucked
asciilifeform: the notion does however follow, that lottery players are fucked in the head ( or is this also nao reopened case ..? )
asciilifeform: so the latter ? 'bahaha you think uniform distributions exist' ?
asciilifeform: so is the puzzler actually about m-r , or about whether notion of probability is physical ?
asciilifeform: rright, which is why he is in this play , notion is that he'd like you to continue to think that you have a working process with given characteristic, whereas in fact quite different
asciilifeform: nao the q becomes, you later look at what came out of the wire. is it possible to conceive of a 'rng test' that the output would not (for particular p , taken as constant) fail ?
asciilifeform: so erry time you milk the wire for a witness, he gives you ( with some probability higher than what you would expect from actual rng per the orig m-r ) a false witness , erry time.
asciilifeform: however he would like you to have a good probability of settling on a p which is actually composite
asciilifeform: where the devil in fact knows what each of your p is ( but he won't tell yer human enemy, he likes to make humans fight for amusement )
asciilifeform: however, for baking m-r witnesses, you are in fact using a wire that goes down straight into hell
asciilifeform: suppose you have candidate p , generated with what you consider to be a working (i.e. uniform) rng , with no interference from devils.
asciilifeform: mircea_popescu: let's rework the supposition into a gedankenexperiment, with mircea_popescu's permission ( plox to say if the described situation dun match the orig. )
asciilifeform: sure enuff, but seems to me that asking for an object that appears to pass even elementary (e.g. 'pi dart') rng smoke test, while actually avoids 3/4 of the phase space in its output, is like asking for a 2 which is also a 3 .
asciilifeform: i confess the orig. supposition still dun compute in my head, where yes 3/4 of number line proves compositivity , but somehow a device which even approximates uniform random, manages to avoid'em in 32+ shots.
asciilifeform: ( a coupla thou. are known, found by brute force for the bottom 10e12 or so of number line, that's afaik it )
asciilifeform: afaik there is no recipe for finding large carmichaels .
asciilifeform: fwiw however i cannot presently think of any rng test, even the dumbest ones in the 'dieharder' collection, that wouldn't barf at a rng which avoids 3/4 (or any similar proportion) chunk of the integer number line
asciilifeform: on pc , pretty slow ( dun actually make anyffing like full use of even the modest fg bit rate )
asciilifeform: would be mighty great use case for hypothetical 'ffa cpu' (i.e. arithmetizer with wide bus)
asciilifeform: ( like all other possible rng tests, presupposes that the device is in fact an rng, rather than e.g. tape playing back an old rng run while enemy dies of laughter )
asciilifeform: incidentally, litmus where you pluck a string of N bits from rng, and then look for the expected distribution of m-r liars ( or apparent primality ) is itself a notbad, imho, rng test
asciilifeform: which 6 yrs after picking up subj, asciilifeform for instance is no closer to nao than then
asciilifeform: well yes, q is re ~definition~ of 'working rng', as an abstract object
asciilifeform: ( and applies equally to the candidate # , and to any other application of rng )
asciilifeform: so is the idea 'you cannot know whether yer rng actually worx?' cuz then i must agree
asciilifeform: the interval being picked for witness is 1..n ( well,really 1..n-1 , see diana_coman's review) tho
