ben_vulpes: not the right people
mircea_popescu: fuck that, the city is spending money to make bike depots, where's my hay station ?
asciilifeform: where are the dedicated horse lanes!?!111111
ben_vulpes: there are notorious questions on the or dl test about rider signalling. yes, /horse/ rider signalling.
ben_vulpes: horse is only not in your particularly insane part of the states
ben_vulpes: b-b-but BingoBoingo "the columns of caaarz!"
mircea_popescu: so... they accumulate.
mircea_popescu: well, no, usg has no obligation to uphold the laws, somehow.
asciilifeform: also ianal but there is probably more gnarl to it, otherwise usg would have to charge, e.g., dope peddler, with trespassing on usg property by occupying his house the day after the dope peddlin' , etc
asciilifeform: at least since the dpr thing
mircea_popescu: lovely shitpit ye got over there roflmao.
mircea_popescu: "For example, a different federal statute provides that title to property used to commit a crime (or otherwise traceable to a crime) passes to the Government at the instant the crime is planned or committed." <<< ahahaha check out the ancient escheat to the crown in cases of treason!
mircea_popescu: at any rate : there's about as much room for democracy in a republic as there is for samples in formal logic. completely immiscible things.
mircea_popescu: prolly loads and loads of "noobs", mostly of the purposefully deliberate quality, once website.
asciilifeform: (for n00bz - this is the protocol vs promise thing.)
asciilifeform: mircea_popescu: everything is either a complete-algebra or a buluceala pit.
mircea_popescu: that one can't find the string he's looking for in the algebra is, at most, an indictment of the one.
mircea_popescu: to force a comparison, the difference between a republic and all and sundry other group organizing patters is that the republic is a complete algebra (ie, elements, defined operations) whereas the rest is (necessarily, and provably so) just a dictionary (ie, list, array) of strings.
mircea_popescu: hey, don't take this the wrong way, i understand why there isn't one, which is why ~i~ haven't said anything about it.
BingoBoingo: And seriously. Kyle needs to stahp the speeches.
mircea_popescu: for the record : republic does not in any sense mean nor at any time did mean anything about individual liberty, and especially nothing about individual liberty to be a dumbass without consequence.
mircea_popescu: ben_vulpes> afaict there is mircea_popescu's court, some dismally jolly sappers digging tunnels, and some people emptying bedpans in their finery << becauyse why, we're 5yos and the alternatives we perceive are either cartman's own "whatever, i do what i want" or otherwise "we live in a dictatorship!111" ?
mircea_popescu: BingoBoingo> "She wanted the buoy," he recalled. "I said: 'There's been some damage done, due to the loss of days, and time,' and she said she's not authorized to relinquish any money. At that point, she said: 'Don't you know we're the US government?'" <<< bwahahaha
asciilifeform: pete_dushenski: see if this rings a bell. there were two kinds of bettors on bbet. one that did not get double-paid. and one that 1) did 2) kept quite, kept the coin and possibly a 3) got double-paid, returned the coin. i am not aware of any (3) and kakobrekla stated that 3 was empty set.
asciilifeform: pete_dushenski: were you there for the mega-thread re: which of the two cuts actually is a socialist thing ?
pete_dushenski: kid on reddit has ideas about how the world ~should~ be and uses verifiable math to demonstrate that socialism is best -ism. this is the exact same, and equally inapplicable to davout's work.
asciilifeform: pete_dushenski: if you don't care for the answer, i won't bother to try and convince you. i believe that we already had good thread about this in the old logz, with davout even (who is stuck with the actual surgery)
pete_dushenski: asciilifeform: what's the arithmetic have to do with anything ?
pete_dushenski: to the extent that i have an itch, and to the extent that commenter bro is outside of wot, sure
pete_dushenski: ben_vulpes: and if you want an example of the use of "we" that actually makes no sense, see ascii's commenter bud
pete_dushenski: asciilifeform: "it's gw bush's fault that obama sucks isis brown dong in the middle east and it's his ~brother's~ fault that bitbet is insolvent. dagnammin bushes RUINING ALL THE THINGS"
trinque: ben_vulpes: many things called themselves republic throughout history, but I don't see how there being a court precludes there being a republic.
asciilifeform: 'If we withhold the same-address pending bets, the loss of 17.93766065 BTCs becomes 4.31574744 BTCs. Moreover, if we withhold the same-payer simultaneous bets (the three 2.00000000 BTC bets; 1G7VC(btc-700-apr), 16LZu(jeb-bush-rnom), 1H2YT(silver-19-apr)), the loss becomes 2.12225210 BTCs: [details snipped]'
pete_dushenski: asciilifeform: finally got the '1 from different addr'... and as fucking if!
asciilifeform: 17:26 <+ben_vulpes> tangentially relatedly, i've been trying to reconcile "designing a fork to heal the breach between miners and nodes" with "proceed from causes not towards purposes" << this is not a mega-conundrum.
ben_vulpes: afaict there is mircea_popescu's court, some dismally jolly sappers digging tunnels, and some people emptying bedpans in their finery
pete_dushenski: "we the republic"
ben_vulpes: quadruple if you count the second, right?
asciilifeform: ben_vulpes: when you doublespend at somebody you owe to already, and then insist on paying'em again (see the mega-thread where this was posited)
asciilifeform: ben_vulpes: actually we finally invented the Triple Spend !
ben_vulpes: tangentially relatedly, i've been trying to reconcile "designing a fork to heal the breach between miners and nodes" with "proceed from causes not towards purposes"
pete_dushenski: in other news, i managed to [absent-mindedly] get a 0txfee tx broadcast, and am now waiting to see if any miners are going to snap it up. doesn't look like there are many 0txfees being incorporated into blocks atm, so i'm not holding my breath on a quickee
pete_dushenski: ^for the policy-minded
pete_dushenski: d be the case otherwise. The only other option is to not regulate at all, and to not insure deposits. This would leave each bank, and its customers and depositors, with the ultimate responsibility of determining the appropriate risk capital. This option deserves greater consideration in light of the results of this paper.'
pete_dushenski: http://philipmaymin.com/papers/Philip%20Maymin%20and%20Zakhar%20Maymin%20-%20Any%20Regulation%20of%20Risk%20Increases%20Risk%20-%20FMPM%202012.pdf << 'Thus, we conclude that the effect of any objective rules for regulation will result both in more risk being taken by each individual bank, and by the risks taken by different banks to be more correlated with each other, resulting in a far more fragile financial system than
gribble: The operation succeeded.
ben_vulpes: aup that's the one trinque thanks
BingoBoingo: Sherer took that as a statement that the government can essentially do what it likesa claim he found unbelievable.
BingoBoingo: "She wanted the buoy," he recalled. "I said: 'There's been some damage done, due to the loss of days, and time,' and she said she's not authorized to relinquish any money. At that point, she said: 'Don't you know we're the US government?'"
BingoBoingo: In other reasons not to consort with random non-qntra journalists, Conde Nast writer serves process to fisherman trying to get compensated for lost time https://archive.is/kJi6R
ben_vulpes: mhm, steve yegge had a piece called "quality without a name", large part was how amazon used (heavily customized) emacs for customer support during the early years, and support staff hated everything that came afterwards
mircea_popescu: phf for my curiosity, will << be a reserved symbol ? to demonstrate to alf the value and importance of in-band control codes ?
thestringpuller: phf: turning the logs into genius.com?
phf: so mix and match the basic components and you get a working foundation for xref
phf: and then there's an entry point that takes specific log entry ids (or ranges), so can 1,10,50-100,900 and get them in the same format as above
phf: two types of references that are fairly easy to produce are back links (that's the one working) and << refs that aren't quite there yet
phf: there's basically a generic annotation-tron, that walks in memory log entries (on account of the whole past b-a log neatly fitting into 130mb of ram)
phf: ^ that one was easy guess on account of there being like many of those too
phf: the hafes one about moth?
mircea_popescu: ("which one ? there's lots!" "aha.")
mircea_popescu: do you speak farsi ? do you know that line with the candleflame ?
phf: well, would not be the first for a lisper
mircea_popescu pours himself a glass of popcorn, waits for phf to fully ensnare himself in the monstruous task he's contemplating.
phf: up is superfluous really on account of there being a link, but down lets you see what was referenced later
mircea_popescu: historically, romanian army conquered the city, derps as they are moved straight into the previous high command. which the soviets had mined. and the romanians didn't bother to check. so it blew up.
mircea_popescu: and to make the story whole : odessa, also marks, misfortune.
phf: asciilifeform: there's a good kebab place in vienna which is a 30 minute drive for me, but i still make the trip from time to time, it's worth it. the food is OK, but the atmosphere is very "faux upscale tehran"
asciilifeform: somewhere in the 1,000,000,001 things-i-hate-about-usaschwitz is that it is a world with no past.
phf: haha, yes, it's there and it's exactly how i imagined it in person. very medieval christian soldier
mircea_popescu: phf a right, stefan' sword still there neh /
phf: can see plenty of romanian swag at the kopkapi
mircea_popescu: asciilifeform hey, turkey is covered in the sad marks of the misfortune of being too close to romania. the old port to this day carries an inscription explaining how romanian inept handling of explosives burned the whole thing down.
mircea_popescu: for your peace of mind it was there a decade ago also, had a lulz with chetty at teh same pretense.
mircea_popescu: you don't mean the one where they display king carol ist of romania's approval, do you ?
phf: but my favorite was restaurant on bosphorus. it was intended to be upscale, so they had those middle eastern style stern servers all wearing white and failing at simple tasks, but the kebab was rich and juicy
phf: there was two places within galata walking distance that we liked
mircea_popescu: village is one large wot, practically, once demand exceeds the pig, off its head goes.
mircea_popescu: a feast fit for the peasant's table!
phf: but i've said that before, there are places in u.s. where food is good verging on excellent. there are couple of places in dc (pasta mia in adams morgan, temari in rockville) that have good food, but they are far and few
asciilifeform: the new york butchers still serve chemically-addled cow, etc.
mircea_popescu: but... all things can be fixed, and there's jewish butchers in new york and plenty of italians in boston and whatnot.
mircea_popescu: when i first left romania, "everyone" was pretty sure that ain't never happening. even had driver carry distraught damsel all the way to airport, 400 miles, and then carry her bawwing earthly coil back to cluj.
asciilifeform: phf: i utterly forget the name, but it is on dupont
phf: asciilifeform: you know the name of that cellar?
PeterL: asciilifeform arn't you the one who is always complaining you can't move because you need "real food"? yet now you say you have none where you are?
phf: there are some good icecream places. go to franklin fountain in philadelphia for example
asciilifeform: the film is sorta like american ice cream.
mircea_popescu: i cringe still, the fucking nonsensical horror.
mircea_popescu: there sits the chick, confronted with some vacationing kids, she has not the werewithal to ACCEPT their offer for a ride
mircea_popescu: phf think on just one thing : i also train women to be human. oft they get a task to talk to random people. they NEVER get a fucking task to memorize and recite random strings.
mircea_popescu: ONE GUY survived. but i had 1k+ of the things, and god damned i used most.
phf: there was that "if i were an evil overlord thing i will and won't do" list, which ranted on that point
mircea_popescu: you recall the white-and-red rectangle he ?
mircea_popescu: it did rock. i once won an attack by the fucking muttons with he.
asciilifeform grasps the point
mircea_popescu: but imagine if the fucking base was full of corridors omfg!
mircea_popescu: so yes exceptions do exist. but the fact remains that the fucking reason you even take your base to the desert is to be free of this bs.
asciilifeform: incidentally odessa catacombs had no purpose in the usual sense. they were simply cavity from limestone quarry for the city above.
asciilifeform: a fragment of an old kgb map did once surface, and, lulzily, had markings '10cm', '20cm', etc. old map keeper was asked: 'what are these? cm of water?'
asciilifeform: legendarily, there is no map.
asciilifeform: and in fact continued as a thing well into gunpowder age (undermining worked 10x better with kegs of powder than with ordinary dig-tunnel-with-wood-supports-then-burn-them method of old)
mircea_popescu: heck, most of ladri de biciclete, a1950s film, takes part in the underground vaults of rome.
mircea_popescu: asciilifeform sure. but as far as cultural impact goes, the catacombs (ie, burial site in old city) were much more important.
mircea_popescu: there were some tubes, used to throw rocks from very high parapets, later on
mircea_popescu: it has no such root. castles were expensive, because of the stone. ~nobody built anything without a very good purpose.
asciilifeform: mircea_popescu: as i understand, the original trope of 'fortress with many corridors going nowhere' has a root in history: anti-undermining tunnel systems from medieval times. largely undocumented (passed by word of mouth) and in some cases survived to 19th c., spawning the meme.
mircea_popescu: incontinent break of convention is the sign of ignorance.
mircea_popescu: if you'\re going to use the typically new york sewer escape scense
mircea_popescu: there is something wrong with ustardianism.
mircea_popescu: right. there's nothing wrong with artistic license ; or with artistic convention.
asciilifeform: the 'escape through sewers' thing is similar.
mircea_popescu: asciilifeform but they wore black on stage because invisible. there's good reason for this!
mircea_popescu: sweet innocent girl sitting next to me watching the apcs storm past the sewer was like "don't they know where the sewer is ?"
mircea_popescu: there's a very good reason the character wears black. there is no fucking convention re the open storm sewer in the desert.
mircea_popescu: no, they DID.
mircea_popescu: what if the chicken plant 20 miles down has an accident and sends a 7 foot tall chickenshitsludge tsunami ? does your base smell of chicken shit for the next three decades ?
mircea_popescu: who the fuck designs bases with open storm sewer into the desert ? what if it's a fucking rain, your base gets wet ?
mircea_popescu: and unlike there, they actually needed a waif someone could conceivably want to fuck, here.
mircea_popescu: much like aeron flux, this film sins because a) the chick should have been naked about 50% of the film more, ie 50% instead of 0% ;
asciilifeform: the unfortunate bit is that folks who actually build & fly planes, typically do not make film
mircea_popescu: fucking parochial ustardism, what's next, galleons are built through correctly making the sign of the corss, and starships through correctly reciting the sensitivity credo ?
mircea_popescu: it's a remake of the 5th element, except the new mila jovovich (that eskimo looking chick that played suzi q, the rape victim) is not up to the dumb blonde par ; and without bruce willis the whole thing decays into incredible ineptitude.
asciilifeform: solzhenitsyn's thing with 'if every man hit the arresting kgb agent with an axe' is not wholly mistaken, but consider, individual bee sting does not kill a bear. ~hive~ stings.
asciilifeform: my understanding is that mircea_popescu sees the difference as a 'balls', 'blood & iron' matter of personal courage. whereas it is slightly gnarlier, pashtun has his family->clan->tribe healthy human thing going, eskimo likewise, usian - has the 'star topology' with the Great Inca at the center and ~nothing else~ but own sorry carcass.
mircea_popescu: they're just scummy fucks is all.
asciilifeform: but not in usaschwitz, where chickens and people alike have their beaks sawn off, so as not to damage the valuable meat.
asciilifeform: Mar 30 10:02:53 <mircea_popescu> “I would never trust the legal system, frankly, to protect my family again,” Jeff Sikorski said. << l0l!! it is worth comparing usaschwitz inmate to, e.g., pashtun, or even eskimo. even lowliest savage has ~some~ means with which to bite back, avenge an affront.
mircea_popescu: in other "uphold" news, http://www.projectwonderful.com/img/uploads/pics/99067-1457483436.jpg
asciilifeform: l0l the thing with shitberry pi
shinohai: Are they any good danielpbarron ?
asciilifeform: mircea_popescu: ' ... and check it out, the us has more "law enforcement agencies" than there are people who give a shit ' << 15 ~federal~ police agencies with powers of arrest alone! iirc.
mircea_popescu: mno. redditard claims he owns 43 btc and other things.
mircea_popescu: I would never trust the legal system, frankly, to protect my family again, Jeff Sikorski said.
mircea_popescu: "identified more than 70,000 untested sexual assault kits in the custody of more than 1,000 law enforcement agencies in communities large and small, pointing to a national accumulation of untested kits that likely reaches well into the hundreds of thousands across the nations 18,000 law enforcement agencies." << and check it out, the us has more "law enforcement agencies" than there are people who give a shit whether it li
mircea_popescu: by now the entire usg government is approximately a webforum.
mircea_popescu: lol these derps.
mircea_popescu: "The couple was identified by authorities after they contacted undercover federal agents online about assistance traveling to Syria." ; "pleaded guilty on Tuesday to a federal terrorism charge"
mircea_popescu: ("A Michigan woman was arrested after she expressed a willingness to have sex with a pair she thought was a father and underage daughter, police said.", obviously. gotta keep teh gestapo fed. publish or perish!)
mircea_popescu: it's fucking moscow over there wtf.
mircea_popescu: jesus the headlines on usatoday, "17 yo michigan girl gets 10-20 years for plot to kill family"; "dad who murdered his kids to be executed wed" etc.
shinohai: Anyone here having any luck on chan logs? I can log fine, but making them search-able has been futile for me thus far.
mircea_popescu: deedbot-> [Trilema] The Savages - http://trilema.com/2016/the-savages/ <<< incidentally, i'm really curious what peeps think iof this move.
mats: they did retake tikrit, but that's not rly a win... just less of a loss
mircea_popescu: thestringpuller "Join the world's fastest growing platform for moving, converting, transacting and holding any form of money or commodity. Instantly, securely and for free." << if someone actually takes that sort of thing seriously...
mircea_popescu: mats i thought they won tikrit ?!
jurov: thestringpuller: so? every bank does, unless forbidden to
thestringpuller: looks like the Uphold people are speculating user funds.
thestringpuller: looks like the Uphold people /wind 2
trinque: I need to clean some things up, probably swap sqlite for postgresql, then it's ready.
mats: shit their pants and didn't even get inside city limits yet
mats: history repeats itself -- iraqis are evidently clever enough to know they can't win
BingoBoingo: mircea_popescu: The old civil defense detectors tend behave pretty erratically
mircea_popescu: diddled so after an hour of fuctioning or so they go into detecting overdrive.
mircea_popescu: speaking of detecting gear, one of the best geek gotcha april fools thing would be to gift scam geiger counters to friends
mats: imagine my disappointment when the thing turns out to be handheld
asciilifeform: aha, in the sense where one can write a proggy, which is guaranteed to terminate in finite number of cycles, and will disgorge it.
phf: i assume you're talking not about a mechanism, but rather thinking process, in which case mp's private key is "known".
mircea_popescu: an ancient, and rather netwonian explanation of the difference is that deduction is all from god ; and induction from sensata.
mircea_popescu: you're thinking mathematical induction, perhaps, which has nothing to see with the logical concept of induction.
mircea_popescu: the 2nd lemma ?
mircea_popescu: well, why not. show the syllogism.
mircea_popescu: it is INDUCTIVELY accessible, if you have the time to induce all the needed factors. which we knew.
asciilifeform: mircea_popescu: p and q are right there in that n
mircea_popescu: phf quite exactly. which is why i don't use the term nor think much of reasonings employing it as a rule.
asciilifeform: so i rarely find myself arithmetizing 'is this fella TOO FAR in the phase space of priors' or the like.
asciilifeform: the thing about 'crazy' is that, like bacterial infection, in practice it comes in a handful of varieties.
phf: because it comes out to something like, if the outcome of inductive reasoning differs from my (??) existing conclusions, than the outcome is crazy
mircea_popescu: this definition was obtained through negotiation in class ; teacher had speech mania of saying "obvious", we protested, eventually the poor guy couldn't be needled into the ground with it so this solution was agreed upon and upheld by all parties.
mircea_popescu: phf i hope you're not about to put magic numbers in the fucking code!
phf: well, perhaps then transferability has some range values attached to it, "how much effort do i need to go through in order to grok"
mircea_popescu: but anyway, illustrations abound. from "the ratio of circumference to diameter" plouffe doesn't actually follow.
asciilifeform: 'obvious' is a term of art in mathematics.
mircea_popescu: even mathematics is not obvious in ALL its implications.
mircea_popescu: phf "to an extent" is always the case.
asciilifeform: 'I've seen things you people wouldn't believe. Attack ships on fire off the shoulder of Orion. I watched C-beams glitter in the dark near the Tannhäuser Gate.' (tm) (r)
mircea_popescu: "<mircea_popescu> at any rate : it is immensely more difficult to actually make a physical proof than the scheme detailed by bernstein immediately makes apparent."
phf: that's a prior that can be easier transferred, but only to an extent. i've not had that specific experience, perhaps there's some insight there that i'm missing beyond the obvious
mircea_popescu: i took a piss on a woman splayed in the backalleys of cairo. you did not. this is now not-transferrable ?!
trinque: nah, didn't see any gods in there myself.
asciilifeform: rather than revealed / secret ?
mircea_popescu: me either. public is anything that can be stated in such a way so that another can recognize his own in the statement ; private is what can not.
phf: but rather, are non-trivial to transfer
mircea_popescu: i meant private quite in the public/private dichotomy contempated re the defintion of republic/forum.
mircea_popescu: the crazy benefits of teh forum.
mircea_popescu: so then why would anyone protest crazy.
phf: i might find a discussion of lent dietary choices both interesting and not at all uncomfortable, but never the less they are "crazy" because the foundation is understood but not shared
trinque: catholics say they gave up starbucks or something during
mircea_popescu: none was implied, but the question still stands.
phf: there's no judgement involved in calling something crazy!
phf: if danielpbarron started discussing finer points of the bible, like, say, specific choices of food for lent, the entire thread is "crazy"
mircea_popescu: phf ie, whenever they had an idea ?
phf: i don't understand it and it matches my construct of other person's framing
mircea_popescu: (yes, when i say X is stupid what i mean is, exactly the matching above, except not regexp)
mircea_popescu: makes sense - my "crazyness" is the direct cause of about 99.x% of the times slavegirls get their hide recolored.
phf: well, danielpbarron is a religious fundamentalist. things that he says have to be recoded from his frame to my frame. if there's particularly prolonged periods of inability to map frames on my part, i can go "well this is crazy" and dismiss it as not bring relevant to me or i can spend significantly more effort to recode
DianaComan: that's phf's line from the fragment
mircea_popescu: what's "crazy" ? and plox don't tell me "that which diverges from the consensus of average derps", if possible.
DianaComan: anyway, it made me curious: what's the crazy that was plenty and seen but not really digested as it turned out?
DianaComan: phf: i'm just saying there was plenty of opportunities to speak up against crazy in the past, and i saw plenty of crazy and i just thought everyone else took it in strides, as part of the game. apparently not! <- at a stretch crazy might be seen as an insult I suppose
trinque: I don't see the crazy myself, but perhaps "we're all mad here!"
phf: danielpbarron expressed some concern that the following part of yesterdays #b-a log was an accusation made by me against mircea_popescu. i don't see it, but perhaps i'm missing something? http://paste.lisp.org/display/311820/raw
PeterL: meh, a couple people poked their heads in, no more than any other time in #b-a, I don't see any corpse-munching yet
asciilifeform: lulzily, in other nooze, classic #b-a is undergoing a very corpselike decomposition, fauna nobody even knew existed are devouring the carcass
mircea_popescu: and as far as the perversion of nature goes - quantum mechanics actually by its very own rules provides guarantees that it would not be observable by newtonian means. with the very isolated exception of "light through multiple mosquito nets", and fine problems in the perceived orbits of inner planets, there's really nothing to even measure about qm misbehaviour, for purely qm reasons!
mircea_popescu: that there is.
asciilifeform: there is a broader class of 'soft' negatives, e.g., 'you can X but it will take the mass of whole galaxy times 10^100' or whatnot.
mircea_popescu: the already very limited class of negative statements one can derive from physical laws is very fundamental, which in praxis severely limits your chances to do something clever.
mircea_popescu: by which i mean that a) all use is already in use - sure, an ant can't eat you, because of it - but you kinda already both know and use this and b) all uses not already in use are monstrously cataclysmic and temporally unapproachable. so the kelvin death, really ? oooo, neat, lemme make that into a doorlock!
mircea_popescu: even leaving aside that people are still enthusiastically building perpetuum-organ-pumpmobile to this very day ; what practical use are they ?
mircea_popescu: pretty much the only such [class of] statement comes from the laws of thermodynamics (and their mirrors in other fields), which are some of the very few fortunate cases where an actual bound is offered (see, by the way, feynman's excellent introduction in all this, with the reversible and irreversible machines etc), and so negative statements can be had.
mircea_popescu: making negative statements on the basis of positively established physical laws is the hardest task available.
mircea_popescu: nevertheless, an array of learned gents THOUGHT SO.
mircea_popescu: to best illustrate this, perhaps : there is nothing in newtonian mechanics that ACTUALLY precludes quantum mechanics.
mircea_popescu: at any rate : it is immensely more difficult to actually make a physical proof than the scheme detailed by bernstein immediately makes apparent.
mircea_popescu: he works for the republic even as he doesn't know it. and the eu printing press is paying for it. wonder of wonders.
mircea_popescu: phf i'm very happy with the guy's statement, both in the fundamental rejection and in the discursive analysis of the claims aspects. more words may be added to beenfit peculiar idiots, but as it stands it contains the first 4k or so words one'd say on the topic.
mircea_popescu: that is EXACTLY what it should motherfucking look like. assume l, assume p, therefore s.
mircea_popescu: phf yes, i am very happy with it. guy even includes a formal scheme of what the proof should look like, for the benefit of the titrated tykes.