Franklin Pezzuti Dyer's user avatar
Franklin Pezzuti Dyer's user avatar
Franklin Pezzuti Dyer's user avatar
Franklin Pezzuti Dyer
  • Member for 6 years, 11 months
  • Last seen more than a month ago
Stats
1,609
reputation
16k
reached
3
answers
15
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.
6
silver badges
23
bronze badges
14
Score
2
Posts
11
Posts %
14
Score
1
Posts
6
Posts %
11
Score
2
Posts
11
Posts %
11
Score
1
Posts
6
Posts %
5
Score
1
Posts
6
Posts %
0
Score
4
Posts
22
Posts %
Top posts
View all questions and answers
question
19
Jun 14, 2017
question
18
Jun 13, 2017
question
9
Mar 11, 2018
question
8
Jul 1, 2017
question
8
Jul 5, 2017
question
8
May 21, 2017
question
8
May 20, 2017