What is type theory and how is it used?
Introducing the introductions with an introduction.
A new version of Super Smash Flash 2 has obfuscated some things!
I've made a lot of toy language projects, here's a list of them!
Discussion of how we can improve dependency management.
Making the JVM a better place.