Vijay Janapa Reddi just put the entire ML Systems (CS249r)
Book - mlsysbook.ai/book/
https://github.com/harvard-edge/cs249r_book
Philosophy of Computer science book
AI Researcher Links Abstract Thinking to Body's Physical Mapping
https://leodemoura.github.io/blog/2026/02/28/when-ai-writes-the-worlds-software.html
Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
https://www.quantamagazine.org/building-the-mathematical-library-of-the-future-20201001/ - linarith, library search tactic
No comments:
Post a Comment