Franklin Pezzuti Dyer

Home     Posts     Resources     CV     Contact

Recent math posts:

Pensamientos sobre la docencia Ideas que vienen de mi experiencia como mentor de PROMYS y ayudante de MATH 375.
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.
Show me more math posts!

Recent compsci 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.
Sudoku en C Un análisis del rendimiento de mi solucionador de Sudoku.
Polyhedra in STL and the Conway Operators Data structures an algorithms for storing, constructing, and manipulating 3D polyhedra.
Show me more compsci posts!

Recent español posts:

Pensamientos sobre la docencia Ideas que vienen de mi experiencia como mentor de PROMYS y ayudante de MATH 375.
Funciones generadoras y el infinito potencial Juegos con sucesiones infinitas en Haskell y preguntas sobre su índole ontológico.
Sudoku en C Un análisis del rendimiento de mi solucionador de Sudoku.
Falacias que los informáticos creen sobre los nombres (traducción) 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 Die Monster unterm Bett eines Mathematikers.
Das perfekteste Bund (Fiktion) Gibt's jemand noch da? Bitte?
Eine Analyse des Willens Ob du diesen Link anklicken wirst, wird von einem Wettstreit deiner Willen bestimmt...
Lügen, die die Informatiker über Namen glauben (Übersetzung) Meine Übersetzung eines komischen Artikels über namensbezogenen Fehlerstellen.
Show me more deutsch posts!

Recent creative posts:

قصتين في اللغة العربية قصتين سهلة التي انا كتبت لفصلي
Das perfekteste Bund (Fiktion) Gibt's jemand noch da? Bitte?
Recursive Generative Art with Pycairo How to use recursion and Pycairo to make pretty pictures.
Charon and Algernon (dialogue) No worldly possessions allowed in the Underworld.
Show me more creative posts!

Recent comics posts:

Halloween with Freud Forget candy - give me psychological insight!
Conceptions of Infinity What do we mean when we talk about 'infinity'?
Aristotle's Hylomorphism How do Aristotle's metaphysical views hold up against modern science?
Aliens and Convergent Evolution
Show me more comics posts!