MaysonL's favorites | Hacker News

1.		Feynman's Hughes Lectures: 950 pages of notes (thehugheslectures.info)
		213 points by gnubison 19 days ago \| 45 comments
2.		OCaml Programming: Correct and Efficient and Beautiful (cs3110.github.io)
		138 points by smartmic 5 months ago \| 54 comments
3.		Rust running on every GPU (rust-gpu.github.io)
		605 points by littlestymaar 5 months ago \| 205 comments
4.		TrackWeight: Turn your MacBook's trackpad into a digital weighing scale (github.com/krishkrosh)
		620 points by wtcactus 6 months ago \| 148 comments
5.		How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me)
		81 points by gopiandcode 8 months ago \| 17 comments
6.		Terence Tao: Using modern tools to semi-automatically formalize a proof in Lean (mathstodon.xyz)
		1 point by ColinWright 8 months ago
7.		Coding LLMs from the Ground Up: A Complete Course (sebastianraschka.com)
		2 points by mdp2021 8 months ago
8.		Lazarus Release 4.0 (freepascal.org)
		276 points by proxysna 8 months ago \| 165 comments
9.		Graphics livecoding in Common Lisp (kevingal.com)
		213 points by adityaathalye 8 months ago \| 65 comments
10.		David Tong Lectures on Theoretical Physics (cam.ac.uk)
		115 points by alonfnt 9 months ago \| 16 comments
11.		Lush: My favorite small programming language (scottlocklin.wordpress.com)
		151 points by todsacerdoti on Nov 20, 2024 \| 28 comments
12.		High-performance speech recognition with no supervision at all (facebook.com)
		212 points by panabee on May 21, 2021 \| 62 comments
13.		Looks vs. Results: My ugly ad got 150% more clicks than a professional design (gkogan.co)
		178 points by gk1 on Jan 2, 2021 \| 123 comments
14.		Bret Victor: “Have you ever tried multiplying roman numerals?” (fastcodesign.com)
		1 point by tosh on April 15, 2018
15.		Anti-vaccine activists spark a state’s worst measles outbreak in decades (washingtonpost.com)
		27 points by neuralFatigue on May 5, 2017