sn9's submissions | Hacker News

1.		How to Use AI for the Ancient Art of Close Reading (fast.ai)
		1 point by sn9 6 days ago \| past \| discuss
2.		Ask HN: Why is Gmail so incompetent at basic search?
		60 points by sn9 6 months ago \| past \| 60 comments
3.		Mining Function Specifications (for dynamic invariants) (fuzzingbook.org)
		1 point by sn9 8 months ago \| past \| 1 comment
4.		Review: Cræft, by Alexander Langlands (thepsmiths.com)
		1 point by sn9 10 months ago \| past
5.		The case for sans-io (fasterthanlime) [video] [24min] (youtube.com)
		1 point by sn9 12 months ago \| past
6.		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
7.		A Peer-Reviewed Portrait of Suffering: The Engineers' Daughter (theatlantic.com)
		1 point by sn9 on Oct 6, 2021 \| past
8.		American Mathematical Society: Open Math Notes (ams.org)
		4 points by sn9 on Jan 21, 2017 \| past