As of May 31, 2023, we have updated our Code of Conduct.
Franklin Pezzuti Dyer's user avatar
Franklin Pezzuti Dyer's user avatar
Franklin Pezzuti Dyer's user avatar
Franklin Pezzuti Dyer
  • Member for 4 years, 6 months
  • Last seen more than a month ago
Stats
3,301
reputation
60k
reached
29
answers
8
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! :-)

This user doesn’t have any gold badges yet.
12
silver badges
22
bronze badges
92
Score
9
Posts
24
Posts %
66
Score
6
Posts
16
Posts %
63
Score
4
Posts
11
Posts %
30
Score
5
Posts
14
Posts %
30
Score
4
Posts
11
Posts %
27
Score
2
Posts
5
Posts %
Top posts
View all questions and answers