MaysonL's favorites | Hacker News

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