Readings shared September 10, 2025
The readings shared in Bluesky on 10 September 2025 are
- An introduction to formal real analysis (Lecture 1: The story of real analysis. Lean tactics (exact, rfl, rewrite, ringnf, use, intro, specialize, choose)). ~ Alex Kontorovich. #ITP #LeanProver #Math
- An introduction to formal real analysis (Lecture 2: Newton's computation of π. Formal definition of the limit of a sequence). ~ Alex Kontorovich. #ITP #LeanProver #Math
- Real analysis, the game! ~ Alex Kontorovich. #ITP #LeanProver #Math
- Using Haskell in production. ~ Agentultra. #Haskell #FunctionalProgramming
- #Exercitium: Ventana deslizante. #Haskell #ProgramaciónFuncional