Readings shared October 29, 2025
The readings shared in Bluesky on 29 October 2025 are:
- Formalizing Schwartz functions and tempered distributions. ~ Moritz Doll. #ITP #LeanProver #Math
- 1000+ theorems (The spiritual successor of Freek’s list of 100 theorems. Now with more than 1000 theorems!). ~ Katja Berčič et als. #Math #ITP #IsabelleHOL #HOLLight #Rocq #LeanProver #Metamath #Mizar
- Combining textual and structural information for premise selection in Lean. ~ Job Petrovčič, David Eliecer Narvaez Denis, Ljupčo Todorovski. #AI #Math #ITP #LeanProver
- Martin Davis: An overview of his work in logic, computer science, and philosophy. ~ Liesbeth De Mol, Yuri V. Matiyasevich, Eugenio G. Omodeo, Alberto Policriti, Wilfried Sieg, Elaine J. Weyuker. #Logic #Math #CompSci
- Freshman’s dream. ~ John D. Cook. #Math #Python #Programming
- The reasons AI may act secretive (Trained to reflect human behavior, AI models may share half-truths or purposely omit information). ~ Jennifer Goforth Gregory. #AI
- In search of better search (Does AI improve, or misdirect, search engines and their results?). ~ Samuel Greengard. #GenAI
- #Exercitium: Suma de todos los anteriores. #Haskell #ProgramaciónFuncional #Matemáticas