Optimizers need a rethink

An opinionated beginner's guide to Haskell in mid-2019 (2019)

Principled Ad-Hoc Polymorphism [2018]

On leaving my last job (leaving Apple)

Zig-style generics are not well-suited for most languages

Zig-style generics are not well-suited for most languages

Experience 6 Months of Go