All articles

• May 22, 2012 Reverse mathematics, constructivism and justification
• March 5, 2012 Learning mathematical philosophy
• March 2, 2012 An introduction to reverse mathematics
• April 11, 2011 Developing arithmetic in Gödel's system T
• April 4, 2011 Firmin, a JavaScript animation library
• March 16, 2011 How to compile your own Nginx and Passenger
• March 2, 2011 Truth tables in Haskell
• August 21, 2010 Approaches to currying in JavaScript