Readings shared January 23, 2025
The readings shared in Bluesky on 23 January 2025 are
- Readings shared January 22, 2025. #ITP #IsabelleHOL #Coq #Rocq #LeanProver #FunctionalProgramming #Haskell #Python #Math #AI
- Formalising an easy proof: Dirichlet's approximation theorem. ~ Lawrence Paulson. #ITP #IsabelleHOL #Math
- Hallucination detection and recovery: Initial experiment. ~ GasStationManager. #LLMs #ITP #LeanProver
- Advanced Python course. ~ Michael Foord. #Python #Programming
- ELIZA, la primera psicoterapeuta programada con IA, rescatada del olvido gracias a la arqueología informática. ~ @Alvy. #IA