The readings shared in Bluesky on 24 February 2025 are

• Formalising Brauer group and group cohomology in Lean4.~ Jujian Zhang. #ITP #LeanProver #Math
• The Haskell road to logic, math and programming. ~ Kees Doets, Jan van Eijck (2004). #Haskell #FunctionalProgramming #Logic #Math
• Bind and traverse with Kleisli morphisms. ~ Murat Kasimov. #CategoryTheory #Haskell #FunctionalProgramming
• Elements of Clojure. ~ Zachary Tellman. #Clojure #Lisp #FunctionalProgramming
• Open Reasoning Data (1,748,344 questions and 300,119 chain-of-thought traces to train open models). #AI #LLMs
• Material abierto para construir modelos de razonamiento general: 1.600.000 preguntas y 270.000 trazas de cadenas de pensamiento. ~ Por @Alvy. #AI #LLMs