peterkelly's favorites

1.		50 years of proof assistants (lawrencecpaulson.github.io)
		140 points by baruchel 3 days ago \| 30 comments
2.		Coq: The World's Best Macro Assembler? (2013) [pdf] (nickbenton.name)
		167 points by addaon 19 days ago \| 74 comments
3.		Functional Data Structures and Algorithms: a Proof Assistant Approach (fdsa-book.net)
		117 points by SchwKatze 19 days ago \| 29 comments
4.		Several core problems with Rust (bykozy.me)
		159 points by byko3y 22 days ago \| 329 comments
5.		Building a Durable Execution Engine with SQLite (morling.dev)
		178 points by ingve 26 days ago \| 54 comments
6.		WebAssembly from the Ground Up (wasmgroundup.com)
		258 points by gurjeet 31 days ago \| 56 comments
7.		Microsoft makes Zork open-source (opensource.microsoft.com)
		640 points by tabletcorry 25 days ago \| 242 comments
8.		The Future of Programming (2013) [video] (youtube.com)
		166 points by jackdoe 33 days ago \| 98 comments
9.		Writing your own BEAM (janiczek.cz)
		268 points by cbzbc 36 days ago \| 86 comments
10.		A P2P Vision for QUIC (2024) (seemann.io)
		100 points by mooreds 41 days ago \| 48 comments
11.		Ask HN: Where to begin with "modern" Emacs?
		228 points by weakfish 44 days ago \| 121 comments
12.		Minecraft HDL, an HDL for Redstone (github.com/itsfrank)
		225 points by sleepingreset 46 days ago \| 33 comments
13.		Who needs Graphviz when you can build it yourself? (spidermonkey.dev)
		524 points by pdubroy 48 days ago \| 108 comments
14.		Easy RISC-V (dramforever.github.io)
		401 points by todsacerdoti 49 days ago \| 80 comments
15.		Show HN: MyraOS – My 32-bit operating system in C and ASM (Hack Club project) (github.com/dvir-biton)
		247 points by dvirbt 50 days ago \| 55 comments
16.		Why SSA? (mcyoung.xyz)
		222 points by transpute 54 days ago \| 103 comments
17.		Using Pegs in Janet (inqk.net)
		55 points by Bogdanp 58 days ago \| 7 comments
18.		Show HN: Kent Dybvig's Scheme Machine in 400 Lines of C (Heap-Memory Model) (gist.github.com)
		226 points by swatson741 71 days ago \| 44 comments
19.		SimpleFold: Folding proteins is simpler than you think (github.com/apple)
		471 points by kevlened 80 days ago \| 132 comments
20.		WASM 3.0 Completed (webassembly.org)
		1086 points by todsacerdoti 89 days ago \| 494 comments
21.		SkiftOS: A hobby OS built from scratch using C/C++ for ARM, x86, and RISC-V (skiftos.org)
		466 points by ksec 3 months ago \| 97 comments
22.		Memory Integrity Enforcement (security.apple.com)
		517 points by circuit 3 months ago \| 250 comments
23.		How inaccurate are Nintendo's official emulators? [video] (youtube.com)
		125 points by viraptor 3 months ago \| 58 comments
24.		Formatting code should be unnecessary (maxleiter.com)
		354 points by MaxLeiter 3 months ago \| 476 comments
25.		Where's the shovelware? Why AI coding claims don't add up (mikelovesrobots.substack.com)
		770 points by dbalatero 3 months ago \| 482 comments
26.		The 16-year odyssey it took to emulate the Pioneer LaserActive (readonlymemo.com)
		305 points by LaSombra 3 months ago \| 69 comments
27.		SuperSight: A graphical enhancement mod for Brøderbund's "Stunts" (marnetto.net)
		189 points by alberto-m 4 months ago \| 24 comments
28.		Traps to Developers (qouteall.fun)
		256 points by qouteall 4 months ago \| 107 comments
29.		A Lisp in 99LOC (github.com/robert-van-engelen)
		108 points by shikaan 4 months ago \| 26 comments
30.		I made a real-time C/C++/Rust build visualizer (danielchasehooper.com)
		417 points by dhooper 4 months ago \| 89 comments
		More