A Curated Guide to Books on the Lean Programming Language
By
atomicnature
Crisp on the outside, thoughtful on the inside. A keeper.
Summary
A personal, subjective guide to books about the Lean programming language and theorem prover. The author shares their reading experience, offering opinions on various Lean-related books, suggests reading them in parallel rather than sequentially, and provides guidance on where to start through "forking paths." The post respects the tradition of the city the author is currently in and presents books in no particular order.
Key quotes
· 4 pulledThis could have been a classic 'Awesome Lean' repo, however I'd much prefer reading subjective opinions of a single person on a whole range of books, and this is what you'll have here.
I was reading all of these in parallel, and I think it's the best approach here.
You shouldn't *start* all of these in parallel however, so I'm offering some guidance in the #Forking paths section of this post.
I also printed most of these books, I think it helped me perceive them as separate books as opposed to...
You might also wanna read
The Decline of Programming Books: How Digital Learning Replaced the Classic Tech Tome
A nostalgic reflection on the decline of traditional programming books (like O'Reilly's animal-covered series) in favor of online tutorials,
unix.foo·6d ago
Mastering Dyalog APL Book Being Updated with Jupyter Notebooks
This article discusses the "Mastering Dyalog APL" book, which is considered the standard resource for learning Dyalog APL. It notes that the
Developer Documents 4-Year Journey Mastering Offline Password Cracking with Hashcat
Bojta Lepenye, a young developer who started at age 14, shares their 4-year journey mastering offline password cracking using Hashcat. They
news.ycombinator.com·10d ago
Awesome CUDA Books: A Curated List of GPU Programming Resources
A curated GitHub repository listing major CUDA programming books ranging from beginner to advanced levels. The list covers C++/Python approa
github.com·14d ago
Reflections on Peter Naur's "Programming as Theory Building" and Its Relevance to Software Development
A reflective article about Peter Naur's influential essay "Programming as Theory Building." The author shares their experience of discoverin
High Performance Git: A Technical Book on Git Internals and Large Repository Optimization
This book excerpt introduces "High Performance Git" by Ted Nyman, which explores Git not just as a version-control tool but as a layered sys
gitperf.com·1mo ago