an_d_rew's favorites | Hacker News

1.		The Missing 11th of the Month (2015) (drhagen.com)
		224 points by xk3 7 days ago \| 35 comments
2.		OxCaml - a set of extensions to the OCaml programming language. (oxcaml.org)
		313 points by lairv 12 days ago \| 118 comments
3.		Tell HN: Help restore the tax deduction for software dev in the US (Section 174)
		2439 points by dang 16 days ago \| 907 comments
4.		Four years of sight reading practice (sandrock.co.za)
		156 points by chthonicdaemon 38 days ago \| 82 comments
5.		Rice’s Theorem: An interactive tutorial (tigyog.app)
		184 points by lispybanana on Nov 25, 2022 \| 168 comments
6.		Fun with -fsanitize=undefined and Picolibc (keithp.com)
		118 points by JNRowe 73 days ago \| 43 comments
7.		An interactive-speed Linux computer made of only 3 8-pin chips (dmitry.gr)
		441 points by dmitrygr 82 days ago \| 147 comments
8.		Locks, leases, fencing tokens, FizzBee (surfingcomplexity.blog)
		57 points by azhenley 3 months ago \| 9 comments
9.		Crabtime: Zig’s Comptime in Rust (crates.io)
		466 points by klaussilveira 3 months ago \| 195 comments
10.		Show HN: OpenTimes – Free travel times between U.S. Census geographies (opentimes.org)
		207 points by dfsnow 3 months ago \| 50 comments
11.		Canon EF and RF Lenses – All Autofocus Motors (exclusivearchitecture.com)
		533 points by ExAr 3 months ago \| 135 comments
12.		SpaceX engineers brought on at FAA after probationary employees were fired (wired.com)
		192 points by actionfromafar 4 months ago \| 133 comments
13.		Storytelling lessons I learned from Steve Jobs (2022) (fastcompany.com)
		226 points by tosh 4 months ago \| 107 comments
14.		Lines of code that beat A/B testing (2012) (stevehanov.ca)
		379 points by Kerrick 5 months ago \| 176 comments
15.		How I program with LLMs (crawshaw.io)
		919 points by stpn 5 months ago \| 332 comments
16.		Types are a basic tool of software design (2018) (tedinski.com)
		103 points by gus_leonel 5 months ago \| 118 comments
17.		LaTeX.css – Make your website look like a LaTeX document (latex.vercel.app)
		196 points by OuterVale 7 months ago \| 60 comments
18.		Ask HN: How do you communicate in a remote startup?
		244 points by aml183 7 months ago \| 271 comments
19.		GenMC: Model checking for concurrent C programs (mpi-sws.org)
		61 points by todsacerdoti 7 months ago \| 3 comments
20.		Crux, a Precise Verifier for Rust and Other Languages (arxiv.org)
		100 points by belter 8 months ago \| 13 comments
21.		Using an 8K TV as a Monitor (lawrence.lu)
		562 points by ingve 7 months ago \| 535 comments
22.		Show HN: Iceoryx2 – Fast IPC Library for Rust, C++, and C (ekxide.io)
		122 points by elfenpiff 9 months ago \| 51 comments
23.		Peng – A minimal Rust-based quadrotor simulation pipeline (github.com/makeecat)
		130 points by Tycho87 10 months ago \| 18 comments
24.		Y Combinator is predicated on startups that require low capitalization (twitter.com/bradneuberg)
		177 points by Apocryphon 9 months ago \| 114 comments
25.		Ncomm – A node-based robotics framework written in Rust (github.com/n8bwert)
		60 points by Tycho87 9 months ago \| 32 comments
26.		Extreme Pi Boot Optimization (kittenlabs.de)
		558 points by todsacerdoti 9 months ago \| 153 comments
27.		Deterministic Replay of QEMU Emulation (qemu.org)
		175 points by Intralexical 10 months ago \| 39 comments
28.		DRAKON (wikipedia.org)
		213 points by instagraham 10 months ago \| 59 comments
29.		Crossing the impossible FFI boundary, and my gradual descent into madness (verdagon.dev)
		106 points by signa11 on June 17, 2024 \| 41 comments
30.		I prefer rST to Markdown (buttondown.email/hillelwayne)
		355 points by BerislavLopac 10 months ago \| 422 comments
		More