LESSWRONG

Happy New Year, everyone! In the past few months I've been thinking several thoughts that all seem to point in the same direction: 1) Pe

I'm not sure if this post is very on-topic for LW, but we have many folks who understand Haskell and many folks who are interested in Löb's

My beliefs about the integers are a little fuzzy. I believe the things that ZFC can prove about the integers, but there seems to be more tha

Hal Finney has just died. http://lists.extropy.org/pipermail/extropy-chat/2014-August/082585.html http://lesswrong.com/lw/1ab/dying_outs

This post doesn't contain any new ideas that LWers don't already know. It's more of an attempt to organize my thoughts and have a writeup fo

In decision theory, we often talk about programs that know their own source code. I'm very confused about how that theory applies to people,

This post was inspired by Benja's SUDT post. I'm going to describe another simplified model of UDT which is equivalent to Benja's proposal,

In physical science the first essential step in the direction of learning any subject is to find principles of numerical reckoning and pract

Here's an internal dialogue I just had. Q: How do we test rationality skills? A: We haven't come up with a comprehensive test yet. Q:

Many people believe that Bayesian probability is an exact theory of uncertainty, and other theories are imperfect approximations. In this po