I occasionally blog about technical things, take a look:

• Mar 11 2017: gziprb - Gzip implemented in Ruby
• May 30 2016: Rust MD5
• Aug 10 2015: Inverting a binary tree (in Haskell)
• Jul 06 2015: Agda Patience Sort
• Sep 28 2014: Determinism costs! A NFA with exponentially bigger DFA
• Aug 15 2013: Simple type isomorphisms
• Oct 16 2012: Bash Script to Get and Apply a Remote Darcs Patch
• Oct 02 2012: Xmonad, Ubuntu 12.04 and Display Resizing/Mirroring
• Jan 28 2011: JavaScript Game of Life
• Jan 17 2011: Haskell boundedSpan function
• Jan 06 2011: Show patch diff for a given patch in darcs log
• Dec 24 2010: Scala Patience Diff
• Dec 22 2010: C# Pushdown Automaton
• Nov 29 2010: C#/LINQ to find Thompson/Speedtouch router's default SSID/Access keys
• Nov 29 2010: Scala implementation of Patience sort
• Nov 15 2010: Using an external diff viewer with Darcs
• Oct 19 2010: Haskell "Weasel Program" Genetic Algorithm
• Oct 01 2010: Of0ck the language
• Oct 01 2010: Linux Kernel Greynet implementation (RFC6018)
• Aug 28 2010: Elegant combinations in Haskell, with sequenceA
• Aug 21 2010: foldl implemented using foldr
• Aug 20 2010: Haskell composition operator fun: (.).(.)
• Mar 28 2010: Add accessed date to IEEEtran BibTeX style
• Oct 29 2009: Why there are only 33 possible IPv4 netmasks
• Oct 21 2009: AES using ECB Demo using Python