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.