Understanding Formal Methods
Jean-Francois Monin's concise survey of formal specification and verification concepts and tools.
BookLearning & booksformal-methodsoverview
Recommended in 1 thread
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Mourathedataexchange.media ·
Called the best map of the breadth of formal methods.
Similar tools
- You Don't Need JavaScript ↗Learning & books1 thread
A book on replacing JavaScript patterns with modern CSS and HTML.
- Unix Text Processing ↗Learning & books1 thread
A 1987 book by Dale Dougherty and Tim O'Reilly on typesetting with troff, now freely available.
- What Every Programmer Should Know About Memory ↗Learning & books1 thread
Ulrich Drepper's paper on memory hierarchy and caches for programmers.
- Exploring Musical Spaces Learning & books1 thread
A book synthesising mathematical approaches to music theory.
- Handbook of Applied Cryptography Learning & books1 thread
A reference book on classic cryptographic algorithms and protocols.
- Quantum Mechanics for Engineers ↗Learning & books1 thread
A free online quantum mechanics text by Leon van Dommelen aimed at engineers.
- Basic Concepts of Quantum Mechanics ↗Learning & books1 thread
An introductory book by L. V. Tarasov using dialogues between the author and personas.
- Software Abstractions Learning & books1 thread
Daniel Jackson's book teaching structural modeling with the Alloy language.
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