Readings shared October 6, 2025
The readings shared in Bluesky on 6 October 2025 are:
- An introduction to formal real analysis (Lecture 8: Advanced limit theorems and induction). ~ Alex Kontorovich. #ITP #LeanProver #Math
- Formal verification of COO to CSR sparse matrix conversion. ~ Andrew W. Appel. #ITP #CoqProver #Math
- Aristotle: IMO-level automated theorem proving. ~ Tudor Achim et als. #AI #Math #LLMs #ITP #LeanProver
- Waitfree linearization of an arbitrary data object. ~ Wim Hendrik Hesselink.2#page=135 #ITP #PVS
- Correctness, artificial intelligence, and the epistemic value of mathematical proof. ~ James Owen Weatherall, Jesse Wolfson. #Math #AI #ITP
- Dynamic programming primer. ~ James Bowen. #Haskell #FunctionalProgramming #RustLang
- #Exercitium: Matriz permutación. #Haskell #ProgramaciónFuncional #Matemáticas