Franklin's Blog https://franklin.dyer.me Posts about math, computer science, philosophy, language, and more. 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. Recorrer un sistema de archivos con restricciones https://franklin.dyer.me/post/194 https://franklin.dyer.me/post/194 Tratamos las herramientas de gestión de directorios en C y los aplicamos a un ejercicio chulo. Un sistema de lógica temporal https://franklin.dyer.me/post/192 https://franklin.dyer.me/post/192 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 https://franklin.dyer.me/post/191 https://franklin.dyer.me/post/191 Ideas que vienen de mi experiencia como mentor de PROMYS y ayudante de MATH 375. Automating associativity https://franklin.dyer.me/post/190 https://franklin.dyer.me/post/190 Never again use 14 lines to prove (((a+b)+c)+d)+e=a+(b+(c+(d+e)))!