Readings shared February 17, 2025
The readings shared in Bluesky on 17 February 2025 are
- Natural transformations as a basis of control. ~ Murat Kasimov. #Haskell #FunctionalProgramming
- To type or not to type? ~ Jonathan Chun. #Python #Programming
- Diverse inference and verification for advanced reasoning. ~ Iddo Drori et als. #AI #LLMs #ITP #LeanProver
- MathConstruct: Challenging LLM reasoning with constructive proofs. ~ Mislav Balunović et als. #AI #LLMs #Math
- MathGAP: Out-of-distribution evaluation on problems with arbitrarily complex proofs. ~ Andreas Opedal et als. #AI #LLMs #Math
- Personalizando Emacs. ~ Ivan Agosto. #Emacs