auggierose's favorites

1.		Your job is to deliver code you have proven to work (simonwillison.net)
		502 points by simonw 6 hours ago \| 430 comments
2.		AI will make formal verification go mainstream (kleppmann.com)
		816 points by evankhoury 2 days ago \| 419 comments
3.		Understanding carriage (seths.blog)
		57 points by herbertl 7 days ago \| 21 comments
4.		Erdős Problem #1026 (terrytao.wordpress.com)
		161 points by tzury 2 days ago \| 28 comments
5.		Ideas aren't getting harder to find (asteriskmag.com)
		127 points by mitchbob 2 days ago \| 64 comments
6.		Introduction to Algorithms: A Creative Approach by Udi Manber [pdf] (lagout.org)
		273 points by ggr2342 on May 27, 2023 \| 37 comments
7.		Size of Life (neal.fun)
		2615 points by eatonphil 8 days ago \| 277 comments
8.		Amazon EC2 M9g Instances (amazon.com)
		155 points by AlexClickHouse 12 days ago \| 82 comments
9.		The "confident idiot" problem: Why AI needs hard rules, not vibe checks (steerlabs.substack.com)
		324 points by steer_dev 14 days ago \| 380 comments
10.		The fuck off contact page (nicchan.me)
		494 points by OuterVale 10 days ago \| 199 comments
11.		I wasted years of my life in crypto (twitter.com/kenchangh)
		690 points by Anon84 11 days ago \| 1004 comments
12.		An Interactive Guide to the Fourier Transform (betterexplained.com)
		252 points by pykello 16 days ago \| 60 comments
13.		What is “literate programming”? (2024) (pqnelson.github.io)
		92 points by joecobb 16 days ago \| 51 comments
14.		Why Speed Matters (lemire.me)
		134 points by gsky 12 days ago \| 51 comments
15.		HTML as an Accessible Format for Papers (2023) (arxiv.org)
		262 points by el3ctron 12 days ago \| 139 comments
16.		Wolfram Compute Services (stephenwolfram.com)
		230 points by nsoonhui 12 days ago \| 136 comments
17.		The missing standard library for multithreading in JavaScript (github.com/w4g1)
		136 points by W4G1 13 days ago \| 35 comments
18.		Making RSS More Fun (matduggan.com)
		224 points by salmon 13 days ago \| 104 comments
19.		Nimony (Nim 3.0) Design Principles (nim-lang.org)
		151 points by andsoitis 16 days ago \| 93 comments
20.		Why we can’t quit Excel (bloomberg.com)
		44 points by thm 13 days ago \| 47 comments
21.		[dupe] Rats Snatching Bats Out of the Air and Eating Them–Researchers Got It on Video (smithsonianmag.com)
		72 points by bookofjoe 13 days ago \| 12 comments
22.		NeurIPS 2025 Best Paper Awards (neurips.cc)
		176 points by ivansavz 13 days ago \| 30 comments
23.		Show HN: MTXT – Music Text Format (github.com/daninet)
		124 points by daninet 18 days ago \| 39 comments
24.		Unreal Tournament 2004 is back (reddit.com)
		474 points by keithoffer 14 days ago \| 202 comments
25.		Teaching an LLM a Niche Diagraming Language (huy.rocks)
		30 points by todsacerdoti 15 days ago \| 3 comments
26.		Chips for the Rest of Us (nyu.edu)
		60 points by hasheddan 15 days ago \| 21 comments
27.		Lie groups are crucial to some of the most fundamental theories in physics (quantamagazine.org)
		174 points by ibobev 15 days ago \| 59 comments
28.		Mathematics is hard for mathematicians to understand too (science.org)
		134 points by mmaaz 20 days ago \| 148 comments
29.		Practical Intro to Operational Transformation (casouri.cc)
		58 points by casouri 22 days ago \| 7 comments
30.		Reverse math shows why hard problems are hard (quantamagazine.org)
		175 points by gsf_emergency_6 16 days ago \| 53 comments
		More