Franklin's Blog https://franklin.dyer.me Posts about math, computer science, philosophy, language, and more. Abstracción de chatbots en Discord, Slack y Telegram https://franklin.dyer.me/post/201 https://franklin.dyer.me/post/201 Un pequeño andamiaje para crear chatbots independientes de plataforma y multiplataforma. WebSockets para realizar computaciones remotas https://franklin.dyer.me/post/199 https://franklin.dyer.me/post/199 O sea, cómo robar CPU. Counting elements of lists in Agda https://franklin.dyer.me/post/198 https://franklin.dyer.me/post/198 Or, pretentiously: verifying homomorphisms between the addition and concatentation monoids. Ejemplos de mónadas https://franklin.dyer.me/post/197 https://franklin.dyer.me/post/197 Tres ejemplos chulos de mónadas con interpretaciones informáticas. Evitar evaluaciones sin fin en Scheme https://franklin.dyer.me/post/195 https://franklin.dyer.me/post/195 An interesting way of evaluating arguments on a need-to-know basis.