Hi! I have a blog at franklin.dyer.me.

Here's what I've been learning about lately:

• Type-checkers and formal proof verification, particularly in Agda
• Functional analysis and quantum information/computation
• Operating systems, computer networks and how they interact
• Formalizing an algebraic theory of asymptotic growth orders

I'm also interested in philosophy, language-learning and education.

Get in touch if you have a problem or idea you'd like to chat about! :-)