algernonramone's favorites

1.		That's not an abstraction, that's a layer of indirection (fhur.me)
		146 points by fagnerbrack 3 days ago \| 59 comments
2.		F*: A proof oriented general purpose programming language (fstar-lang.org)
		250 points by akkad33 2 days ago \| 60 comments
3.		A Minecraft server written in COBOL (github.com/meyfa)
		335 points by notamy 2 days ago \| 117 comments
4.		A Simple ELF (4zm.org)
		281 points by signa11 1 day ago \| 60 comments
5.		Write Your Own Virtual Machine (2022) (jmeiners.com)
		321 points by sebg 1 day ago \| 87 comments
6.		Talking over a wall changed my direction as a programmer (thecodist.com)
		147 points by fagnerbrack 8 days ago \| 72 comments
7.		Turing Machines (samwho.dev)
		114 points by jakelazaroff 7 days ago \| 35 comments
8.		Richard Bellman on the Birth of Dynamic Programming (2002) [pdf] (informs.org)
		67 points by glowering 6 days ago \| 9 comments
9.		Dividing unsigned 8-bit numbers (0x80.pl)
		161 points by mfiguiere 6 days ago \| 67 comments
10.		Ideas from "A Philosophy of Software Design" (16elt.com)
		235 points by fagnerbrack 9 days ago \| 135 comments
11.		Ask HN: Stanford CS 153 help
		66 points by anjneymidha 7 days ago \| 32 comments
12.		How concurrency works: A visual guide (wyounas.github.io)
		169 points by simplegeek 9 days ago \| 48 comments
13.		Documented and annotated source code for Elite on the Commodore 64 (github.com/markmoxon)
		193 points by thunderbong 11 days ago \| 54 comments
14.		Compiling C to Safe Rust, Formalized (arxiv.org)
		287 points by love2read 7 days ago \| 156 comments
15.		Classical sorting algorithms as a model of morphogenesis (2023) (arxiv.org)
		166 points by filoeleven 9 days ago \| 79 comments
16.		Borrow Checking, RC, GC, and Eleven Other Memory Safety Approaches (verdagon.dev)
		183 points by PotatoPancakes 11 days ago \| 140 comments
17.		Kelly Can't Fail (win-vector.com)
		392 points by jmount 8 days ago \| 120 comments
18.		Hacking physics from the back of a napkin (2020) (hapax.github.io)
		122 points by g0xA52A2A 13 days ago \| 14 comments
19.		Array Languages for Clojurians (2020) (appliedscience.studio)
		106 points by simonpure 13 days ago \| 13 comments
20.		IRATA.ONLINE: A Community for Retro-Computing Enthusiasts (irata.online)
		218 points by Bluestein 13 days ago \| 59 comments
21.		The GPU is not always faster (cowfreedom.de)
		219 points by CowFreedom 16 days ago \| 101 comments
22.		Ham Radio All-in-One-Cable (github.com/skuep)
		232 points by CTOSian 21 days ago \| 65 comments
23.		Programming Language Memory Models (2021) (swtch.com)
		140 points by fanf2 15 days ago \| 29 comments
24.		Timemap.org – Interactive Map of History (oldmapsonline.org)
		1306 points by agilek 15 days ago \| 180 comments
25.		Fermat's Last Theorem – how it’s going (xenaproject.wordpress.com)
		443 points by verbify 15 days ago \| 210 comments
26.		The Age of Chiplets Is Upon Us (eetimes.com)
		78 points by jnord 18 days ago \| 20 comments
27.		Pierre Schaeffer looking back on his career in musique concrète (1987) (princeton.edu)
		83 points by ivjw 20 days ago \| 11 comments
28.		The Theory and Technique of Electronic Music (2006) (ucsd.edu)
		313 points by ofalkaed 19 days ago \| 81 comments
29.		Wolfram Notebook Assistant (stephenwolfram.com)
		97 points by nsoonhui 18 days ago \| 37 comments
30.		Debanking (and Debunking?) (bitsaboutmoney.com)
		258 points by wmf 18 days ago \| 344 comments
		More