Archive
- Don't play with your monads (June 9, 2009)
- Shootout (June 16, 2009)
- Halting problem (June 24, 2009)
- Schrödinger's cat (July 21, 2009)
- Trial (July 28, 2009)
- HWN (September 17, 2009)
- HCAR (November 1, 2009)
- SKI (January 1, 2010)
- Zhuangzi, butterfly and referential transparency (May 15, 2010)
- Curry (November 15, 2010)
- Résumé (December 12, 2010)
- Abstractions (January 16, 2011)
- ICFP (September 11, 2011)
- The future of mathematics (October 3, 2011)