The readings shared in Bluesky on 8 February 2025 are

• Verification of the CVM algorithm with a new recursive analysis technique. ~ Emin Karayel, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan, Seng Joe Watt. #ITP #IsabelleHOL
• Review of "Haskell in depth" by Vitaly Bragilevsky. ~ Brent Yorgey. #Haskell #FunctionalProgramming
• Cervantes, la cuadratura del círculo y la búsqueda del punto fijo. ~ Tomás Domínguez Benavides. #Matemáticas