sn9's submissions | Hacker News

1.		Introduction to Pragmatic Formal Modeling (elliotswart.github.io)
		1 point by sn9 10 days ago \| past \| discuss
2.		How to Use AI for the Ancient Art of Close Reading (fast.ai)
		1 point by sn9 55 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