louthy's favorites | Hacker News

1.		Spinlocks vs. Mutexes: When to Spin and When to Sleep (howtech.substack.com)
		83 points by birdculture 3 days ago \| 42 comments
2.		Abstract Interpretation in the Toy Optimizer (bernsteinbear.com)
		43 points by ChadNauseam 7 days ago \| 6 comments
3.		Lazier Binary Decision Diagrams for set-theoretic types (elixir-lang.org)
		51 points by tvda 8 days ago \| 5 comments
4.		The Easiest Way to Build a Type Checker (jimmyhmiller.com)
		95 points by surprisetalk 13 days ago \| 27 comments
5.		Ask HN: Hearing aid wearers, what's hot?
		356 points by pugworthy 17 days ago \| 210 comments
6.		Typechecking is undecideable when 'type' is a type (1989) [pdf] (dspace.mit.edu)
		48 points by birdculture 22 days ago \| 27 comments
7.		Hilbert space: Treating functions as vectors (thegreenplace.net)
		150 points by signa11 27 days ago \| 55 comments
8.		WebAssembly from the Ground Up (wasmgroundup.com)
		258 points by gurjeet 25 days ago \| 56 comments
9.		Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (arxiv.org)
		180 points by otrack 33 days ago \| 56 comments
10.		New gel restores dental enamel and could revolutionise tooth repair (nottingham.ac.uk)
		685 points by CGMthrowaway 35 days ago \| 258 comments
11.		Bloom filters are good for search that does not scale (notpeerreviewed.com)
		208 points by birdculture 36 days ago \| 41 comments
12.		A visualization of the RGB space covered by named colors (codepen.io)
		298 points by BlankCanvas 42 days ago \| 95 comments
13.		Backpropagation is a leaky abstraction (2016) (karpathy.medium.com)
		353 points by swatson741 39 days ago \| 160 comments
14.		Myths Programmers Believe about CPU Caches (2018) (rajivprab.com)
		156 points by whack 41 days ago \| 26 comments
15.		Who needs Graphviz when you can build it yourself? (spidermonkey.dev)
		524 points by pdubroy 43 days ago \| 108 comments
16.		Unlocking free WiFi on British Airways (saxrag.com)
		669 points by vinhnx 47 days ago \| 155 comments
17.		Startup plans to cool data centers by converting heat to light (ieee.org)
		26 points by pseudolus 54 days ago \| 2 comments
18.		Tennessee man arrested, accused of threatening a shooting, after posting meme (reason.com)
		349 points by zzzeek 60 days ago \| 283 comments
19.		John Coltrane's Tone Circle (roelsworld.eu)
		167 points by jim-jim-jim 3 months ago \| 64 comments
20.		The Little Book of Linear Algebra (github.com/the-litte-book-of)
		478 points by scapbi 3 months ago \| 129 comments
21.		Typechecker Zoo (sdiehl.github.io)
		193 points by todsacerdoti 3 months ago \| 31 comments
22.		South Park creator’s 2007 digital ad revenue sharing clause (readtrung.com)
		97 points by JustExAWS 3 months ago \| 58 comments
23.		Linear sent me down a local-first rabbit hole (bytemash.net)
		467 points by jcusch 4 months ago \| 218 comments
24.		Running GPT-OSS-120B at 500 tokens per second on Nvidia GPUs (baseten.co)
		247 points by philipkiely 4 months ago \| 175 comments
25.		Why is it worth spending time on type theory? (2013) (math.stackexchange.com)
		89 points by mindcrime 4 months ago \| 45 comments
26.		Open models by OpenAI (openai.com)
		2124 points by lackoftactics 4 months ago \| 876 comments
27.		SimpleW – Web Server Library .NET Core (github.com/stratdev3)
		59 points by prodbro 4 months ago \| 79 comments
28.		Linear Types for Programmers (2023) (twey.io)
		60 points by marvinborner 4 months ago \| 15 comments
29.		6 weeks of Claude Code (puzzmo.com)
		581 points by mike1o1 4 months ago \| 590 comments
30.		Implementing a functional language with graph reduction (2021) (thma.github.io)
		52 points by Bogdanp 4 months ago \| 5 comments
		More