Franklin Pezzuti Dyer
Home
Posts
Resources
CV
Contact
Recent math posts:
Evitar evaluaciones sin fin en Scheme
2022-11-30
An interesting way of evaluating arguments on a need-to-know basis.
Un sistema de lógica temporal
2022-10-10
Ser o no ser... o no no ser, o o ser o no ser, o o no ser o no no ser...
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)))!
Show me more math posts!
Recent compsci posts:
Evitar evaluaciones sin fin en Scheme
2022-11-30
An interesting way of evaluating arguments on a need-to-know basis.
Recorrer un sistema de archivos con restricciones
2022-11-15
Tratamos las herramientas de gestión de directorios en C y los aplicamos a un ejercicio chulo.
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.
Show me more compsci posts!
Recent español posts:
Evitar evaluaciones sin fin en Scheme
2022-11-30
An interesting way of evaluating arguments on a need-to-know basis.
Recorrer un sistema de archivos con restricciones
2022-11-15
Tratamos las herramientas de gestión de directorios en C y los aplicamos a un ejercicio chulo.
Un sistema de lógica temporal
2022-10-10
Ser o no ser... o no no ser, o o ser o no ser, o o no ser o no no ser...
Pensamientos sobre la docencia
2022-09-19
Ideas que vienen de mi experiencia como mentor de PROMYS y ayudante de MATH 375.
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!