imported

• Installing Agda on Windows - January 19, 2013
• tmux + ssh-agent - March 30, 2012
• Life at Galois - March 23, 2012
• Keeping the "science" in Software Development - January 18, 2012
• Picking a GUI library to use with OpenGL - March 17, 2011
• Composability, laziness, testing, and proofs (oh my!) - September 19, 2010
• Fun, but pointless, code metrics - August 29, 2010
• Takusen Tutorial, Part 1: Hello, Takusen - August 1, 2010
• Delimited Continuations and version control: an update - June 10, 2010
• Delimited Continuations and Version Control - June 6, 2010
• Type-Correct Changes -- A Safe Approach to Version Control Implementation - March 25, 2009
• Phantom Types, Existentials and Controlling Unification -- Part 1 - November 10, 2008
• Darcs Hacking Sprint -- Summary from Portland Team - October 28, 2008
• Understanding Darcs Commute - October 24, 2008
• Hamming Was Right - October 24, 2008
• Darcs 2 Real-World Push Performance Evaluation - August 21, 2008
• Simple Unit Testing in Haskell - September 1, 2006
• Learn Math (10 tips) - August 17, 2006