tmsr - Search: zx2c4

deedbot: 2018/11/30 04:54:33 <zx2c4> My "nice post" remark wasnt sarcastic, if thats what youre responding to

a111: Logged on 2018-11-30 03:07 asciilifeform: zx2c4: you may find it interesting to learn that i once worked in a dour 'salt mine' where shat out 'correctness proof' all day. in 'sage.'

a111: Logged on 2018-05-04 17:15 zx2c4: mircea_popescu: oh. so. "the world doesnt care about the cool hackers on the internet, but only the assholes with prestigious positions." this has been a widely known complaint for a long time

mircea_popescu: i tell you truthfully, no case of femtarded "oh i make choices, have oppinions blablabla" out of thousands in the same interval infuriate nearly anywhere near the level of a zx2c4 or a l0de or whatever other such example.

mircea_popescu: !!rate zx2c4 -1 moron ☟︎

asciilifeform: consider, zx2c4 , i can show that nuffin in my arithm routines can overflow a buffer. even if you were to turn ada's overflow checks off. without any complicated tooling.

asciilifeform: zx2c4: lemme ask you this -- those mecha-proofs of yours, how much do you actually believe in'em ?

asciilifeform: zx2c4: you may find it interesting to learn that i once worked in a dour 'salt mine' where shat out 'correctness proof' all day. in 'sage.' ☟︎☟︎

asciilifeform: zx2c4: lemme ask, on what authority am i to accept the correctness of a proof generated via e.g. coq ?

asciilifeform: zx2c4: whole reason i bother with this thread is to explain why no, i would ~not~ like to suck the coq, if you will

asciilifeform: zx2c4: point being, i don't practice haskellism. and nit from being illiterate yokel who has nfi how. it so happens that i know how. but consider the whole approach to be braindamaged .

a111: Logged on 2018-05-04 17:23 asciilifeform: zx2c4: as a matter of fact, is IS a conclusion i can jump to trivially. because your supposed 'person' is actually a nameless cockroach beneath my feet. because he is not in the wot, and thereby not distinguishable from the 90000..+ faux 'humans' usg manufactures on daily basis to further its psyops.

asciilifeform: zx2c4: weren't you here last yr for a 'the technical cannot be separated from the political' and 'if program+all accessories doesn't Fit In Head, it is garbage, not proof' thread ?

a111: Logged on 2018-04-13 20:10 zx2c4: mircea_popescu: this article is about making a company right? i'm not doing that. im just writing painstaking careful code and giving it to the world for free

mircea_popescu: and we'll show THIS discussion to the jwz/zx2c4/randomoron of the future, too, and he'll be "umm...i dunno... http://trilema.com/2013/mpoe-pr-almost-two-years-in-the-swamp-an-anthology/#selection-1567.0-1567.61 etc.

a111: Logged on 2018-05-04 17:09 zx2c4: why does the government have an interest in me hearing about nadia's work rather than your work?

a111: Logged on 2018-07-14 16:31 mircea_popescu: smoking nervously in the corner, cazalla mother[m] valentinbuza zineKing zx2c4 etc.

mircea_popescu: zx2c4 is still "writing painstaking careful code and giving it to the world for free", darwin fish is still http://btcbase.org/log/2018-04-16#1800306 and will until the day he dies, what, "i'm glad we gave out some posters at $derpcon". ☝︎

mircea_popescu: smoking nervously in the corner, cazalla mother[m] valentinbuza zineKing zx2c4 etc. ☟︎

mircea_popescu: or if you prefer, douchebag or zx2c4 or kanzure or whatever. the postmodern world consists of a bunch of "directors" (in their own mind) who might maybe consider giving ~you~ a role in their WoWoW thing they've got going -- in their skull.

a111: Logged on 2018-04-18 16:39 a111: Logged on 2018-04-12 16:30 mircea_popescu: !!pay zx2c4 1

a111: Logged on 2018-04-13 20:14 zx2c4: i'd be wary of any 'deal' that's different from: 'i'm given money. you're given warm feelings of having helped the internet.'

mircea_popescu: that's your "experts" zx2c4, from matthew retardenfield all the way down the mongoloid chain.

mircea_popescu: asciilifeform, zx2c4 's "academics" or w/e you'd call them. the rubber chicken guzzlers, the conference goers, the code-of-conducted, the everyday cuck

a111: Logged on 2018-05-04 16:57 zx2c4: - hanno being a journalist is a mere cover story for a more sinister secret government intelligence job he holds.

mircea_popescu: zx2c4.

asciilifeform: zx2c4: the logs countain a thousand examples. e.g. most americans are convinced that they can buy and drink milk in the corner shop ( they cannot, they buy 'ultrapasteurized' rubbish that tastes nothing like actual milk) ; that they live in 'nice house' ( they live in equiv of movie set, made of matchsticks, that falls over when first serious gust of wind ), that ... i could go on for a week and not even scratch the surface

mircea_popescu: zx2c4, what's your experience of commie ro anyway ?

mircea_popescu: zx2c4, anyway ; his argument is principally that they were straight talking. which is true, the difference between stalin-socialism and roosevelt-socialism is strictly that the cripple shunned straight talk ; whereas the bank robber reveled in it.

mircea_popescu: zx2c4, why don't you realise b was better than a when your experience of b is mediated by the items that produced a ?

mircea_popescu: zx2c4, "there are no new things in this world besides the history you do not know" is a somewhat famous quip.

asciilifeform: zx2c4: remember when 'big blocks'(tm)(r) were 'definitely happening any day'(tm)(r) ?

zx2c4: (zx2c4 is a sophisticated chatbot but sometimes his neural network trainings are constrained)

mircea_popescu: zx2c4, that's not what i said is it ?

asciilifeform: zx2c4: the society you actually live in, makes ceaucescu's look like refreshing paradise of straight-talk

mircea_popescu: but yes, zx2c4 : there are heuristics which do make human work easier. and it is the tell tale of a made agent, that he gets sent on garbage missions.

mircea_popescu: zx2c4, are you aware some mit schmuck was "in charge of bitcoin" "left by satoshi" and then i said he'd better get lost and then he was kicked off like so much flotsam ?

asciilifeform: zx2c4: as a matter of fact, is IS a conclusion i can jump to trivially. because your supposed 'person' is actually a nameless cockroach beneath my feet. because he is not in the wot, and thereby not distinguishable from the 90000..+ faux 'humans' usg manufactures on daily basis to further its psyops. ☟︎

mircea_popescu: zx2c4, not a matter of trivially. what i say has a lot of power, such as to end careers, research lines etcetera.

mircea_popescu: zx2c4, the debian bug was a nsa plant is neitehr controversial nor requires any conspiracy.

mircea_popescu: zx2c4, a) it is not a complaint b) seeing how i'm the one with all the money and all the rapes, i can scarcely conceive what "the world" even is.

mircea_popescu: zx2c4, in statistics, it's the universal "no relevance" ; in practice, this must be translated to meaning.

asciilifeform: zx2c4: well, you seem to see the burden of proof, on asciilifeform , to show that debiankeys , or e.g. heartbleed, was a work of nsa plant

mircea_popescu: zx2c4, i don't think the usg is capable of representing me at all.

asciilifeform: zx2c4: take very concrete case, of the debian keys. i.e. a nsa-planted 'bug'. it was very concretely in the nsa interest to prevent public euclidization , would have revealed the 'bug' immediately.

asciilifeform: specifically to ~prevent~ folx such as zx2c4 from hearing about e.g. phuctor, or other actual attempts at experiment, and if they hear -- from taking seriously. 'boeck did it in 2007' 'but did he publish a divisor?' 'uhhhh'

mircea_popescu: zx2c4, because http://btcbase.org/log/2018-04-30#1806663 ☝︎

asciilifeform: zx2c4: the fraudulent content-free publications of supposed 'results' consisting of 'we broke 9000 keys last year, but no we won't say which keys and what the divisors are' are smoke screen, plain and simple.

mircea_popescu: zx2c4, let's think about it together, then.

mircea_popescu: zx2c4, i dunno what conspiracy is under discussion here.

asciilifeform: zx2c4: then i would ask why you decided to be an accomplice in usg coverup ?

asciilifeform: zx2c4: the fact that not a single broken key was published prior to phuctor's, is not a problem in your eye ?

mircea_popescu: zx2c4, show me these results!

mircea_popescu: zx2c4, which part ?

mircea_popescu: zx2c4, 2. 3 is an indirect side effect of no particular consequence.

asciilifeform: zx2c4: consider, 'researchers' did their 'research' while the debian keys calamity lay unpublic for 3+ yrs.

mircea_popescu: zx2c4, understand the full model of this : ambitious people whose hardware does not support their aspirations (ie, the aspirational 14%) say things that are not true. such as "we did research of so and so". now and again, they happen on a useful lie, something the establishment does not actually want researchedf. so they get a little slop, to encourage them to continue with their nonsense, while their imago is then used to pe

asciilifeform: zx2c4: pay and written orders are not a necessary hypothesis. fact of the matter is that you do not get to ~become~ 'a nadia' or 'a boeck' unless you behave 'like a civilized academic' and do what is expected of you, without being asked.

mircea_popescu: zx2c4, no. i am saying that they are intelectually incosequential ninnies, who happened to tell a convenient lie.

mircea_popescu: zx2c4, you're more than welcome to identify sets of keys WITH THE RESPECTIVE FACTORS published by anyone, at any time, then compare this with the phuctor set, and then write to whatever plagiarism committee you imagine is keeping academia from wallowing in the utter gutters of the intellectual world.

asciilifeform: zx2c4: i wrote phuctor in 2013 after yrs of watching academiderps fraudulently pretend to have performed similar experiment ( while they published 0 keys )

mircea_popescu: zx2c4, "real" in what sense ? it was published once phuctor published the results, through the procedure of copy.pasting it.