The readings shared in Bluesky on 27 October 2025 are:

• Stock market shark: More multidimensional DP. ~ James Bowen. #Haskell #FunctionalProgramming #RustLang
• APOLLO: Automated LLM and Lean collaboration for advanced formal reasoning. ~ Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh. #ITP #LeanProver #LLM
• #Exercitium: Poner en mayúscula la primera letra y las restantes en minúsculas. #Haskell #ProgramaciónFuncional