Hello

I've been reading LW for a long time. At the moment I'd like to learn about decision making more rigorously as well as finding out how to make better decisions myself - and then actually doing that in real life.

I'm also very interested in algorithmic reasoning about and creation of computer programs but I know far too little about this.