The readings shared in Bluesky on 27 March 2025 are

• Formalization of optimality conditions for smooth constrained optimization problems. ~ Chenyi Li et als. #ITP #LeanProver
• Formalization of algorithms for optimization with block structures. ~ Chenyi Li, Zichen Wang et als. #ITP #LeanProver
• Bi-intuitionistic logics through the abstract algebraic logic lens. ~ Jonte Deakin, Ian Shillito. #ITP #Coq #Rocq #Logic
• Automated reasoning in blockchain: Foundations, applications, and frontiers. ~ Hojer Key. #ITP #Blockchain
• Functional programming in Haskell. ~ Graham Hutton. #Haskell #FunctionalProgramming
• The Haskell Unfolder Episode 41: Generic monoids. ~ Edsko de Vries, Andres Löh. #Haskell #FunctionalProgramming
• Decomposing a factorial into large factors. ~ Terence Tao. #Math
• Mathematics of the “I Ching”. ~ Peter Rowlett. #Math #TeXLaTeX
• Apuntes de programación lógica (Hasta Prolog y más allá). ~ Joaquín Arias. #LogicProgramming #Prolog #CLP
• #Exercitium: Ordenación de estructuras. #Haskell #ProgramaciónFuncional
• Demostraciones con Lean4 y con Isabelle/HOL de "s ∪ (s ∩ t) = s". #LeanProver #IsabelleHOL #Math #Calculemus