Franklin Pezzuti Dyer

Home     Posts     Resources     CV     Contact

Welcome to the blog!

On this website, you'll find posts about topics in mathematics, computer science, philosophy, language, psychology, and other areas that I've found interesting, as well some comics and original creative works. I recently started taking my personal math notes in Markdown, so if you want to see what I've been studying independently, you can find my notes here.

If you want, you can check out my activity on Math Stackexchange and Github as well.

This blog has two main purposes:

I hope you find something here worth reading. However, it seems unlikely that this blog will benefit you more than it has benefitted me.

If you want to use my RSS feed, use this link.

Recent posts:

Automating associativity Never again use 14 lines to prove (((a+b)+c)+d)+e=a+(b+(c+(d+e)))!
Algebra and arithmetic with inductive types An intuitive introduction to algebraic proofs using type theory in Agda.
Three semesters of projects What I've been up to: 3D printing, fluid dynamics, Fourier analysis, category theory, and growth orders.
Funciones generadoras y el infinito potencial Juegos con sucesiones infinitas en Haskell y preguntas sobre su índole ontológico.
Analysis of growth orders, continued A closer look at the algebraic structure of asymptotic growth orders.