February 1, 2016
The entire process from zero to “Hello, Haskell!” running on a cheap Amazon EC2 instance.
January 26, 2016
You can have your cake, you can eat your cake, and you can automatically verify the fundamental correctness of the pâtisserie at bake-time.
November 24, 2015
Code review is an oddly bureacratic process for a team of software developers to follow. What follows are my non-technical thoughts on conducting constructive, humane reviews of code.
November 13, 2015
Repeat after me: A monad is not a burrito. A monad is not a burrito. A monad is…
November 12, 2015
Stop screwing around with version control ceremony and learn to love Git from the command line.