peterkelly's favorites

1.		A Lisp compiler to RISC-V written in Lisp (ulisp.com)
		236 points by chrisjj 1 day ago \| 50 comments
2.		Cuis Smalltalk (github.com/cuis-smalltalk)
		42 points by ustad 17 days ago \| 9 comments
3.		Guide to implementing 2D platformers (2012) (higherorderfun.com)
		122 points by vvoruganti 14 days ago \| 8 comments
4.		Tiny Tapeout VGA Playground (tinytapeout.github.io)
		139 points by lnyan 24 days ago \| 15 comments
5.		The Story Behind Fenster (zserge.com)
		72 points by hamdouni 33 days ago \| 10 comments
6.		Understanding the Layout Process in Qt Widgets (felipefarinon.com)
		62 points by felipefar 36 days ago \| 45 comments
7.		A Comparison of Arenas in Rust (donsz.nl)
		87 points by PaulHoule 51 days ago \| 9 comments
8.		Techniques for safe garbage collection in Rust (kyju.org)
		125 points by PaulHoule 51 days ago \| 48 comments
9.		Interval parsing grammars for file format parsing (2023) (acm.org)
		108 points by fanf2 62 days ago \| 24 comments
10.		I don't know how CPUs work so I simulated one in code (2019) (djharper.dev)
		181 points by azefiel 72 days ago \| 47 comments
11.		Show HN: Ray Tracing in One Weekend v4.0.0 (raytracing.github.io)
		69 points by hollasch 77 days ago \| 4 comments
12.		We need visual programming. No, not like that (sbensu.com)
		1178 points by stopachka 3 months ago \| 494 comments
13.		Writing a BIOS bootloader for 64-bit mode from scratch (thasso.xyz)
		260 points by D4ckard 3 months ago \| 80 comments
14.		Programming in Unison (lwn.net)
		103 points by sohkamyung 3 months ago \| 17 comments
15.		That Editor (github.com/bisqwit)
		207 points by phplovesong 3 months ago \| 27 comments
16.		Spur – RISC IV: The Lisp Multiprocessor Workstation (thechipletter.substack.com)
		135 points by oumua_don17 3 months ago \| 91 comments
17.		Why "Structure and Interpretation of Computer Programs" matters (2011) (eecs.berkeley.edu)
		366 points by AlexeyBrin 3 months ago \| 296 comments
18.		Elsevier embeds a hash in the PDF metadata that is unique for each download (2022) (social.coop)
		284 points by luu 4 months ago \| 139 comments
19.		An Introduction to ARM64 Assembly on Apple Silicon Macs (github.com/below)
		300 points by udev4096 4 months ago \| 83 comments
20.		Writing a Unix clone in about a month (drewdevault.com)
		395 points by drewdevault 4 months ago \| 134 comments
21.		LZW and GIF explained (udel.edu)
		92 points by networked 4 months ago \| 15 comments
22.		F* – A Proof-Oriented Programming Language (fstar-lang.org)
		236 points by montyanderson 4 months ago \| 102 comments
23.		Some notes on Rust, mutable aliasing and formal verification (graydon2.dreamwidth.org)
		357 points by todsacerdoti 4 months ago \| 145 comments
24.		Translation of Rust's core and alloc crates to Coq for formal verification (formal.land)
		358 points by p4bl0 5 months ago \| 116 comments
25.		The Foundation of a Generic Theorem Prover (1989) [pdf] (arxiv.org)
		59 points by 082349872349872 5 months ago \| 4 comments
26.		Arena-based parsers (iliabylich.github.io)
		134 points by ibylich 5 months ago \| 43 comments
27.		Ask HN: Interesting TUIs (text user interfaces), maybe forgotten ones?
		322 points by perihelions 5 months ago \| 294 comments
28.		Learning about distributed systems: where to start? (2020) (muratbuffalo.blogspot.com)
		198 points by udev4096 6 months ago \| 40 comments
29.		Show HN: FizzBee – Formal methods in Python (fizzbee.io)
		119 points by jayaprabhakar 6 months ago \| 23 comments
30.		Show HN: Nebula – A network agnostic DHT crawler (github.com/dennis-tra)
		68 points by dennis-tra 6 months ago \| 22 comments
		More