All of my compsci blog posts:
WebSockets para realizar computaciones remotas
2023-03-13
O sea, cómo robar CPU.
Counting elements of lists in Agda
2023-02-14
Or, pretentiously: verifying homomorphisms between the addition and concatentation monoids.
Ejemplos de mónadas
2023-01-30
Tres ejemplos chulos de mónadas con interpretaciones informáticas.
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.
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.