Readings shared May 17, 2025
The readings shared in Bluesky on 17 May 2025 are
- Formalizing the future: Lean’s impact on mathematics, programming, and AI. ~ Leo De Moura. #ITP #LeanProver #Math #CompSci #AI
- Will computers prove theorems? ~ Kevin Buzzard. #ITP #LeanProver #Math
- Recursive definitions in Lean. ~ Joachim Breitner. #ITP #LeanProver #FunctionalProgramming
- Digitalizing Wick's theorem. ~ Joseph Tooby-Smith. #ITP #LeanProver
- The Haskell Unfolder Episode 44: State-based testing with quickcheck-lockstep. ~ Edsko de Vries, Andres Löh. #Haskell #FunctionalProgramming