hilsdev's favorites | Hacker News

1.		Show HN: C From Scratch – Learn safety-critical C with prove-first methodology (github.com/speytech)
		63 points by william1872 1 day ago \| 10 comments
2.		Why medieval city-builder video games are historically inaccurate (2020) (leidenmedievalistsblog.nl)
		246 points by benbreen 3 days ago \| 152 comments
3.		Flux 2 Klein pure C inference (github.com/antirez)
		451 points by antirez 7 days ago \| 141 comments
4.		Cameras and Lenses (2020) (ciechanow.ski)
		549 points by sebg 24 days ago \| 57 comments
5.		Demystifying DVDs (hiddenpalace.org)
		224 points by boltzmann-brain 28 days ago \| 22 comments
6.		Akin's Laws of Spacecraft Design (2011) [pdf] (uvic.ca)
		345 points by tosh 25 days ago \| 109 comments
7.		What an unprocessed photo looks like (maurycyz.com)
		2510 points by zdw 28 days ago \| 409 comments
8.		Revisiting "Let's Build a Compiler" (thegreenplace.net)
		276 points by cui 47 days ago \| 51 comments
9.		United States Antarctic Program Field Manual (2024) [pdf] (usap.gov)
		133 points by SheinhardtWigCo 50 days ago \| 36 comments
10.		Build a DIY magnetometer with a couple of seasoning bottles (ieee.org)
		96 points by nullbyte808 57 days ago \| 17 comments
11.		The C++ standard for the F-35 Fighter Jet [video] (youtube.com)
		328 points by AareyBaba 49 days ago \| 438 comments
12.		1D Conway's Life glider found, 3.7B cells long (conwaylife.com)
		526 points by nooks 53 days ago \| 215 comments
13.		System 7 natively boots on the Mac mini G4 (macos9lives.com)
		333 points by ibobev 58 days ago \| 113 comments
14.		G0-G3 corners, visualised: learn what "Apple corners" are (printables.com)
		144 points by dgroshev 63 days ago \| 65 comments
15.		Calculus for Mathematicians, Computer Scientists, and Physicists [pdf] (holycross.edu)
		363 points by o4c 63 days ago \| 78 comments
16.		Pixar: The Early Days A never-before-seen 1996 interview (stevejobsarchive.com)
		183 points by sanj 65 days ago \| 21 comments
17.		How I learned Vulkan and wrote a small game engine with it (2024) (edw.is)
		197 points by jakogut 65 days ago \| 104 comments
18.		FEX-emu – Run x86 applications on ARM64 Linux devices (fex-emu.com)
		304 points by open-paren 74 days ago \| 138 comments
19.		Linux mode setting, from the comfort of OCaml (roscidus.com)
		84 points by ibobev 70 days ago \| 29 comments
20.		History and use of the Estes AstroCam 110 (dembrudders.com)
		68 points by mmmlinux 82 days ago \| 18 comments
21.		The Manuscripts of Edsger W. Dijkstra (utexas.edu)
		268 points by nathan-barry 77 days ago \| 125 comments
22.		The Geometry of Schemes [pdf] (ed.ac.uk)
		64 points by measurablefunc 86 days ago \| 22 comments
23.		Auraphone: A simple app to collect people's info at events (andrewarrow.dev)
		54 points by fcpguru 80 days ago \| 33 comments
24.		Things you can do with diodes (lcamtuf.substack.com)
		407 points by zdw 83 days ago \| 112 comments
25.		Wren: A classy little scripting language (wren.io)
		200 points by Lyngbakr 3 months ago \| 64 comments
26.		Making a micro Linux distro (2023) (popovicu.com)
		197 points by turrini 3 months ago \| 29 comments
27.		Show HN: Cadence – A guitar theory app (cadenceguitar.com)
		195 points by apizon 3 months ago \| 89 comments
28.		When Compiler Optimizations Hurt Performance (nemanjatrifunovic.substack.com)
		91 points by rbanffy 3 months ago \| 36 comments
29.		How to stop Linux threads cleanly (mazzo.li)
		245 points by signa11 3 months ago \| 85 comments
30.		Show HN: I built a web framework in C (github.com/ashtonjamesd)
		420 points by ashtonjamesd 3 months ago \| 218 comments
		More