An elegant Rails app which teaches a formal system core to computability. This site acts as a web interface for the lambda calculus gem I wrote. It features a tutorial page which interactively teaches the reader how lambda calculus works.

# Lambda Calculus Ruby Gem

I’ve written a gem (Ruby’s name for a library) which constructs and evaluates lambda expressions. These are meaningful expressions from a mathematical system called lambda calculus, which forms the basis of functional programming languages. Using the gem, you can create lambda expressions in Ruby by typing them in a natural way. You can then tell Ruby to evaluate the expression, and it will print the result for you in the same natural notation. You can perform the evaluation step by step, or all at once.

# An Intuitive Explanation of Solomonoff Induction

An article for the Machine Intelligence Research Institute which explains a technical subject to a non-technical audience.

**Relevant skills**; mathematics, communication, writing.

# Algorithmic Decision Theory

A paper describing a decision algorithm more cooperative than the classical Causal Decision Theory, and more reasonable than the prototypical Evidential Decision Theory.

**Relevant skills**; mathematics, clear thought, communication.