Member of the Platform Health team: improving the health of GOV.UK through a combination of proactive interventions and reactive fixes on applications not under active development.
Maintained legacy Rails and Java applications by fixing bugs and applying updates.
Marked homeworks and helped students in the undergraduate compilers, discrete maths, and introductory programming modules, and the masters-level software testing module.
Fixed bugs, closed security holes, ported Ruby, and worked on ShareLaTeX code and data analysis after the two companies merged.
Powering realtime with spit and glue! (or so says my mug). I worked on performant and reliable distributed systems for message delivery.
Wrote a parser/renderer for an in-house wiki program using ANTLR in Java, and integrated this with JIRA.
It's a library for testing concurrent Haskell programs, which came out of my Ph.D research. Pretty much everything is supported, plus a few extras.
Comes with HUnit and Tasty bindings, so you can easily integrate it with your existing testsuite.
I accidentally started a GNU/Hurd distribution based on Arch Linux. This was completely unintentional.
Served my time as project leader from 2010 to 2015, managing a handful of developers around the world porting over Linux software. I also produced installation media and maintained the website and repositories.
I was one of the first few developers, and this is the project that taught me C and Git. It was fun, and I learned a lot. I still host the website and mailing list.
Do not expect good code if you go and dig up my contributions.