Nevermark's favorites

1.		Beautiful Abelian Sandpiles (eavan.blog)
		141 points by eavan0 4 days ago \| 24 comments
2.		50 years of proof assistants (lawrencecpaulson.github.io)
		134 points by baruchel 1 day ago \| 27 comments
3.		Show HN: I made a spreadsheet where formulas also update backwards (victorpoughon.github.io)
		242 points by fouronnes3 2 days ago \| 112 comments
4.		Craft software that makes people feel something (rapha.land)
		339 points by lukeio 2 days ago \| 183 comments
5.		Programmers and software developers lost the plot on naming their tools (larr.net)
		418 points by todsacerdoti 2 days ago \| 517 comments
6.		Size of Life (neal.fun)
		2589 points by eatonphil 3 days ago \| 277 comments
7.		Principles of Slack Maximalism (aelerinya.substack.com)
		51 points by surprisetalk 15 days ago \| 53 comments
8.		Work disincentives hit the near-poor hardest (2022) (niskanencenter.org)
		111 points by folump 11 days ago \| 117 comments
9.		The Anatomy of a macOS App (eclecticlight.co)
		279 points by elashri 6 days ago \| 95 comments
10.		Vanity activities (quarter--mile.com)
		74 points by surprisetalk 12 days ago \| 72 comments
11.		How elites could shape mass preferences as AI reduces persuasion costs (arxiv.org)
		702 points by 50kIters 10 days ago \| 660 comments
12.		Z2 – Lithographically fabricated IC in a garage fab (zeloof.xyz)
		357 points by embedding-shape 7 days ago \| 84 comments
13.		Abstract Interpretation in the Toy Optimizer (bernsteinbear.com)
		43 points by ChadNauseam 10 days ago \| 6 comments
14.		The unexpected effectiveness of one-shot decompilation with Claude (blog.chrislewis.au)
		238 points by knackers 15 days ago \| 125 comments
15.		Patterns for Defensive Programming in Rust (corrode.dev)
		333 points by PaulHoule 8 days ago \| 95 comments
16.		Idempotency keys for exactly-once processing (morling.dev)
		182 points by defly 12 days ago \| 79 comments
17.		Ephemeral infrastructure: Why short-lived is a good thing (lukasniessen.medium.com)
		42 points by birdculture 14 days ago \| 20 comments
18.		The Math Legend Who Just Left Academia–For an AI Startup Run by a 24-Year-Old (wsj.com)
		32 points by pondsider 9 days ago \| 41 comments
19.		Transparent leadership beats servant leadership (entropicthoughts.com)
		513 points by ibobev 9 days ago \| 252 comments
20.		Lie groups are crucial to some of the most fundamental theories in physics (quantamagazine.org)
		174 points by ibobev 10 days ago \| 59 comments
21.		Shrinking While Linking (tweag.io)
		49 points by ingve 16 days ago \| 32 comments
22.		Reverse math shows why hard problems are hard (quantamagazine.org)
		175 points by gsf_emergency_6 12 days ago \| 53 comments
23.		There is No Quintic Formula [video] (youtube.com)
		97 points by DamnInteresting 13 days ago \| 39 comments
24.		Blender facial animation tool. What else should it do? (github.com/shun126)
		123 points by happy-game-dev 16 days ago \| 14 comments
25.		Landlock-Ing Linux (prizrak.me)
		291 points by razighter777 14 days ago \| 120 comments
26.		How good engineers write bad code at big companies (seangoedecke.com)
		407 points by gfysfm 15 days ago \| 320 comments
27.		Every mathematician has only a few tricks (2020) (mathoverflow.net)
		250 points by nill0 15 days ago \| 82 comments
28.		The Great Downzoning (worksinprogress.co)
		66 points by barry-cotter 15 days ago \| 117 comments
29.		Great Math Software: List of fun visual math programs (xahlee.info)
		27 points by the-mitr 16 days ago
30.		Bringing Sexy Back. Internet surveillance has killed eroticism (lux-magazine.com)
		425 points by eustoria 15 days ago \| 312 comments
		More