The readings shared in Bluesky on 2 August 2025 are

• Solving years-old math problems with Gemini 2.5 Deep Think. ~ Michel van Garrel. #LLMs #Math
• A formalization of multiplicative proof-nets in Rocq. ~ Rémi Di Guardia, Olivier Laurent. #ITP #Rocq
• Fixed-point-oriented programming: A concise and elegant paradigm. ~ Yong Qi Foo, Brian Sze-Kai Cheong, Michael D. Adams. #Haskell #FunctionalProgramming
• #Exercitium: Problemas de programación con Haskell (enero de 2018). #Haskell #ProgramaciónFuncional #Matemáticas