Hacker News

1.		Machine-Assisted Proof by Terence Tao [pdf] (ams.org)
		115 points by jalcazar 4 hours ago \| hide \| 24 comments
2.		The Nvidia Way – Review of Tae Kim's New Book (thechipletter.substack.com)
		23 points by klelatti 2 hours ago \| hide \| 12 comments
3.		That's not an abstraction, that's a layer of indirection (fhur.me)
		255 points by fagnerbrack 9 hours ago \| hide \| 88 comments
4.		Ada's dependent types, and its types as a whole (nytpu.com)
		135 points by nytpu 7 hours ago \| hide \| 37 comments
5.		Should more of us be moving to live near friends? (architecturaldigest.com)
		372 points by Geekette 14 hours ago \| hide \| 212 comments
6.		Liberating Wi-Fi on the ESP32 [video] (ccc.de)
		196 points by doener 10 hours ago \| hide \| 62 comments
7.		Plasticlist Report – Data on plastic chemicals in Bay Area foods (plasticlist.org)
		442 points by jeff18 14 hours ago \| hide \| 151 comments
8.		Scale Model of Boeing 777-300ER, Made from Manila Folders (lucaiaconistewart.com)
		468 points by uticus 18 hours ago \| hide \| 76 comments
9.		PixLens: A lens that turns the scenery you see into pixel art (monoli-shop.com)
		61 points by miles 7 hours ago \| hide \| 14 comments
10.		Libobscura: Cameras Are Difficult [video] (ccc.de)
		29 points by doener 5 hours ago \| hide \| discuss
11.		PCIe trouble with 4TB Crucial T500 NVMe SSD for >1 power cycle on MSI PRO X670-P (level1techs.com)
		63 points by transpute 7 hours ago \| hide \| 35 comments
12.		TSMC's Arizona Plant to Start Making Advanced Chips (ieee.org)
		191 points by rbanffy 15 hours ago \| hide \| 74 comments
13.		Cable-cutting tanker seized by Finland 'was loaded with spying equipment' (lloydslist.com)
		249 points by nabla9 17 hours ago \| hide \| 107 comments
14.		Netflix tells writers to have characters "announce what they're doing" (worldofreel.com)
		65 points by exitb 1 hour ago \| hide \| 68 comments
15.		Free Software Needs Free Tools (2010) (mako.cc)
		33 points by pabs3 7 hours ago \| hide \| 4 comments
16.		Mixin is a trait/mixin and bytecode weaving framework for Java using ASM (github.com/spongepowered)
		34 points by LelouBil 8 hours ago \| hide \| 10 comments
17.		Explaining Large Language Models Decisions Using Shapley Values (arxiv.org)
		40 points by veryluckyxyz 10 hours ago \| hide \| 6 comments
18.		Show HN: Minimal, self-hosted exercise tracker (github.com/bmtwl)
		88 points by DrPhish 12 hours ago \| hide \| 26 comments
19.		Cramming Scrapscript into Msgpack (taylor.town)
		3 points by surprisetalk 2 hours ago \| hide \| discuss
20.		How to Create HTML/ZIP/PNG Polyglot Files (gildas-lormeau.github.io)
		84 points by gildas 11 hours ago \| hide \| 24 comments
21.		Demystifying Common Microcontroller Debug Protocols [video] (ccc.de)
		78 points by doener 13 hours ago \| hide \| discuss
22.		1584 LAN party photos from 1996 – 2010 from Australia's island state archived (issung.com)
		119 points by issung 15 hours ago \| hide \| 37 comments
23.		Show HN: I made a web app to bring children's drawings to life (doodledreams.cc)
		172 points by vikmex 16 hours ago \| hide \| 58 comments
24.		A design flaw in the Windows 3D Pipes screen saver pointed out by a customer (microsoft.com)
		20 points by paulmooreparks 2 hours ago \| hide \| 2 comments
25.		The hydraulic systems of the Alhambra Palace [video] (youtube.com)
		105 points by zeristor 14 hours ago \| hide \| 10 comments
26.		Bench accounting services shutting down (bench.co)
		254 points by knuckleheads 19 hours ago \| hide \| 249 comments
27.		International Bank Note Society (theibns.org)
		17 points by gone35 6 hours ago \| hide \| 5 comments
28.		The paper passport's days are numbered (wired.com)
		123 points by ascorbic 18 hours ago \| hide \| 235 comments
29.		Breaking the Mirror – A Look at Apple's New iPhone Remote Control Feature [video] (ccc.de)
		77 points by doener 13 hours ago \| hide \| 10 comments
30.		Progressive Loss of Function in a Limb Enhancer During Snake Evolution (2016) (cell.com)
		6 points by sandwichsphinx 4 hours ago \| hide \| 2 comments
		More