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:

- To clearly explain complex ideas that are interesting and/or important (in an entertaining way). These blog posts avoid obscure notation and terminology, which can be a discouraging barrier to entry for people interested in academic subjects.
- To improve
*my own*comprehension of concepts that interest me. Forcing myself to lay out my thoughts in detail is a good way to practice communication and teaching skills, as well as uncover mistakes or weaknesses in my understanding.

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.

Pensamientos sobre la docencia
2022-09-19
Ideas que vienen de mi experiencia como mentor de PROMYS y ayudante de MATH 375.

Automating associativity
2022-06-29
Never again use 14 lines to prove (((a+b)+c)+d)+e=a+(b+(c+(d+e)))!

Algebra and arithmetic with inductive types
2022-06-02
An intuitive introduction to algebraic proofs using type theory in Agda.

Three semesters of projects
2022-05-20
What I've been up to: 3D printing, fluid dynamics, Fourier analysis, category theory, and growth orders.

Funciones generadoras y el infinito potencial
2022-03-16
Juegos con sucesiones infinitas en Haskell y preguntas sobre su índole ontológico.

Conceptions of Infinity
2020-08-23
What do we mean when we talk about 'infinity'?

Who visits this blog, anyways?
2020-10-11 18:29:31
Lots of bots.

Who's Who of Elliptic Functions
2021-08-01
An intuitive introduction to one of my favorite mathematical subjects.

قصتين في اللغة العربية
2021-12-06
قصتين سهلة التي انا كتبت لفصلي