adamzwasserman's favorites

1.		A Fast 64-Bit Date Algorithm (30–40% faster by counting dates backwards) (benjoffe.com)
		395 points by benjoffe 45 days ago \| 94 comments
2.		Set Theory with Types (lawrencecpaulson.github.io)
		6 points by ibobev 46 days ago \| 1 comment
3.		PDF-native extraction vs. vision models for document processing (pymupdf.io)
		6 points by akaybk 46 days ago \| 1 comment
4.		Removing XSLT for a more secure browser (chrome.com)
		183 points by justin-reeves 63 days ago \| 337 comments
5.		Dillo, a multi-platform graphical web browser (github.com/dillo-browser)
		449 points by nazgulsenpai 63 days ago \| 177 comments
6.		Moving tables across PostgreSQL instances (ananthakumaran.in)
		85 points by ananthakumaran 66 days ago \| 5 comments
7.		Carlo Rovelli’s radical perspective on reality (quantamagazine.org)
		122 points by vismit2000 69 days ago \| 167 comments
8.		Language models are injective and hence invertible (arxiv.org)
		231 points by mazsa 69 days ago \| 148 comments
9.		Simplify your code: Functional core, imperative shell (googleblog.com)
		411 points by reqo 74 days ago \| 213 comments
10.		Let the little guys in: A context sharing runtime for the personalised web (arjun.md)
		74 points by louisbarclay 72 days ago \| 13 comments
11.		Wren: A classy little scripting language (wren.io)
		200 points by Lyngbakr 77 days ago \| 64 comments
12.		Downloadable movie posters from the 40s, 50s, 60s, and 70s (oclc.org)
		480 points by bookofjoe 80 days ago \| 89 comments
13.		Formal Reasoning [pdf] (ru.nl)
		146 points by Thom2503 73 days ago \| 31 comments
14.		Why formalize mathematics – more than catching errors (rkirov.github.io)
		224 points by birdculture 80 days ago \| 75 comments
15.		Show HN: Modshim – A new alternative to monkey-patching in Python (github.com/joouha)
		109 points by joouha 83 days ago \| 30 comments
16.		Scripts I wrote that I use all the time (evanhahn.com)
		1341 points by speckx 77 days ago \| 389 comments