Franklin Pezzuti Dyer

Welcome to my blog!

I'm Franklin, a computer science and math student at the University of New Mexico (currently abroad for a year at the Universidad de Granada). Aside from my majors, some of my interests include philosophy and language-learning. On this blog I write about cool ideas and puzzles that hold my interest outside of work and class. You can also access some of my (much less polished) personal math notes here.

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

I like to maintain this blog because I sometimes get fixated on an idea and find it really helpful to write out all of my thoughts in an organized way. Trying to explain an idea to someone else benefits me by helping me understand that idea on a deeper level and in simpler terms. It seems unlikely that there will ever be someone who enjoys reading my blog as much as I enjoy writing it!

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

Recent posts:

Abstracción de chatbots en Discord, Slack y Telegram 2023-04-30 Un pequeño andamiaje para crear chatbots independientes de plataforma y multiplataforma.

WebSockets para realizar computaciones remotas 2023-03-13 O sea, cómo robar CPU.

Counting elements of lists in Agda 2023-02-14 Or, pretentiously: verifying homomorphisms between the addition and concatentation monoids.

Ejemplos de mónadas 2023-01-30 Tres ejemplos chulos de mónadas con interpretaciones informáticas.

Evitar evaluaciones sin fin en Scheme 2022-11-30 An interesting way of evaluating arguments on a need-to-know basis.