Franklin Pezzuti Dyer
Home
Posts
Resources
CV
Contact
All of my compsci blog 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.
Mechanical Mockery with Discord.py
2020-10-30
How to use Python and the Markov model of natural language to mock members of a Discord server.
Who visits this blog, anyways?
2020-10-11 18:29:31
Lots of bots.
Recursive Generative Art with Pycairo
2020-08-16
How to use recursion and Pycairo to make pretty pictures.
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.
Lügen, die die Informatiker über Namen glauben (Übersetzung)
2020-07-25
Meine Übersetzung eines komischen Artikels über namensbezogenen Fehlerstellen.
Bookworm Adventures
2020-07-10
I reconstructed my favorite childhood videogame in the browser.
Packet-Fragmentation Optimization Problems
2020-06-01
A simplified model of how to optimize time-savings through packet fragmentation.
Environmental Crossfitness in Genetic Algorithms
2020-05-20
Virtually evolved 'organisms' make fools of themselves in unfamiliar environments.
SVD Decomposition and Image Compression
2019-12-10
I extract the essence of a beautiful iguana.
Pensamientos sobre la Tecnología
2019-10-20
Una paradigma para mejorar el uso saludable de la tecnología cotidiana.
back to home page