Readings shared January 9, 2025
The readings shared in Bluesky on 9 January 2025 are
- Readings shared January 8, 2025. #ITP #IsabelleHOL #AI #MachineLearning #LLMs
- Teaching "Foundations of mathematics" with the LEAN theorem prover. ~ Mattia Luciano Bottoni, Alberto S. Cattaneo, Elif Sacikara. #ITP #LeanProver #Math
- Using a JavaScript component inside a Haskell application. ~ Mateusz Goślinowski. #Haskell #FunctionalProgramming #JavaScript
- Mathematics of neural networks (Lecture notes graduate course). ~ Bart M.N. Smets. #NeuralNetwork #Math
- Notes on mathematical logic (Vol. 1). ~ David W. Kueker. #Logic #Math
- Notes on mathematical logic (Vol. 2). ~ David W. Kueker. #Logic #Math
- ChatGPT: Cómo hacer (y mejorar) mi Trabajo de Fin de Carrera de la Universidad en un par de minutos. ~ Chema Alonso. #ChatGPT #Python #Programming