Franklin Pezzuti Dyer

Home     Posts     Resources     CV     Contact

Recent math posts:

Evitar evaluaciones sin fin en Scheme An interesting way of evaluating arguments on a need-to-know basis.
Un sistema de lógica temporal 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 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)))!
Show me more math posts!

Recent compsci posts:

Evitar evaluaciones sin fin en Scheme An interesting way of evaluating arguments on a need-to-know basis.
Recorrer un sistema de archivos con restricciones Tratamos las herramientas de gestión de directorios en C y los aplicamos a un ejercicio chulo.
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.
Show me more compsci posts!

Recent español posts:

Evitar evaluaciones sin fin en Scheme An interesting way of evaluating arguments on a need-to-know basis.
Recorrer un sistema de archivos con restricciones Tratamos las herramientas de gestión de directorios en C y los aplicamos a un ejercicio chulo.
Un sistema de lógica temporal 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 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 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!