Specifying Systems lamport.azurewebsites.net ↗

Leslie Lamport's book teaching the TLA+ specification language.

BookLearning & bookstla-plusformal-methodsspecification

Recommended in 1 thread

AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
thedataexchange.media · 4 days ago
Recommended as an approachable entry to state-machine modeling.

Logic for Programmers ↗Learning & books
Hillel Wayne's book on applying logic to programming.
1 thread
Software Abstractions Learning & books
Daniel Jackson's book teaching structural modeling with the Alloy language.
1 thread
TLA+ Dev tools
A formal specification language by Leslie Lamport for designing and checking systems.
1 thread
Crafting Interpreters Learning & books
A book by Robert Nystrom on building programming language interpreters from scratch.
1 thread
Understanding Formal Methods Learning & books
Jean-Francois Monin's concise survey of formal specification and verification concepts and tools.
1 thread
Exploring Musical Spaces Learning & books
A book synthesising mathematical approaches to music theory.
1 thread
Unix Text Processing ↗Learning & books
A 1987 book by Dale Dougherty and Tim O'Reilly on typesetting with troff, now freely available.
1 thread
Troubleshooting Analog Circuits Learning & books
Bob Pease's book on diagnosing problems in analog circuits.
1 thread

Careless People
A memoir by former Facebook executive Sarah Wynn-Williams about the company's leadership.
3 threads
Wikipedia
A free collaborative online encyclopedia.
3 threads
Forvo ↗
A website with crowdsourced audio recordings of how native speakers pronounce words.
2 threads
1960: The Year The Singularity Was Cancelled ↗
A 2019 Slate Star Codex essay by Scott Alexander on von Foerster's hyperbolic population model.
1 thread
A Little Bit of Slope Makes Up For a Lot of Y-Intercept ↗
A lecture by John Ousterhout on how rate of learning outweighs starting ability.
1 thread
A People's History of the United States
Howard Zinn's history of the US told from the perspective of ordinary and marginalised people.
1 thread
A Perfect Vacuum
Stanisław Lem's collection of reviews of nonexistent books.
1 thread
ASD-STE100 Simplified Technical English ↗
A controlled English standard originally developed for aerospace maintenance documentation.
1 thread
Accelerando
A Charles Stross novel about accelerating technological change and autonomous AI agents.
1 thread
Ashton Manual
A guide by Heather Ashton describing slow benzodiazepine tapering schedules, often via diazepam substitution.
1 thread
Atomic Physics for Everyone
An introduction to atomic physics, quantum mechanics and precision spectroscopy with no college prerequisites.
1 thread
Axiomatic ↗
A short story collection by Greg Egan.
1 thread

Link from a commenter, not checked or endorsed by us: ↗ https://lamport.azurewebsites.net/tla/book.html