The readings shared in Bluesky on 26 August 2025 are

• Experimental results for Vampire on the equational theories project. ~ Mikoláš Janota. #ATP #Vampire
• Lean meets theoretical computer science: Scalable synthesis of theorem proving challenges in formal-informal pairs. ~ Terry Jingchen Zhang et als. #ITP #LeanProver #LLMs
• Why cannot large language models ever make true correct reasoning? ~ Jingde Cheng. #LLMs #Reasoning
• #Exercitium: Matrices de Toepliz. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Máximos locales. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Lista cuadrada. #Haskell #ProgramaciónFuncional #Matemáticas