As most of my work unfortuanately has been closed source (😔) this is still a rather limited list.
- Prodlog A tool for logging commands executed and file modifications on remote servers. I use it to keep a trace of what I do that comes in handy when analysing issues (when exactly was that change deployed?). It also automatically forms a sort of cookbook that helps doing the same thing the same way every time.
- CapeVM The sources for my PhD research, described in my thesis, and this paper (requires ACM digital library access). Not very polished code, so drop me a line if you're interested in reproducing the results.
- categorytheory My answers so far to Bartosz Milewski's excellent Category Theory for Programmers. As you can see I'm stuck at Adjunctions. I should pick this up again sometime.
- io_monad A simple reimplementation of the IO Monad. Writing this really took away a lot of the mystery for me.
I recently started a blog to document my journey learning Rust, but I'm really enjoying writing these posts so I'll probably use it to vent my opinion on anything related to programming. 🖋️🖋️🖋️
- KISS
- DRY (when in conflict with KISS, prefer the first until n>2)
- YAGNI
