Posts

Comments

Comment by pozorvlak on Logical Pinpointing · 2012-11-01T22:23:19.733Z · LW · GW

so AFAIK it's theoretically possible that I'm the first to spell out that idea in exactly that way

I remember explaining the Axiom of Choice in this way to a fellow undergraduate on my integration theory course in late 2000. But of course it never occurred to me to write it down, so you only have my word for this :-)

Comment by pozorvlak on Bayes' rule =/= Bayesian inference · 2011-06-10T10:39:51.664Z · LW · GW

And yet they do this all the frigging time in medical stories, as documented extensively on, for instance, Bad Science.

Comment by pozorvlak on Edinburgh LW Meetup Saturday April 16th · 2011-04-07T09:54:17.465Z · LW · GW

I'll be in Nottingham that day. Oh well, have fun :-)

Comment by pozorvlak on Harry Potter and the Methods of Rationality discussion thread · 2010-07-31T22:51:02.436Z · LW · GW

Actually, that was something about the original books that really bugged me: their sexlessness. Rowling captures the frustration and rage of being an adolescent boy very well, but not the lust - and that's probably deliberate. Sue Townsend's Adrian Mole books are much better in this regard.

Comment by pozorvlak on Harry Potter and the Methods of Rationality discussion thread · 2010-07-31T22:48:45.105Z · LW · GW

Or we've just learned something about Eliezer's sexual development that I, for one, would rather not have known.

Comment by pozorvlak on Harry Potter and the Methods of Rationality discussion thread · 2010-07-31T22:47:54.874Z · LW · GW

Victory!!!! :-)

Comment by pozorvlak on Harry Potter and the Methods of Rationality discussion thread · 2010-07-12T09:43:20.742Z · LW · GW

As soon as I'm old enough to get an erection I'm going to rape that bitch.

Yes, I found that sentence really jarring too. Even assuming that Draco was for some reason unable to get an erection, he'd hardly admit it.

Comment by pozorvlak on Newcomb's problem happened to me · 2010-03-29T17:17:40.263Z · LW · GW

If you're calling the potential bride in your scenario Kate, you should really have called her suitor Petruchio :-)

Comment by pozorvlak on The AI in a box boxes you · 2010-02-03T09:04:01.108Z · LW · GW

In which case, your actions are irrelevant - it's going to torture you anyway, because you only exist for the purpose of being tortured. So there's no point in releasing it.

Comment by pozorvlak on The AI in a box boxes you · 2010-02-03T09:01:20.487Z · LW · GW

So, since the threat makes me extremely disinclined to release the AI, I can conclude that it's lying about its capabilities, and hit the shutdown switch without qualm :-)

Comment by pozorvlak on Lesswrong UK planning thread · 2010-01-31T23:04:34.645Z · LW · GW

Yes, you're probably right.

Comment by pozorvlak on Lesswrong UK planning thread · 2010-01-26T15:19:30.574Z · LW · GW

It sounds like you're expecting them to do all the work, rather than being prepared to meet them half-way. It would probably be more interesting and productive all round if you're prepared to explain the formal models (or at least their consequences) to the neuroscientists.

Comment by pozorvlak on Lesswrong UK planning thread · 2010-01-24T22:32:44.014Z · LW · GW

On a related note, would anyone be interested in a meetup in Scotland? Or, failing that, the North of England?

Comment by pozorvlak on Lesswrong UK planning thread · 2010-01-24T18:15:09.740Z · LW · GW

Social anxiety disorder?

Comment by pozorvlak on Lesswrong UK planning thread · 2010-01-24T18:09:44.650Z · LW · GW

I'm unlikely to make it to anywhere in the South East, but don't let that put you off. Regarding plan (2), perhaps you could invite some neuroscientists?

Comment by pozorvlak on London meetup: "The Friendly AI Problem" · 2010-01-20T23:39:32.756Z · LW · GW

I have a half-face mask along those lines made for me by an ex-girlfriend. Sadly, she was not a mathematician, so the specific formulae aren't of much interest. Nice to have for the occasional costumed ball, though.

I met a bloke once who had Euclid's proof of Pythagoras' theorem tattooed on his arm, and got into a drunken argument with him about whether or not he should have chosen a more elegant proof.

Comment by pozorvlak on London meetup: "The Friendly AI Problem" · 2010-01-20T23:35:03.380Z · LW · GW

Break a leg :-)

Comment by pozorvlak on The Sin of Underconfidence · 2009-12-22T10:52:50.451Z · LW · GW

Cultivate a habit of confronting challenges - not the ones that can kill you outright, perhaps, but perhaps ones that can potentially humiliate you.

You may be interested to learn that high-end mountaineers apply exactly the strategy you describe to challenges that might kill them outright. Mick Fowler even states it explicitly in his autobiography - "success every time implies that one's objectives are not challenging enough".

A large part of mountaineering appears to be about identifying the precise point where your situation will become unrecoverable, and then backing off just before you reach it. On the other hand, sometimes you just get unlucky.

Comment by pozorvlak on The Contrarian Status Catch-22 · 2009-12-20T13:28:54.504Z · LW · GW

I think that, while there's some truth in what you say, you're twisting yourself into intellectual knots to avoid having to reify (and thus admit to) arrogance. As far as atheism goes, I think you were much more on the money with your post about untheism and antitheism: in a secular society, untheism is rarely an issue, but antitheism (like all proselytising belief-systems) is very annoying to the recipients.

Comment by pozorvlak on The Contrarian Status Catch-22 · 2009-12-20T13:24:38.805Z · LW · GW

There's software (such as the open-source Mnemosyne) which works by exactly this kind of staged review, in a more sophisticated form.