Readings shared September 1, 2025
The readings shared in Bluesky on 1 September 2025 are
- Growing Mathlib: maintenance of a large scale mathematical library. ~ Anne Baanen et als. #ITP #LeanProver #Mathlib
- Starting out with graph algorithms: Basic DFS. ~ James Bowen. #Haskell #FunctionalProgramming #RustLang
- Alpha-beta pruning is just minimax in a lattice of clamping functions. ~ Li-yao Xia. #Haskell #FunctionalProgramming
- #Exercitium: Buscaminas. #Haskell #ProgramaciónFuncional #Matemáticas
- #Exercitium: Mayor sucesión del problema 3n+1. #Haskell #ProgramaciónFuncional #Matemáticas
- #Exercitium: Filtro booleano. #Haskell #ProgramaciónFuncional #Matemáticas