Hacker News

1.		The Nvidia Way – Review of Tae Kim's New Book (thechipletter.substack.com)
		73 points by klelatti 4 hours ago \| hide \| 25 comments
2.		That's not an abstraction, that's a layer of indirection (fhur.me)
		321 points by fagnerbrack 11 hours ago \| hide \| 118 comments
3.		Machine-Assisted Proof [pdf] (ams.org)
		140 points by jalcazar 6 hours ago \| hide \| 71 comments
4.		Ada's dependent types, and its types as a whole (nytpu.com)
		152 points by nytpu 9 hours ago \| hide \| 60 comments
5.		Casual Viewing – Why Netflix looks like that (nplusonemag.com)
		111 points by exitb 3 hours ago \| hide \| 132 comments
6.		Shortest times between train stations in Europe (chronotrains.com)
		7 points by vortex_ape 1 hour ago \| hide \| discuss
7.		Liberating Wi-Fi on the ESP32 [video] (ccc.de)
		224 points by doener 12 hours ago \| hide \| 72 comments
8.		PermitFlow (YC W22) Is Hiring Senior/Staff Engineers in NYC (ashbyhq.com)
		58 minutes ago \| hide
9.		Spotify Shuts Down ‘Unwrapped’ Artist Royalty Calculator with Legal Threats (digitalmusicnews.com)
		19 points by cpach 59 minutes ago \| hide \| 4 comments
10.		Plasticlist Report – Data on plastic chemicals in Bay Area foods (plasticlist.org)
		461 points by jeff18 16 hours ago \| hide \| 155 comments
11.		Libobscura: Cameras Are Difficult [video] (ccc.de)
		44 points by doener 7 hours ago \| hide \| discuss
12.		Scale Model of Boeing 777-300ER, Made from Manila Folders (lucaiaconistewart.com)
		482 points by uticus 20 hours ago \| hide \| 79 comments
13.		Chess: Magnus Carlsen disqualified in N.Y. after refusing to change out of jeans (theguardian.com)
		34 points by bookofjoe 1 hour ago \| hide \| 21 comments
14.		Should more of us be moving to live near friends? (architecturaldigest.com)
		392 points by Geekette 16 hours ago \| hide \| 245 comments
15.		TSMC's Arizona Plant to Start Making Advanced Chips (ieee.org)
		210 points by rbanffy 17 hours ago \| hide \| 84 comments
16.		PixLens: A lens that turns the scenery you see into pixel art (monoli-shop.com)
		76 points by miles 9 hours ago \| hide \| 23 comments
17.		Cable-cutting tanker seized by Finland 'was loaded with spying equipment' (lloydslist.com)
		300 points by nabla9 19 hours ago \| hide \| 163 comments
18.		PCIe trouble with 4TB Crucial T500 NVMe SSD for >1 power cycle on MSI PRO X670-P (level1techs.com)
		79 points by transpute 9 hours ago \| hide \| 40 comments
19.		Numbers Are Leaves (christo.sh)
		3 points by nodar-d 1 hour ago \| hide \| discuss
20.		Free Software Needs Free Tools (2010) (mako.cc)
		49 points by pabs3 9 hours ago \| hide \| 9 comments
21.		Explaining Large Language Models Decisions Using Shapley Values (arxiv.org)
		49 points by veryluckyxyz 12 hours ago \| hide \| 7 comments
22.		1584 LAN party photos from 1996 – 2010 from Australia's island state archived (issung.com)
		125 points by issung 17 hours ago \| hide \| 38 comments
23.		Demystifying Common Microcontroller Debug Protocols [video] (ccc.de)
		84 points by doener 15 hours ago \| hide \| discuss
24.		Show HN: Minimal, self-hosted exercise tracker (github.com/bmtwl)
		96 points by DrPhish 14 hours ago \| hide \| 29 comments
25.		Show HN: I made a web app to bring children's drawings to life (doodledreams.cc)
		183 points by vikmex 18 hours ago \| hide \| 62 comments
26.		A design flaw in the Windows 3D Pipes screen saver pointed out by a customer (microsoft.com)
		37 points by paulmooreparks 4 hours ago \| hide \| 6 comments
27.		Mixin is a trait/mixin and bytecode weaving framework for Java using ASM (github.com/spongepowered)
		38 points by LelouBil 10 hours ago \| hide \| 14 comments
28.		Bench accounting services shutting down (bench.co)
		263 points by knuckleheads 21 hours ago \| hide \| 254 comments
29.		How to Create HTML/ZIP/PNG Polyglot Files (gildas-lormeau.github.io)
		89 points by gildas 13 hours ago \| hide \| 26 comments
30.		The hydraulic systems of the Alhambra Palace [video] (youtube.com)
		113 points by zeristor 16 hours ago \| hide \| 15 comments
		More