Essays
-
How to prove a compiler fully abstract
- April 19, 2018
-
How to prove a compiler correct
- January 16, 2018
-
(Cheap) home backups
- January 1, 2018
-
Why test in Haskell?
- October 5, 2014
-
A Hacker's Replacement for GMail
- June 29, 2013
-
A Literate Ur/Web Adventure
- May 21, 2013
-
Programming as Literature
- October 24, 2012
-
Haskell / Snap ecosystem is as productive as Ruby/Rails.
- April 26, 2012
-
Math/Science integrated with Scheme
- December 6, 2011
-
iOS is anti-UNIX and anti-programmer.
- September 15, 2011
-
Mercury tidbits - dependent types and file io
- September 3, 2011
-
Declarative ajax - imagining Heist-Async
- June 8, 2011