The readings shared in Bluesky on 31 January 2025 are

• Solidifying modern SMT solvers. ~ Dominik Winterer. #SMT
• The Common Lisp Cheat Sheet. ~ Ashok Khanna. #CommonLisp
• #Exercitium: Ordenación por el máximo. #Haskell #Python #CommonLisp