louthy's favorites | Hacker News

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