The readings shared in Bluesky on 18 September 2025 are:

• Case study: Verified Vampire proofs in the lambdapi-calculus modulo. ~ Anja Petković Komel, Michael Rawson, Martin Suda. #ATP #Vampire #ITP #Dedukti
• Gemini AI solves coding problem that stumped 139 human teams at ICPC World Finals (Gemini shows off at another high-level academic competition). ~ Ryan Whitwam. #AI #LLMs #Gemini #Programming
• #Exercitium: Código Morse. #Haskell #ProgramaciónFuncional