Hacker News

1.		The Nvidia Way – Review of Tae Kim's New Book (thechipletter.substack.com)
		41 points by klelatti 3 hours ago \| hide \| 16 comments
2.		Machine-Assisted Proof [pdf] (ams.org)
		126 points by jalcazar 5 hours ago \| hide \| 51 comments
3.		That's not an abstraction, that's a layer of indirection (fhur.me)
		291 points by fagnerbrack 10 hours ago \| hide \| 105 comments
4.		Ada's dependent types, and its types as a whole (nytpu.com)
		139 points by nytpu 8 hours ago \| hide \| 47 comments
5.		Liberating Wi-Fi on the ESP32 [video] (ccc.de)
		210 points by doener 11 hours ago \| hide \| 67 comments
6.		Should more of us be moving to live near friends? (architecturaldigest.com)
		380 points by Geekette 15 hours ago \| hide \| 224 comments
7.		Plasticlist Report – Data on plastic chemicals in Bay Area foods (plasticlist.org)
		447 points by jeff18 15 hours ago \| hide \| 152 comments
8.		PixLens: A lens that turns the scenery you see into pixel art (monoli-shop.com)
		68 points by miles 8 hours ago \| hide \| 18 comments
9.		Scale Model of Boeing 777-300ER, Made from Manila Folders (lucaiaconistewart.com)
		475 points by uticus 19 hours ago \| hide \| 78 comments
10.		Libobscura: Cameras Are Difficult [video] (ccc.de)
		37 points by doener 6 hours ago \| hide \| discuss
11.		TSMC's Arizona Plant to Start Making Advanced Chips (ieee.org)
		199 points by rbanffy 16 hours ago \| hide \| 82 comments
12.		PCIe trouble with 4TB Crucial T500 NVMe SSD for >1 power cycle on MSI PRO X670-P (level1techs.com)
		72 points by transpute 8 hours ago \| hide \| 37 comments
13.		Cable-cutting tanker seized by Finland 'was loaded with spying equipment' (lloydslist.com)
		275 points by nabla9 18 hours ago \| hide \| 137 comments
14.		Free Software Needs Free Tools (2010) (mako.cc)
		41 points by pabs3 8 hours ago \| hide \| 5 comments
15.		Chess: Magnus Carlsen disqualified in N.Y. after refusing to change out of jeans (theguardian.com)
		7 points by bookofjoe 41 minutes ago \| hide \| discuss
16.		Netflix tells writers to have characters "announce what they're doing" (worldofreel.com)
		89 points by exitb 2 hours ago \| hide \| 101 comments
17.		Explaining Large Language Models Decisions Using Shapley Values (arxiv.org)
		45 points by veryluckyxyz 11 hours ago \| hide \| 7 comments
18.		Show HN: Minimal, self-hosted exercise tracker (github.com/bmtwl)
		91 points by DrPhish 13 hours ago \| hide \| 27 comments
19.		The rock houses of England's last cave people (bbc.co.uk)
		4 points by gnufx 2 hours ago \| hide \| discuss
20.		Demystifying Common Microcontroller Debug Protocols [video] (ccc.de)
		81 points by doener 14 hours ago \| hide \| discuss
21.		Mixin is a trait/mixin and bytecode weaving framework for Java using ASM (github.com/spongepowered)
		36 points by LelouBil 9 hours ago \| hide \| 14 comments
22.		How to Create HTML/ZIP/PNG Polyglot Files (gildas-lormeau.github.io)
		87 points by gildas 12 hours ago \| hide \| 25 comments
23.		Show HN: I made a web app to bring children's drawings to life (doodledreams.cc)
		179 points by vikmex 17 hours ago \| hide \| 60 comments
24.		The hydraulic systems of the Alhambra Palace [video] (youtube.com)
		111 points by zeristor 15 hours ago \| hide \| 11 comments
25.		1584 LAN party photos from 1996 – 2010 from Australia's island state archived (issung.com)
		120 points by issung 16 hours ago \| hide \| 37 comments
26.		Bench accounting services shutting down (bench.co)
		255 points by knuckleheads 20 hours ago \| hide \| 250 comments
27.		A design flaw in the Windows 3D Pipes screen saver pointed out by a customer (microsoft.com)
		27 points by paulmooreparks 3 hours ago \| hide \| 4 comments
28.		The paper passport's days are numbered (wired.com)
		127 points by ascorbic 19 hours ago \| hide \| 240 comments
29.		Breaking the Mirror – A Look at Apple's New iPhone Remote Control Feature [video] (ccc.de)
		80 points by doener 14 hours ago \| hide \| 11 comments
30.		International Bank Note Society (theibns.org)
		18 points by gone35 7 hours ago \| hide \| 5 comments
		More