Readings shared August 24, 2025
The readings shared in Bluesky on 24 August 2025 are
- LeanGeo: Formalizing competitional geometry problems in Lean. ~ Chendong Song et als. #ITP #LeanProver #Math #LLMs
- To zip through the cost analysis of probabilistic programs. ~ Matthias Hetzenberger, Georg Moser, Florian Zuleger. #Haskell #FunctionalProgramming
- #Exercitium: Mastermind. #Haskell #ProgramaciónFuncional #Matemáticas
- #Exercitium: Primos consecutivos con media capicúa. #Haskell #ProgramaciónFuncional #Matemáticas
- #Exercitium: Anagramas. #Haskell #ProgramaciónFuncional #Matemáticas