Hacker News

1.		Machine-Assisted Proof by Terence Tao [pdf] (ams.org)
		96 points by jalcazar 3 hours ago \| hide \| 6 comments
2.		That's not an abstraction, that's a layer of indirection (fhur.me)
		224 points by fagnerbrack 8 hours ago \| hide \| 83 comments
3.		Ada's dependent types, and its types as a whole (nytpu.com)
		127 points by nytpu 6 hours ago \| hide \| 33 comments
4.		Should more of us be moving to live near friends? (architecturaldigest.com)
		361 points by Geekette 13 hours ago \| hide \| 206 comments
5.		Liberating Wi-Fi on the ESP32 [video] (ccc.de)
		184 points by doener 9 hours ago \| hide \| 58 comments
6.		Plasticlist Report – Data on plastic chemicals in Bay Area foods (plasticlist.org)
		430 points by jeff18 13 hours ago \| hide \| 144 comments
7.		Scale Model of Boeing 777-300ER, Made from Manila Folders (lucaiaconistewart.com)
		465 points by uticus 17 hours ago \| hide \| 74 comments
8.		Libobscura: Cameras Are Difficult [video] (ccc.de)
		21 points by doener 4 hours ago \| hide \| discuss
9.		PixLens: A lens that turns the scenery you see into pixel art (monoli-shop.com)
		49 points by miles 6 hours ago \| hide \| 13 comments
10.		PCIe trouble with 4TB Crucial T500 NVMe SSD for >1 power cycle on MSI PRO X670-P (level1techs.com)
		56 points by transpute 6 hours ago \| hide \| 30 comments
11.		TSMC's Arizona Plant to Start Making Advanced Chips (ieee.org)
		187 points by rbanffy 14 hours ago \| hide \| 71 comments
12.		The Nvidia Way – Review of Tae Kim's New Book (thechipletter.substack.com)
		4 points by klelatti 1 hour ago \| hide \| discuss
13.		Cable-cutting tanker seized by Finland 'was loaded with spying equipment' (lloydslist.com)
		226 points by nabla9 16 hours ago \| hide \| 77 comments
14.		Free Software Needs Free Tools (2010) (mako.cc)
		23 points by pabs3 5 hours ago \| hide \| 4 comments
15.		Mixin is a trait/mixin and bytecode weaving framework for Java using ASM (github.com/spongepowered)
		32 points by LelouBil 7 hours ago \| hide \| 9 comments
16.		Explaining Large Language Models Decisions Using Shapley Values (arxiv.org)
		36 points by veryluckyxyz 9 hours ago \| hide \| 4 comments
17.		How to Create HTML/ZIP/PNG Polyglot Files (gildas-lormeau.github.io)
		81 points by gildas 10 hours ago \| hide \| 22 comments
18.		Show HN: Minimal, self-hosted exercise tracker (github.com/bmtwl)
		83 points by DrPhish 11 hours ago \| hide \| 26 comments
19.		Demystifying Common Microcontroller Debug Protocols [video] (ccc.de)
		75 points by doener 12 hours ago \| hide \| discuss
20.		A design flaw in the Windows 3D Pipes screen saver pointed out by a customer (microsoft.com)
		7 points by paulmooreparks 1 hour ago \| hide \| 1 comment
21.		International Bank Note Society (theibns.org)
		16 points by gone35 5 hours ago \| hide \| 4 comments
22.		1584 LAN party photos from 1996 – 2010 from Australia's island state archived (issung.com)
		116 points by issung 14 hours ago \| hide \| 35 comments
23.		The hydraulic systems of the Alhambra Palace [video] (youtube.com)
		104 points by zeristor 13 hours ago \| hide \| 10 comments
24.		Show HN: I made a web app to bring children's drawings to life (doodledreams.cc)
		165 points by vikmex 15 hours ago \| hide \| 56 comments
25.		Progressive Loss of Function in a Limb Enhancer During Snake Evolution (2016) (cell.com)
		6 points by sandwichsphinx 3 hours ago \| hide \| 2 comments
26.		Bench accounting services shutting down (bench.co)
		251 points by knuckleheads 18 hours ago \| hide \| 247 comments
27.		Breaking the Mirror – A Look at Apple's New iPhone Remote Control Feature [video] (ccc.de)
		76 points by doener 12 hours ago \| hide \| 10 comments
28.		The paper passport's days are numbered (wired.com)
		116 points by ascorbic 17 hours ago \| hide \| 225 comments
29.		How to Cure Acid Reflux with Simple Exercise: An Anecdotal Study (nih.gov)
		92 points by oneturkmen 6 hours ago \| hide \| 28 comments
30.		PQConnect: Automated Post-Quantum End-to-End Tunnels (pqconnect.net)
		57 points by nabla9 20 hours ago \| hide \| 15 comments
		More