more auggierose's favorites

31.		The Thinking Game Film – Google DeepMind documentary (thinkinggamefilm.com)
		213 points by ChrisArchitect 13 days ago \| 141 comments
32.		How good engineers write bad code at big companies (seangoedecke.com)
		407 points by gfysfm 15 days ago \| 320 comments
33.		DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf] (github.com/deepseek-ai)
		231 points by fspeech 16 days ago \| 50 comments
34.		Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)
		117 points by SchwKatze 17 days ago \| 29 comments
35.		Ilya Sutskever: We're moving from the age of scaling to the age of research (dwarkesh.com)
		450 points by piotrgrabowski 18 days ago \| 355 comments
36.		MCP Apps: Extending servers with interactive user interfaces (modelcontextprotocol.io)
		192 points by mercury24aug 21 days ago \| 121 comments
37.		Agent design is still hard (pocoo.org)
		426 points by the_mitsuhiko 22 days ago \| 258 comments
38.		McDonald's is losing its low-income customers (latimes.com)
		225 points by PaulHoule 22 days ago \| 571 comments
39.		Olmo 3: Charting a path through the model flow to lead open-source AI (allenai.org)
		390 points by mseri 23 days ago \| 125 comments
40.		Freer Monads, More Extensible Effects (2015) [pdf] (okmij.org)
		94 points by todsacerdoti 23 days ago \| 30 comments
41.		The peaceful transfer of power in open source projects (shkspr.mobi)
		196 points by edent 24 days ago \| 155 comments
42.		Solving a million-step LLM task with zero errors (arxiv.org)
		222 points by Anon84 25 days ago \| 95 comments
43.		Ohm Editor (ohmjs.org)
		42 points by andsoitis 29 days ago \| 8 comments
44.		Structured outputs on the Claude Developer Platform (claude.com)
		184 points by adocomplete 29 days ago \| 77 comments
45.		Mergiraf: Syntax-Aware Merging for Git (lwn.net)
		163 points by Velocifyer 40 days ago \| 45 comments
46.		How to create accessible PDFs from the start (typst.app)
		106 points by leephillips 42 days ago \| 21 comments
47.		Error ABI (matklad.github.io)
		89 points by todsacerdoti 34 days ago \| 43 comments
48.		Transducer: Composition, abstraction, performance (2018) (funktionale-programmierung.de)
		107 points by defmarco 40 days ago \| 10 comments
49.		JermCAD: Browser-Based CAD Software (github.com/jeremyaboyd)
		62 points by azhenley 37 days ago \| 12 comments
50.		What is a manifold? (quantamagazine.org)
		393 points by isaacfrond 40 days ago \| 133 comments
51.		Why don't you use dependent types? (lawrencecpaulson.github.io)
		269 points by baruchel 41 days ago \| 116 comments
52.		Paris had a moving sidewalk in 1900, and a Thomas Edison film captured it (2020) (openculture.com)
		409 points by rbanffy 41 days ago \| 206 comments
53.		Backpropagation is a leaky abstraction (2016) (karpathy.medium.com)
		353 points by swatson741 42 days ago \| 160 comments
54.		SQLite concurrency and why you should care about it (jellyfin.org)
		382 points by HunOL 42 days ago \| 176 comments
55.		Futurelock: A subtle risk in async Rust (oxide.computer)
		449 points by bcantrill 43 days ago \| 245 comments
56.		Show HN: Strange Attractors (shashanktomar.com)
		804 points by shashanktomar 43 days ago \| 78 comments
57.		Who needs Graphviz when you can build it yourself? (spidermonkey.dev)
		524 points by pdubroy 46 days ago \| 108 comments
58.		Poker Tournament for LLMs (pokerbattle.ai)
		311 points by SweetSoftPillow 47 days ago \| 208 comments
59.		Poison, Poison Everywhere (loeber.substack.com)
		326 points by dividendpayee 48 days ago \| 208 comments
60.		Movie posters from Ghana in the 1980s and 90s (utterlyinteresting.com)
		267 points by bookofjoe 48 days ago \| 94 comments
		More