esafak's favorites | Hacker News

1.		AI will make formal verification go mainstream (kleppmann.com)
		826 points by evakhoury 9 days ago \| 432 comments
2.		TLA+ Modeling Tips (muratbuffalo.blogspot.com)
		129 points by birdculture 8 days ago \| 33 comments
3.		Icons in Menus Everywhere – Send Help (jim-nielsen.com)
		846 points by ArmageddonIt 17 days ago \| 333 comments
4.		Building a Toast Component (emilkowal.ski)
		119 points by FragrantRiver 22 days ago \| 42 comments
5.		Principles of Slack Maximalism (aelerinya.substack.com)
		51 points by surprisetalk 27 days ago \| 53 comments
6.		Algorithms for Optimization [pdf] (algorithmsbook.com)
		391 points by Anon84 25 days ago \| 36 comments
7.		AsciiMath (asciimath.org)
		141 points by smartmic 40 days ago \| 56 comments
8.		Unofficial Microsoft Teams client for Linux (github.com/ismaelmartinez)
		285 points by basemi 51 days ago \| 254 comments
9.		Game design is simple (raphkoster.com)
		560 points by vrnvu 49 days ago \| 173 comments
10.		We rewrote OpenFGA in pure Postgres (getrover.substack.com)
		52 points by wbadart 65 days ago \| 13 comments
11.		Why experiments belong inside feature flags, not beside them (hypertune.com)
		2 points by miraantabrez 63 days ago
12.		IDEs we had 30 years ago and lost (2023) (blogsystem5.substack.com)
		617 points by AlexeyBrin 68 days ago \| 592 comments
13.		Seeing like a software company (seangoedecke.com)
		388 points by praptak 79 days ago \| 122 comments
14.		How does gradient descent work? (centralflows.github.io)
		325 points by jxmorris12 83 days ago \| 24 comments
15.		Benefits of choosing email over messaging (spinellis.gr)
		183 points by iparaskev 81 days ago \| 157 comments
16.		Category Theory Illustrated – Natural Transformations (abuseofnotation.github.io)
		217 points by boris_m 85 days ago \| 83 comments
17.		Organize your Slack channels by "How Often", not "What" (aggressivelyparaphrasing.me)
		108 points by todsacerdoti 86 days ago \| 58 comments
18.		The (Business) Process Deadlock (ufried.com)
		12 points by BinaryIgor 3 months ago \| 1 comment
19.		Deliberate Abstraction (entropicthoughts.com)
		26 points by todsacerdoti 3 months ago \| 3 comments
20.		Enough AI copilots, we need AI HUDs (geoffreylitt.com)
		979 points by walterbell 5 months ago \| 271 comments
21.		Hidden interface controls that affect usability (acm.org)
		565 points by cxr 5 months ago \| 450 comments
22.		The Right Way to Embed an LLM in a Group Chat (tripjam.app)
		21 points by kenforthewin 5 months ago \| 15 comments
23.		Frequent reauth doesn't make you more secure (tailscale.com)
		1279 points by ingve 6 months ago \| 516 comments
24.		Malleable software: Restoring user agency in a world of locked-down apps (inkandswitch.com)
		294 points by jessmartin 6 months ago \| 114 comments
25.		Show HN: Most users won't report bugs unless you make it stupidly easy
		335 points by lakshikag 6 months ago \| 208 comments
26.		When Fine-Tuning Makes Sense: A Developer's Guide (getkiln.ai)
		157 points by scosman 7 months ago \| 62 comments
27.		The Ingredients of a Productive Monorepo (swgillespie.me)
		300 points by mifydev 7 months ago \| 261 comments
28.		The Decline of Usability: Revisited (2023) (datagubbe.se)
		97 points by turrini 7 months ago \| 80 comments
29.		Why Algebraic Effects? (antelang.org)
		293 points by jiggawatts 7 months ago \| 199 comments
30.		Attention Wasn't All We Needed (stephendiehl.com)
		130 points by mooreds 7 months ago \| 24 comments
		More