Franklin Pezzuti Dyer's user avatar
Franklin Pezzuti Dyer's user avatar
Franklin Pezzuti Dyer's user avatar
Franklin Pezzuti Dyer
  • Member for 7 years
  • Last seen this week
Stats
39,834
reputation
763k
reached
618
answers
236
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! :-)

9
gold badges
73
silver badges
166
bronze badges
430
Score
100
Posts
12
Posts %
329
Score
94
Posts
11
Posts %
273
Score
100
Posts
12
Posts %
241
Score
55
Posts
6
Posts %
204
Score
58
Posts
7
Posts %
159
Score
69
Posts
8
Posts %
Top posts
View all questions and answers