The readings shared in Bluesky on 20 August 2025 are

• Queen domination by SAT solving. ~ Taha Rostami, Curtis Bright. #ATP #SAT_Solving
• The price of intelligence (Three risks inherent in LLMs). ~ Mark Russinovich, Ahmed Salem, Santiago Zanella-Béguelin, Yonatan Zunger. #AI #LLMs
• #Exercitium: Problemas de programación con Haskell (noviembre de 2014). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (octubre de 2014). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (julio de 2014). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (junio de 2014). #Haskell #ProgramaciónFuncional #Matemáticas