Eddie Jones;
a PhD student at the University of Bristol focusing on programming languages and verification. Despite its etymology, I really believe that abstraction can bring us closer to elegant practical solutions!
Cyclic Proofs for Functional Programmers
Exploring cyclic proofs through the lense of the Curry-Howard corresponds.
Regular Effects
Type-checking algebraic effect protocols with the Brzozowski derivative.
Functional Flocks
Over engineering biomimicry with comonads (apparently monads don't make for a good first blog post).