A mathematics student at cambridge. Interests in mathematics, programming, philosophy of mathematics.