Logic for Programmers logicforprogrammers.com ↗
Hillel Wayne's book on applying logic to programming.
BookLearning & bookslogicformal-methods
Recommended in 1 thread
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Mourathedataexchange.media ·
Suggested as a good resource for learning modeling.
Similar tools
- Handbook of Applied Cryptography Learning & books1 thread
A reference book on classic cryptographic algorithms and protocols.
- Troubleshooting Analog Circuits Learning & books1 thread
Bob Pease's book on diagnosing problems in analog circuits.
- The Art of Electronics ↗Learning & books1 thread
Horowitz and Hill's comprehensive electronics textbook and reference, with a companion lab book.
- What Every Programmer Should Know About Memory ↗Learning & books1 thread
Ulrich Drepper's paper on memory hierarchy and caches for programmers.
- Quantum Mechanics for Engineers ↗Learning & books1 thread
A free online quantum mechanics text by Leon van Dommelen aimed at engineers.
- 1 thread
- How to Lie with Statistics Learning & books1 thread
A classic book by Darrell Huff on how statistics can mislead.
- Designing Data-Intensive Applications Learning & books0 threads
A book by Martin Kleppmann on the architecture of data systems.
Also in Learning & books
- Careless People3 threads
A memoir by former Facebook executive Sarah Wynn-Williams about the company's leadership.
- Wikipedia3 threads
A free collaborative online encyclopedia.
- 2 threads
- 1960: The Year The Singularity Was Cancelled ↗1 thread
A 2019 Slate Star Codex essay by Scott Alexander on von Foerster's hyperbolic population model.
- A Little Bit of Slope Makes Up For a Lot of Y-Intercept ↗1 thread
A lecture by John Ousterhout on how rate of learning outweighs starting ability.
- A People's History of the United States1 thread
Howard Zinn's history of the US told from the perspective of ordinary and marginalised people.
- A Perfect Vacuum1 thread
Stanisław Lem's collection of reviews of nonexistent books.
- ASD-STE100 Simplified Technical English ↗1 thread
A controlled English standard originally developed for aerospace maintenance documentation.
- Accelerando1 thread
A Charles Stross novel about accelerating technological change and autonomous AI agents.
- Ashton Manual1 thread
A guide by Heather Ashton describing slow benzodiazepine tapering schedules, often via diazepam substitution.
- Atomic Physics for Everyone1 thread
An introduction to atomic physics, quantum mechanics and precision spectroscopy with no college prerequisites.
- 1 thread
Link from a commenter, not checked or endorsed by us: ↗ https://logicforprogrammers.com/