• Debugging TLA+ specifications with state dumps - January 2, 2019
• Experimenting with TLA+ and PlusCal 3: Throttling multiple senders - December 19, 2017
• Experimenting with TLA+ and PlusCal 2: Throttling - November 11, 2017
• Experimenting with formal methods: TLA+ and PlusCal - November 8, 2017
• Setting up remote debugging for Google Chrome on Android - July 30, 2013
• The Factory Pattern: Design Patterns - July 7, 2013
• Compute hamming distance of byte arrays in Scala - July 7, 2013
• "Functional Programming Principles in Scala" online Coursera course - June 27, 2013
• Stripe Capture The Flag: Web Edition - August 25, 2012
• The Singleton Pattern - Design Patterns - May 22, 2012
• The Observer Pattern - Design Patterns - May 3, 2012
• Learning programming languages with Koans - March 20, 2012
• Tmux - a Terminal multiplexer - January 9, 2012
• Combining multiple MySQL UPDATEs - October 5, 2011
• Break helper 1.3 released - August 2, 2011
• Review - Version Control by Example by Eric Sink - July 31, 2011
• Solving Euler problems Part 4 (Final part) - July 23, 2011
• Solving Euler problems Part 3 - July 23, 2011
• Solving Euler problems Part 2 - July 22, 2011
• Solving Euler problems - June 30, 2011
• The Pragmatic Programmer - June 29, 2011