How to donate to the Future of Humanity Institute as a UK taxpayer

As charitable causes, MIRI, CFAR, and FHI are the ones that seem to me to do the most good per pound given, and are not far apart in efficiency. However as a UK tax payer, I can give to FHI much more efficiently than I can the other two. I took some wrong turns inContinue reading “How to donate to the Future of Humanity Institute as a UK taxpayer”

Some brief notes on how to sign up for cryonics in the UK

If you want to be signed up for cryonics but you haven’t quite taken the first step, you should send three emails now. First, you’re going to need life insurance to pay for your cryopreservation and storage. For that I recommend my financial advisor, Chris Morgan of Compass Independent; I persuaded him to look intoContinue reading “Some brief notes on how to sign up for cryonics in the UK”

My questions for Leah Libresco

Leah Libresco made waves earlier this year when, after years of blogging for the Patheos atheism portal, she announced her conversion to Roman Catholicism.  Shortly after that, in late July, she attended the same CFAR one-week camp as me, and it was a privilege to spend time with her: she’s smart, energetic, thoughtful and veryContinue reading “My questions for Leah Libresco”

No architectural leap required

I recently listened to the Yudkowsky-Hanson debate that took place at Jane Capital in June 2011.  It’ll surprise no-one that I’m more convinced by Eliezer Yudkowsky’s arguments than Robin Hanson’s, but the points below aren’t meant to recap or cover the entire debate. At roughly 34 minutes in, Hanson leans hard on the idea thatContinue reading “No architectural leap required”

Lambda calculus and Graham’s number

Very big numbers like Graham’s Number are often expressed with lengthy, clumsy, semi formal explanations. But it’s concise and convenient to express such numbers precisely in the pure lambda calculus, using Church numerals. Starting with Knuth’s up-arrow, if we define fn,a(b) = a↑nb, then f0,a(b) = ab and fn+1,a(b) = fn,ab(1). From this we get thatContinue reading “Lambda calculus and Graham’s number”