Readings shared December 25, 2024
The readings shared in Bluesky on 25 December 2024 are
- Readings shared December 24, 2024. #ITP #Agda #Haskell #FunctionalProgramming #Haskell #Python #AI #LLMs #Math
- #Exercitium: El teorema de Navidad de Fermat. #Haskell #Python #Math
- Lean: First steps (20 - Contradictory cases). ~ Tariq Rashid. #ITP #LeanProver #Lean4 #Math
- The bipolar Lisp programmer. ~ Mark Tarver. #Lisp #Programming