sgeisenh's favorites | Hacker News

1.		“Why not just use Lean?” (lawrencecpaulson.github.io)
		282 points by ibobev 18 hours ago \| 194 comments
2.		The West forgot how to make things, now it’s forgetting how to code (techtrenches.dev)
		1173 points by milkglass 2 days ago \| 839 comments
3.		Using coding assistance tools to revive projects you never were going to finish (matthewbrunelle.com)
		367 points by speckx 2 days ago \| 233 comments
4.		Simulacrum of Knowledge Work (happyfellow.dev)
		208 points by thehappyfellow 2 days ago \| 81 comments
5.		The Joy of Folding Bikes (korny.info)
		261 points by pavel_lishin 5 days ago \| 188 comments
6.		What async promised and what it delivered (causality.blog)
		251 points by zdw 6 days ago \| 306 comments
7.		Work with the garage door up (2024) (andymatuschak.org)
		199 points by jxmorris12 6 days ago \| 127 comments
8.		Parallel agents in Zed (zed.dev)
		279 points by ajeetdsouza 5 days ago \| 163 comments
9.		Garbage collection without unsafe code (fitzgen.com)
		114 points by foota 9 days ago \| 81 comments
10.		Columnar Storage Is Normalization (buttondown.com/jaffray)
		129 points by ibobev 5 days ago \| 38 comments
11.		Laws of Software Engineering (lawsofsoftwareengineering.com)
		1168 points by milanm081 6 days ago \| 526 comments
12.		Want to write a compiler? Just read these two papers (2008) (dadgum.com)
		509 points by downbad_ 12 days ago \| 159 comments
13.		Claude Code Routines (claude.com)
		720 points by matthieu_bl 13 days ago \| 413 comments
14.		jj – the CLI for Jujutsu (steveklabnik.github.io)
		549 points by tigerlily 13 days ago \| 498 comments
15.		The tech jobs bust is real. Don't blame AI (yet) (economist.com)
		118 points by andsoitis 14 days ago \| 194 comments
16.		Building a CLI for all of Cloudflare (cloudflare.com)
		336 points by soheilpro 14 days ago \| 108 comments
17.		Introduction to Obsidian (bryanhogan.com)
		209 points by bryanhogan 16 days ago \| 154 comments
18.		The peril of laziness lost (dtrace.org)
		480 points by gpm 15 days ago \| 143 comments
19.		Git commands I run before reading any code (piechowski.io)
		2338 points by grepsedawk 19 days ago \| 509 comments
20.		I've sold out (mariozechner.at)
		308 points by doppp 19 days ago \| 187 comments
21.		How many products does Microsoft have named 'Copilot'? (teybannerman.com)
		815 points by gpi 23 days ago \| 386 comments
22.		Improving my focus by giving up my big monitor (ounapuu.ee)
		184 points by Fudgel 27 days ago \| 177 comments
23.		Components of a Coding Agent (sebastianraschka.com)
		300 points by MindGods 23 days ago \| 90 comments
24.		Anatomy of the .claude/ folder (dailydoseofds.com)
		627 points by freedomben 31 days ago \| 265 comments
25.		Reports of code's death are greatly exaggerated (stevekrouse.com)
		611 points by stevekrouse 36 days ago \| 448 comments
26.		Why I love NixOS (birkey.co)
		446 points by birkey 36 days ago \| 313 comments
27.		OpenCode – Open source AI coding agent (opencode.ai)
		1274 points by rbanffy 38 days ago \| 619 comments
28.		Building a Shell (healeycodes.com)
		180 points by ingve 41 days ago \| 39 comments
29.		How I write software with LLMs (stavros.io)
		544 points by indigodaddy 43 days ago \| 529 comments
30.		Learning Creative Coding (stigmollerhansen.dk)
		82 points by thdr 44 days ago \| 26 comments
		More

HN For You