Readings shared April 23, 2025
The readings shared in Bluesky on 23 April 2025 are
- Bullshit universities: the future of automated education. ~ Robert Sparrow, Gene Flenady. #GenerativeAI #Education
- #Exercitium: Suma de cadenas. #Haskell #Python #CommonLisp
- #Calculemus: Demostraciones con Lean4 y con Isabelle/HOL de "f[s ∪ f⁻¹[v]] ⊆ f[s] ∪ v". #LeanProver #IsabelleHOL #Math