a111: Logged on 2017-09-28 14:53 asciilifeform: 'Given the “stark difference between the abnormal rate and the actual market prices of bitcoin and ethereum on April 19”, B2C2, which Quoine called a “sophisticated” investor with experience trading virtual currencies, should have suspected the “abnormal rate” was a mistake. '
a111: Logged on 2017-09-28 15:00 asciilifeform: ( and it is entirely conceivable that some variation on the theme of bbp's function will give you a fast search for 'where in pi might this fuzzy match be' and the like )
mircea_popescu:
http://btcbase.org/log/2017-09-28#1718015 << minimum case. the average case is of relatively little interest here. what interests is hardest case, to design solutions for problems (what is currently 100% of all theoretic work done), and minimum case, to guarantee hardness, which is 0% of work done and 100% of republican interest.
☝︎ a111: Logged on 2017-09-28 15:09 asciilifeform: the fundamental boojum preventing anything like a rationally designed blockcipher-hash-prng , is that we do not actually have a theory of average-case problem hardness.
mircea_popescu: average case has no value for this later branch ; has some limited value for the former branch, to see how "eccentric" the upper bound is.
mircea_popescu: we're not discussing that nonsense. we're discussing the actual blind case.
mircea_popescu: suppose there's a function that does hashing over a domain consisting of 2^100 possible distinct values.
mircea_popescu: consider the work required to reverse it has been calculated for each value, and is in the domain [a, b].
mircea_popescu: the point of interest for the "max case" is b. the point of interest to us is a. the "average case" is either a+b/2 or else ni * weight i / sum i.
mircea_popescu: trivially the average, weighted or not, will be inside the domain and not the lower bound of the domain.
mircea_popescu: what interests me, when you say "alfhash is 5 trillion hours strong" is that ANY VALUE i pass into alfhash will be reversed in NO LESS than 5 trillion hours.
mircea_popescu: i don't care that "on average it's 5 trillion but for the value you chose it's two weeks"
mircea_popescu: the correct measurement of hash strength includes two parties, defined as : party A, which knows the plaintext and computes the hash ; and party B, which does not know the plaintext and computes it on the basis of nothing but the hash.
mircea_popescu: a modelling in which b knows the plaintext breaks this definition, and it is therefore not interesting.
mircea_popescu: in the common understanding of "hash is hard", what is said is "B can not make any grounded promise that his effort will require less than X work for an arbitrary item chosen by A"
mircea_popescu: whereas in the correct, crypto-relevant understanding of "hash is hard", what is said is "B can make grounded promise that his effort will require at least X work"
☟︎ mircea_popescu: "for as long as the plaintext went through alfhash, it is known as a mathematical fact, irrespecvtive of any considerations, that so many steps must be undertaken to undo it"
mircea_popescu: (this being something i suspect mpfhf fambly MAY be amenable to proving, but i've yet to get anywhere)
mircea_popescu: for instance, the dillutionists propose a similar view of solutions.
mircea_popescu: "in any amount of water there's some nonzero information as to the original solutes"
mircea_popescu: but anyway, there's a difference between "it in principle exists" and anything useful.
mircea_popescu: i suppose to get fancy we're inquiring whether information is quantified. fine.
mircea_popescu: in any case, the former statement is an exercise in psychotic nonsense. how the fuck can you demand someone NOT be able to whatever.
mircea_popescu: the evidently philosophically correct formulation is the second, being positive not negative.
mircea_popescu: actually i recall at some point bring well known super -NP, proven as such, classes.
a111: Logged on 2017-09-28 18:29 BingoBoingo: "That's exactly the problem. Yesterday I ate a most delicious desert out of my slavegirl's own ass, directly. This dream of many previous sultans and whatnots that nevertheless couldn't ever be fulfilled effortlessly came through, for me. I didn't even much care for it either way," << TMSR problems
mircea_popescu: a...ficcionados (lol) can readily resolve the problem though : douche the girl, then anally feed her a banana for buffer, then load her up in whatever flavour you favour and then proceed to dinner.
☟︎ mircea_popescu: one of the most fascinating things about anal perversity is that the colon seems particularily eager to enter dual use regime.
mircea_popescu: all the people going "oh, it's against nature" have NO FUCKING IDEA whatsoever as to nature.
mircea_popescu: but speech is certainly a perversion, so this argument is hard to bring.
mircea_popescu: body parts seeping from the ground in a swamp and such ?
mircea_popescu: no i mean the result. "if the classes are separate". well...
mircea_popescu: heck, i recently linked to some lulz discussing that. recall cads and his fabled gf ?
mircea_popescu: and it requires more than that, if you step out of haskell and try to c, nonsense such as "universal computability", which falls apart the moment you are invited to do relatively "simple" things such as write cubes as sums of coprimes raised to large powers.
mircea_popescu: none of this is dispositive ; what i'm saying here is that im pretty sure i read this, and it didn't come through as much more than tyhe usual math grad wank to me.
mircea_popescu: asciilifeform you understand this is actually impossible, yes ?
mircea_popescu: asciilifeform no cube can be written as a sum of two co-primes raised to the power of three or above.
mircea_popescu: the 3 case is proven by euler. the > 3 case flows from you know, wiles' work.
mircea_popescu: it's the converse of the modular math / elliptic curves geometry equivalence.
mircea_popescu: right, but that's the very important point there, you don't get it without mutialrtion.
mircea_popescu: right, but what i'm saying is that the original article is much in this vein.
mircea_popescu: anyway. my point is that the idea that "a practical implementation of the axion of choice always exists" is way WAY further out there than simply thje axiom of choice. WAY. because even "trivial" things (find the coprime n powers that sum to cube) are in point of FACT, know, proven, concrete poured and long dry, strictly incomputable.
mircea_popescu: so what help is it, "any f has its g" if g is in point of fact incomputable, at ALL.
mircea_popescu: f "has it" in a sense of having very mathematical altogether.
mircea_popescu: so to sum this up in our lingua franca : one kind of fool says "this confuses me and therefore must be hard". the OTHER kind of fool says "this seems immediately beautiful and to my eyes elegant and therefore must be easy".
mircea_popescu: seems to me the main reason $item stood out to your examination is that in a sea of former fools you finally found a latter kind.
mircea_popescu: i'd propose as heuristics from this that the moment anyone proposes either a) a computable corolary of ZFC, no matter its kind or b) a computable corolary of AOC, no matter its kind, we're lost for reason.
mircea_popescu: because neither of these, even if wrung into acceptability in the most theoretical sense, come with any sort of even vague hope of a possibility of a guarantee of computability.
mircea_popescu: ie, a haskell so pure it doesn't even run on machines, it's paper only.
mircea_popescu: they'll "offer you" to take them and set their fat ass down in a $5mn apartment in a condo overlooking the pierre.
mircea_popescu: (well known hotel on 61st st (ie, by central park) in ny)
a111: Logged on 2017-03-02 20:53 asciilifeform: the 'let's use anything, ANYTHING but rsa' thing really grates on me.
deedbot: deedbot voiced for 30 minutes.
a111: Logged on 2017-09-29 00:24 mircea_popescu: a...ficcionados (lol) can readily resolve the problem though : douche the girl, then anally feed her a banana for buffer, then load her up in whatever flavour you favour and then proceed to dinner.
mircea_popescu: nature provides precious few materials of comparable quality for this particular purpose. cuz it has to be soft and occlusive and so on, contrary engineering requirements.
mircea_popescu: and in other lulz : miicard.com. "The only way to prove you are who you say you are purely online"
BingoBoingo finds it a nice change of pace to have a Trilema fiction story with so much emphasis on the protagonists
☟︎ mircea_popescu: and in other "asian people should just be holocausted" news : piece of shit router, gets set up to work on static ip, spews out the helpful error message of "the value can't be equal". verbatim. and the source of it is a pile of inclusion gnarl so you can't even trivially debug the nonsense THAT way.
deedbot: adlai voiced for 30 minutes.
adlai: good morning asciilifeform
adlai: here we mostly have street cats, that are the apex predator of the urban food chain
adlai: "Reading is to the mind what exercise is to the body"
a111: Logged on 2017-09-20 19:22 asciilifeform: and incidentally i dun have a nonleaking miller-rabin yet, need nonleaking gcd ( have on paper, but not in ffa yet )
deedbot: elaineo voiced for 30 minutes.
deedbot: oroborous voiced for 30 minutes.
a111: Logged on 2017-09-27 22:46 BingoBoingo: davout: I'm wondering if an progress was made finding Francophone datacenters outside France, preferaby in the heart of the dark continent
jhvh1: asciilifeform: The operation succeeded.
a111: Logged on 2017-09-29 03:10 BingoBoingo finds it a nice change of pace to have a Trilema fiction story with so much emphasis on the protagonists
a111: Logged on 2017-09-29 03:28 asciilifeform hasn't deployed anything but hand-sewn router for maybe 4y+
mircea_popescu: asciilifeform whatr do you use, actual comps ? or rasperry lulz ?
mircea_popescu: ah. i guess, if you keep lists of which ones aren't too stupid byu nature
mircea_popescu: with the downside that you're now stuck maintaining netbsd.
trinque doesn't have GB internet connection, so old G4 + openbsd works great
a111: Logged on 2017-09-26 15:45 asciilifeform: in other lulzies,
https://archive.is/roEgM >> privesc 0day : '...all versions of CentOS 7 before 1708 (released on September 13, 2017), all versions of Red Hat Enterprise Linux 7 before 7.4 (released on August 1, 2017), and all versions of CentOS 6 and Red Hat Enterprise Linux 6 are exploitable' << Aaaaaaand as usual linus sat on the goods since april, because 'responsible'
trinque: I dunno what maintain means here
mircea_popescu: that at any future point you must be able to produce a package you're willing to label "openbsd"
trinque: I'm still of the mind that I'd rather eat openbsd than linux
mircea_popescu: trinque yeah, but i was just making the point for his benefit that his elaborately crafted turd is not so much better than the 40 bux consumer turd.
mircea_popescu: "oh, i never eat at mcdonalds, i always cook all my meals at home out of cheese squares and hormel pork sausage"
trinque: hm yeah, no point of honor in it
mircea_popescu: if it can be delivered a la FG, and it doesn't cost MUCH more than the current shits, defo.
trinque: that pcengines guy's a great one, 3 nics.
trinque: sad thing that they lost the debug port
mircea_popescu: does 3 nics mean you could plug it into two internets and have it splice ?
mircea_popescu: well, i would defo buy a bunch of these if properly set up so they can be ip x in wan1 and ip y in wan2 and then establish sessions through the least decongested one at all times.
mircea_popescu: so different pages in kitten's self-same browser think they're different ips.
mircea_popescu: in fact, i'd even declare it an absolutely required bit of republican computing, as such. because it does make a first step towards the specifically stated uci goal, "location ambiguity"
mircea_popescu: shit's in gossipd design papers too, and really everywhere.
mircea_popescu: asciilifeform can they hang like 8 lan ports off the 2nd nic ? and can they not have fucking wireless, too ? DUN DUN DUN, perfect final hop router.
mircea_popescu: i'd buy shit without wireless in preference of shit with, even if same exact shit.
mircea_popescu: the only fucking reason wireless exists is the dumbass "smartphones". fucking civilisation enders.
mircea_popescu: and speaking of freenode bs : "* - A massive thank you to our sponsors and exibitors: Private Internet Access, Canonical, Bytemark, yubico, Open Rights Group, Free Software Foundation, OpenSUSE, Minetest, KDE, bitcoin.com."
mircea_popescu: apparently my boxes aren't needed, but hell yea roger ver's "money" that doesn't exist is more than welcome. and plox moar yubikey and canonical and if it's not fucking plain yet...
deedbot: Ingolfr_Arnarson voiced for 30 minutes.
BingoBoingo: In the latest from the 'Reality Winner' saga: "Accused NSA leaker was angry over Fox News always being on in the office"
BingoBoingo: And the printed documents were smuggled out in her pantyhose
deedbot: fromphuctor voiced for 30 minutes.
trinque: *what's the other bit, aside the mostly?
fromphuctor: ah, no nothing related to your affairs yet, so lurker totally... wanted to check pgp on some os and came across phuctor
fromphuctor: go on with your things, i ask if i want to know sth
fromphuctor: i wanted to read about the relationship between math and programming languages
fromphuctor: basically the question is what is the relationship between math and programming languages
fromphuctor: do you know authors that describe that in any way ?
fromphuctor: that is why i find it is worth investigating
fromphuctor: i would have thought maybe russian authors would be more suited
fromphuctor: ohnicethx sir, one link at a time, chugging along on the road
fromphuctor: about the Phuctor/PGP related things i ask another time
a111: Logged on 2016-09-26 17:33 asciilifeform: incidentally i find it quite hilarious that three years after the snowden catalogue leak, the constellation of symptoms of rf bug illuminator victims is still Officially 'schizo'
trinque: this transcript is such a fucking snore, ye gods
trinque: smells a lot like "hey lets get srsbsns PROOF of russian hax into the news"
trinque: chick's gonna get out in a few years and get paid under the table, disappear
trinque: the feds meanwhile read like stuttery, inarticulate derps.
☟︎ mats: countless mentions to that and monero in every hn thread about bitcoin - more privacy! anon by default! diversify your holdings! *waves hands*
jhvh1: BingoBoingo: Bitstamp BTCUSD last: 4165.06, vol: 12049.97783533 | Bitfinex BTCUSD last: 4180.0, vol: 38487.5737384 | BTCChina BTCUSD last: 4085.44, vol: 515.89440000 | Kraken BTCUSD last: 4178.0, vol: 4218.02692379 | Volume-weighted last average: 4175.70762846
mircea_popescu: the metrosexuals describe themselves, for lack of anyone else interested. apart from that, the victims describe the rapists and thassat.
BingoBoingo: Still, his illiteracy doesn't make Petrus any less the protagonist in the story of things that happened to David
a111: Logged on 2017-09-29 19:48 asciilifeform: sure.
mircea_popescu: the original reasoning was that actual high value individuals might need the fast track, for lack of you know, dissemination in their backwater barios.
a111: Logged on 2017-09-29 20:24 trinque: the feds meanwhile read like stuttery, inarticulate derps.
mircea_popescu: somehow, and i have yuet to pierce this mystery, people on the side of pantsuit always assume they own the world, natively. whereas people on the side of the republic, at least verbally, always assume the opposite, and start derping about how i've to prove shit and so on.
☟︎ mircea_popescu: you won't hear Ireality Winner derp about how "what proof can Pantsuited Hilarity bring ?"
mircea_popescu: her line isn't "maybe it's good that fox news is on because what proof does sanders have that it isn't ?"
mircea_popescu: a restatement of the old adage, "the problem with socialism is that idiots are always cocksure ; everyone else, full of doubts"
mircea_popescu: laziness is immediate. reason works through the mediacy of the most fragile, most expensive, least dependable mechanism known in nature.
mircea_popescu: you can't make her a string of anal beads out of them ?
BingoBoingo: <mircea_popescu> a restatement of the old adage, "the problem with socialism is that idiots are always cocksure ; everyone else, full of doubts" << But how else would Taq1A be so successful if women didn't like making baby with drunks?
mircea_popescu: asciilifeform note that it is almost a tracer for "eastern european plains" genotypes. whereas azn ppls had alcohol for thousand+ years longer.
mircea_popescu: i will point it out that prior to say 1500, people didn't see "sioux" and "drunkedness" in same sentence either.
BingoBoingo: asciilifeform: Taq1A is on of the few genetic markers with STRONG behavioral predictive relation