The readings shared in Bluesky on 25 March 2025 are

• Teaching "Foundations of Mathematics" with the Lean theorem prover. ~ Mattia Luciano Bottoni, Alberto Cattaneo, Elif Sacikara. #ITP #LeanProver #Math
• Ten Commandments of the Church of Emacs. #Emacs
• #Exercitium: Alfabeto comenzando en un carácter. #Haskell #ProgramaciónFuncional
• Demostraciones con Lean4 y con Isabelle/HOL de "s ∩ (s ∪ t) = s". #LeanProver #IsabelleHOL #Math #Calculemus