Readings shared October 30, 2025
The readings shared in Bluesky on 30 October 2025 are:
- Formalization of Auslander–Buchsbaum–Serre criterion in Lean4. ~ Naillin Guan, Yongle Hu. #ITP #LeanProver #Math
- Lists are geometric series. ~ iacgm. #Haskell #FunctionalProgramming
- #Exercitium: Rompecabeza matemático. #Haskell #ProgramaciónFuncional #Matemáticas
- #Exercitium: Distancia de Hamming. #Haskell #ProgramaciónFuncional #Matemáticas