Software Abstractions
Daniel Jackson's book teaching structural modeling with the Alloy language.
BookLearning & booksalloydata-modelingformal-methods
Recommended in 1 thread
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Mourathedataexchange.media ·
Recommended for practical data modeling.
Similar tools
- 1 thread
- Designing Data-Intensive Applications Learning & books0 threads
A book by Martin Kleppmann on the architecture of data systems.
- How To Scale Your Model Learning & books1 thread
An online book on efficient training and inference of large models.
- 1 thread
- What Every Programmer Should Know About Memory ↗Learning & books1 thread
Ulrich Drepper's paper on memory hierarchy and caches for programmers.
- Handbook of Applied Cryptography Learning & books1 thread
A reference book on classic cryptographic algorithms and protocols.
- Crafting Interpreters Learning & books1 thread
A book by Robert Nystrom on building programming language interpreters from scratch.
- Understanding Formal Methods Learning & books1 thread
Jean-Francois Monin's concise survey of formal specification and verification concepts and tools.
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