Readings shared August 8, 2025
The readings shared in Bluesky on 8 August 2025 are
- Discrete mathematics with Lean 4. ~ Shrey Vivek./#/g/shreyvivek/gamemaker #ITP #LeanProver #Math
- Gödel's incompleteness theorem. ~ Thorsten Altenkirch. #ITP #LeanProver #Logic #Math
- Scrutinizing LLM reasoning models (Researchers are seeking to learn the steps behind an LLM's inference process). ~ Emma Stamm. #LLMs #Reasoning
- Cálculo infinitesimal. ~ Gerard Romo Garrido. #eBook #Matemáticas
- #Exercitium: Problemas de programación con Haskell (febrero de 2017). #Haskell #ProgramaciónFuncional #Matemáticas
- #Exercitium: Problemas de programación con Haskell (enero de 2017). #Haskell #ProgramaciónFuncional #Matemáticas