category-theory-as-a-tool-for-thought. Material for the "Category Theory as a Tool for Thought" talk
41bloggable-thoughts. Stuff that could've been made into a blog if I wasn't too lazy
19figi. Figi is a small macro based utility for Scala 2.11 that allows you to easily create simple type-safe wrappers for configuration objects.
10akka-streams-workshop. Material for the Akka Streams workshop
9custom-compile-time-errors. Material for the "Custom Compile-Time Errors with a Vengeance" talk
7scala3-flat-json-blog. Material for the "Practical Type-Level Programming in Scala 3" blog series
6intro_to_fp_for_oo. Material for the "Introduction to Functional Design for OO Programmers" talk
5named-tuples-whitebox. Scala
4scala3-macro-tracing-blog. Scala
3point-of-learning-fp-blog. Haskell
31984-talk. Material for the "What Orwell's 1984 Can Teach Us about Programming" talk
2language_perils. An exploration of programming languages
2illegal-states. Material for the "Make Illegal States Unrepresentable" talk
2illegal-ai-edits. Java
1purify-tests-blog. Material for the "Purify Your Tests" blog
1compile-time-logic-programming-talk. Material for the "Compile Time Logic Programming in Scala ― What For?" talk.
1nixos-examples-blog. Nix
1typeclass_for_the_masses. Material for a talk about typeclasses
1