Franklin Pezzuti Dyer
-
Member for 6 years, 11 months
-
Last seen more than a month ago
-
GitHub
-
United States
Stats
240
reputation
0
reached
0
answers
0
questions
Loading…
About
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! :-)
Badges
Posts
This user hasn’t posted yet.
Top network posts
View all network posts