Hacker News

1.		Machine-Assisted Proof by Terence Tao [pdf] (ams.org)
		56 points by jalcazar 2 hours ago \| hide \| 4 comments
2.		That's not an abstraction, that's a layer of indirection (fhur.me)
		190 points by fagnerbrack 7 hours ago \| hide \| 70 comments
3.		Ada's dependent types, and its types as a whole (nytpu.com)
		111 points by nytpu 5 hours ago \| hide \| 25 comments
4.		Should more of us be moving to live near friends? (architecturaldigest.com)
		349 points by Geekette 12 hours ago \| hide \| 199 comments
5.		Liberating Wi-Fi on the ESP32 [video] (ccc.de)
		167 points by doener 8 hours ago \| hide \| 51 comments
6.		Plasticlist Report – Data on plastic chemicals in Bay Area foods (plasticlist.org)
		416 points by jeff18 12 hours ago \| hide \| 138 comments
7.		PixLens: A lens that turns the scenery you see into pixel art (monoli-shop.com)
		44 points by miles 5 hours ago \| hide \| 7 comments
8.		Scale Model of Boeing 777-300ER, Made from Manila Folders (lucaiaconistewart.com)
		459 points by uticus 16 hours ago \| hide \| 73 comments
9.		PCIe trouble with 4TB Crucial T500 NVMe SSD for >1 power cycle on MSI PRO X670-P (level1techs.com)
		51 points by transpute 5 hours ago \| hide \| 27 comments
10.		Libobscura: Cameras Are Difficult [video] (ccc.de)
		15 points by doener 3 hours ago \| hide \| discuss
11.		TSMC's Arizona Plant to Start Making Advanced Chips (ieee.org)
		171 points by rbanffy 13 hours ago \| hide \| 71 comments
12.		Mixin is a trait/mixin and bytecode weaving framework for Java using ASM (github.com/spongepowered)
		32 points by LelouBil 6 hours ago \| hide \| 8 comments
13.		Cable-cutting tanker seized by Finland 'was loaded with spying equipment' (lloydslist.com)
		194 points by nabla9 15 hours ago \| hide \| 44 comments
14.		Explaining Large Language Models Decisions Using Shapley Values (arxiv.org)
		33 points by veryluckyxyz 8 hours ago \| hide \| 3 comments
15.		Show HN: Minimal, self-hosted exercise tracker (github.com/bmtwl)
		81 points by DrPhish 10 hours ago \| hide \| 26 comments
16.		Free Software Needs Free Tools (2010) (mako.cc)
		16 points by pabs3 5 hours ago \| hide \| 1 comment
17.		International Bank Note Society (theibns.org)
		14 points by gone35 4 hours ago \| hide \| 4 comments
18.		How to Create HTML/ZIP/PNG Polyglot Files (gildas-lormeau.github.io)
		77 points by gildas 9 hours ago \| hide \| 19 comments
19.		Demystifying Common Microcontroller Debug Protocols [video] (ccc.de)
		71 points by doener 11 hours ago \| hide \| discuss
20.		1584 LAN party photos from 1996 – 2010 from Australia's island state archived (issung.com)
		112 points by issung 13 hours ago \| hide \| 35 comments
21.		The hydraulic systems of the Alhambra Palace [video] (youtube.com)
		102 points by zeristor 12 hours ago \| hide \| 10 comments
22.		Progressive Loss of Function in a Limb Enhancer During Snake Evolution (2016) (cell.com)
		4 points by sandwichsphinx 2 hours ago \| hide \| 2 comments
23.		Show HN: I made a web app to bring children's drawings to life (doodledreams.cc)
		159 points by vikmex 14 hours ago \| hide \| 54 comments
24.		Bench accounting services shutting down (bench.co)
		248 points by knuckleheads 17 hours ago \| hide \| 241 comments
25.		Breaking the Mirror – A Look at Apple's New iPhone Remote Control Feature [video] (ccc.de)
		72 points by doener 11 hours ago \| hide \| 7 comments
26.		The paper passport's days are numbered (wired.com)
		113 points by ascorbic 16 hours ago \| hide \| 217 comments
27.		How to Cure Acid Reflux with Simple Exercise: An Anecdotal Study (nih.gov)
		83 points by oneturkmen 5 hours ago \| hide \| 22 comments
28.		Evolution journal editors resign en masse to protest Elsevier changes (retractionwatch.com)
		74 points by panic 5 hours ago \| hide \| 23 comments
29.		PQConnect: Automated Post-Quantum End-to-End Tunnels (pqconnect.net)
		55 points by nabla9 19 hours ago \| hide \| 12 comments
30.		The new science of controlling lucid dreams (scientificamerican.com)
		145 points by cainxinth 19 hours ago \| hide \| 94 comments
		More