Software Foundations softwarefoundations.cis.upenn.edu ↗

Online textbook series on proof assistants using Rocq/Coq.

BookLearning & booksproof-assistantsrocqcoq

Recommended in 1 thread

AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
thedataexchange.media · 4 days ago
Great intro to proof assistants, with a small delta to Lean.

Logic for Programmers ↗Learning & books
Hillel Wayne's book on applying logic to programming.
1 thread
Speaker for the Dead ↗Learning & books
An Orson Scott Card novel featuring the AI character Jane.
1 thread
Probabilistic Artificial Intelligence Learning & books
A freely available textbook on probabilistic approaches to AI, published on arXiv.
1 thread
Understanding Formal Methods Learning & books
Jean-Francois Monin's concise survey of formal specification and verification concepts and tools.
1 thread
Handbook of Applied Cryptography Learning & books
A reference book on classic cryptographic algorithms and protocols.
1 thread
Calculus Learning & books
A rigorous introductory calculus textbook by Michael Spivak.
1 thread
Troubleshooting Analog Circuits Learning & books
Bob Pease's book on diagnosing problems in analog circuits.
1 thread
cppreference Learning & books
A community-maintained online reference for C and C++ languages and standard libraries.
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://softwarefoundations.cis.upenn.edu/