| 1. | | Introduction to Pragmatic Formal Modeling (elliotswart.github.io) |
| 1 point by sn9 22 days ago | past |
|
| 2. | | How to Use AI for the Ancient Art of Close Reading (fast.ai) |
| 1 point by sn9 67 days ago | past |
|
| 3. | | Ask HN: Why is Gmail so incompetent at basic search? |
| 60 points by sn9 8 months ago | past | 60 comments |
|
| 4. | | Mining Function Specifications (for dynamic invariants) (fuzzingbook.org) |
| 1 point by sn9 10 months ago | past | 1 comment |
|
| 5. | | Review: Cræft, by Alexander Langlands (thepsmiths.com) |
| 1 point by sn9 on March 24, 2025 | past |
|
| 6. | | The case for sans-io (fasterthanlime) [video] [24min] (youtube.com) |
| 1 point by sn9 on Feb 8, 2025 | past |
|
| 7. | | Rust's trait system is a proof engine, let's make it prove us an ABI [35min] [video] (youtube.com) |
| 4 points by sn9 on Feb 13, 2024 | past |
|
| 8. | | A Peer-Reviewed Portrait of Suffering: The Engineers' Daughter (theatlantic.com) |
| 1 point by sn9 on Oct 6, 2021 | past |
|
| 9. | | American Mathematical Society: Open Math Notes (ams.org) |
| 4 points by sn9 on Jan 21, 2017 | past |
|
