Readings shared November 20, 2025
The readings shared in Bluesky on 20 November 2025 are:
- Formalization of Auslander-Buchsbaum-Serre criterion in Lean4. ~ Naillin Guan, Yongle Hu. #ITP #LeanProver #Math
- On small functions (and Haskell). ~ Alexander Przemysław Kamiński. #Haskell #FunctionalProgramming
- Hyperfunctions: Communicating continuations. ~ Donnacha Oisín Kidney, Nicolas Wu. #Haskell #FunctionalProgramming
- #Exercitium: Acrónimos. #Haskell #ProgramaciónFuncional