Franklin's Blog https://franklin.dyer.me Posts about math, computer science, philosophy, language, and more. Pensamientos sobre la docencia https://franklin.dyer.me/post/191 https://franklin.dyer.me/post/191 Ideas que vienen de mi experiencia como mentor de PROMYS y ayudante de MATH 375. Automating associativity https://franklin.dyer.me/post/190 https://franklin.dyer.me/post/190 Never again use 14 lines to prove (((a+b)+c)+d)+e=a+(b+(c+(d+e)))! Algebra and arithmetic with inductive types https://franklin.dyer.me/post/189 https://franklin.dyer.me/post/189 An intuitive introduction to algebraic proofs using type theory in Agda. Three semesters of projects https://franklin.dyer.me/post/188 https://franklin.dyer.me/post/188 What I've been up to: 3D printing, fluid dynamics, Fourier analysis, category theory, and growth orders. Funciones generadoras y el infinito potencial https://franklin.dyer.me/post/187 https://franklin.dyer.me/post/187 Juegos con sucesiones infinitas en Haskell y preguntas sobre su índole ontológico.