The readings shared in Bluesky on 13 August 2025 are

• In-order traversal in Haskell and Rust. ~ James Bowen. #Haskell #FunctionalProgramming #RustLang
• First analysis lecture (June 16, 2025). ~ Alex Kontorovich. #ITP #LeanProver #Math
• Second analysis lecture "Filter" (June 17, 2025). ~ Alex Kontorovich. #ITP #LeanProver #Math
• Structures in Lean4 (June 20, 2025). ~ Filippo Nuccio. #ITP #LeanProver
• Blueprints and PNT (June 23, 2025). ~ Alex Kontorovich. #ITP #LeanProver
• The Infinity Project (How to use AI and mathematics to prove and improve science and security). ~ Patrick Shafto. #AI #Math #ITP #LeanProver
• Verificación formal en ACL2 de polinomios de múltiples variables y su aplicación al problema de la decisión en la lógica proposicional clásica. ~ Francisco Palomo Lozano. #ITP #ACL2 #Logic #Math
• Reseña de «The Infinity Project (How to use AI and mathematics to prove and improve science and security)». #AI #Math #ITP #LeanProver
• #Exercitium: Problemas de programación con Haskell (febrero de 2016). #Haskell #ProgramaciónFuncional #Matemáticas