- Solving the expression problem in Python (object algebras and mypy static types) - July 15, 2015
- Round tripping JSON with partial isomorphisms (1/2) - March 1, 2015
- Microcorruption CTF levels - September 16, 2014
- An introduction to DataKinds and GHC.TypeLits - July 30, 2014
- Flippers: a compositional shoehorn. - January 14, 2014
- XXHash for haskell - January 10, 2014
Atom feed
“All truth passes through three stages. First, it is ridiculed. Second, it is violently opposed. Third, it is accepted as being self-evident.”
— Arthur Schopenhauer