Franklin Pezzuti Dyer
Home
Posts
Resources
CV
Contact
Recent math posts:
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.
Show me more math posts!
Recent compsci posts:
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.
Sudoku en C
2021-09-25
Un análisis del rendimiento de mi solucionador de Sudoku.
Polyhedra in STL and the Conway Operators
2021-03-30
Data structures an algorithms for storing, constructing, and manipulating 3D polyhedra.
Show me more compsci posts!
Recent español posts:
Pensamientos sobre la docencia
2022-09-19
Ideas que vienen de mi experiencia como mentor de PROMYS y ayudante de MATH 375.
Funciones generadoras y el infinito potencial
2022-03-16
Juegos con sucesiones infinitas en Haskell y preguntas sobre su índole ontológico.
Sudoku en C
2021-09-25
Un análisis del rendimiento de mi solucionador de Sudoku.
Falacias que los informáticos creen sobre los nombres (traducción)
2020-07-25
Mi traducción de un artículo cómico sobre fallos técnicos relacionados con los nombres.
Show me more español posts!
Recent deutsch posts:
Schauergeschichten der Analyse
2021-10-31
Die Monster unterm Bett eines Mathematikers.
Das perfekteste Bund (Fiktion)
2021-03-13
Gibt's jemand noch da? Bitte?
Eine Analyse des Willens
2020-11-20
Ob du diesen Link anklicken wirst, wird von einem Wettstreit deiner Willen bestimmt...
Lügen, die die Informatiker über Namen glauben (Übersetzung)
2020-07-25
Meine Übersetzung eines komischen Artikels über namensbezogenen Fehlerstellen.
Show me more deutsch posts!
Recent creative posts:
قصتين في اللغة العربية
2021-12-06
قصتين سهلة التي انا كتبت لفصلي
Das perfekteste Bund (Fiktion)
2021-03-13
Gibt's jemand noch da? Bitte?
Recursive Generative Art with Pycairo
2020-08-16
How to use recursion and Pycairo to make pretty pictures.
Charon and Algernon (dialogue)
2020-08-05
No worldly possessions allowed in the Underworld.
Show me more creative posts!
Recent comics posts:
Halloween with Freud
2020-11-01 00:59:54
Forget candy - give me psychological insight!
Conceptions of Infinity
2020-08-23
What do we mean when we talk about 'infinity'?
Aristotle's Hylomorphism
2020-07-30
How do Aristotle's metaphysical views hold up against modern science?
Aliens and Convergent Evolution
2019-12-29
Show me more comics posts!