cvoss's favorites | Hacker News

1.		Broken Proofs and Broken Provers (lawrencecpaulson.github.io)
		64 points by RebelPotato 23 days ago \| 14 comments
2.		Kernighan on Programming
		172 points by chrisjj 24 days ago \| 62 comments
3.		I ignore the spotlight as a staff engineer (lalitm.com)
		547 points by todsacerdoti 85 days ago \| 243 comments
4.		The curse of knowing how, or; fixing everything (notashelf.dev)
		1197 points by Lunar5227 9 months ago \| 441 comments
5.		Category Theory Illustrated (abuseofnotation.github.io)
		81 points by zdw on Dec 30, 2024 \| 3 comments
6.		Hacking physics from the back of a napkin (2020) (hapax.github.io)
		122 points by g0xA52A2A on Dec 14, 2024 \| 14 comments
7.		Diátaxis – A systematic approach to technical documentation authoring (diataxis.fr)
		514 points by OuterVale on Dec 5, 2024 \| 113 comments
8.		Category theory using string diagrams (2014) (arxiv.org)
		79 points by soloist11 on June 28, 2024 \| 23 comments
9.		Architecture.md (2021) (matklad.github.io)
		313 points by mooreds on Feb 24, 2024 \| 53 comments
10.		Schrödinger equation emerges mathematically from classical mechanics (2012) (researchgate.net)
		191 points by pcwelder on Dec 22, 2023 \| 86 comments