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! :-)