Hacker News

1.		Ada's dependent types, and its types as a whole (nytpu.com)
		98 points by nytpu 4 hours ago \| hide \| 13 comments
2.		Machine-Assisted Proof by Terence Tao [pdf] (ams.org)
		20 points by jalcazar 1 hour ago \| hide \| discuss
3.		That's not an abstraction, that's a layer of indirection (fhur.me)
		161 points by fagnerbrack 6 hours ago \| hide \| 60 comments
4.		Liberating Wi-Fi on the ESP32 [video] (ccc.de)
		156 points by doener 7 hours ago \| hide \| 46 comments
5.		Should more of us be moving to live near friends? (architecturaldigest.com)
		333 points by Geekette 11 hours ago \| hide \| 192 comments
6.		PixLens: A lens that turns the scenery you see into pixel art (monoli-shop.com)
		36 points by miles 4 hours ago \| hide \| 6 comments
7.		Plasticlist Report – Data on plastic chemicals in Bay Area foods (plasticlist.org)
		405 points by jeff18 11 hours ago \| hide \| 135 comments
8.		Scale Model of Boeing 777-300ER, Made from Manila Folders (lucaiaconistewart.com)
		452 points by uticus 15 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)
		45 points by transpute 4 hours ago \| hide \| 22 comments
10.		TSMC's Arizona Plant to Start Making Advanced Chips (ieee.org)
		157 points by rbanffy 12 hours ago \| hide \| 61 comments
11.		Libobscura: Cameras Are Difficult [video] (ccc.de)
		9 points by doener 2 hours ago \| hide \| discuss
12.		Mixin is a trait/mixin and bytecode weaving framework for Java using ASM (github.com/spongepowered)
		29 points by LelouBil 5 hours ago \| hide \| 8 comments
13.		Explaining Large Language Models Decisions Using Shapley Values (arxiv.org)
		29 points by veryluckyxyz 7 hours ago \| hide \| 2 comments
14.		Show HN: Minimal, self-hosted exercise tracker (github.com/bmtwl)
		73 points by DrPhish 9 hours ago \| hide \| 22 comments
15.		Demystifying Common Microcontroller Debug Protocols [video] (ccc.de)
		71 points by doener 10 hours ago \| hide \| discuss
16.		How to Create HTML/ZIP/PNG Polyglot Files (gildas-lormeau.github.io)
		75 points by gildas 8 hours ago \| hide \| 19 comments
17.		Cable-cutting tanker seized by Finland 'was loaded with spying equipment' (lloydslist.com)
		159 points by nabla9 14 hours ago \| hide \| 17 comments
18.		International Bank Note Society (theibns.org)
		11 points by gone35 3 hours ago \| hide \| 3 comments
19.		1584 LAN party photos from 1996 – 2010 from Australia's island state archived (issung.com)
		108 points by issung 12 hours ago \| hide \| 33 comments
20.		Progressive Loss of Function in a Limb Enhancer During Snake Evolution (2016) (cell.com)
		3 points by sandwichsphinx 1 hour ago \| hide \| 1 comment
21.		Free Software Needs Free Tools (2010) (mako.cc)
		11 points by pabs3 4 hours ago \| hide \| discuss
22.		The hydraulic systems of the Alhambra Palace [video] (youtube.com)
		97 points by zeristor 11 hours ago \| hide \| 9 comments
23.		Show HN: I made a web app to bring children's drawings to life (doodledreams.cc)
		153 points by vikmex 13 hours ago \| hide \| 49 comments
24.		Bench accounting services shutting down (bench.co)
		244 points by knuckleheads 16 hours ago \| hide \| 238 comments
25.		Breaking the Mirror – A Look at Apple's New iPhone Remote Control Feature [video] (ccc.de)
		68 points by doener 10 hours ago \| hide \| 5 comments
26.		The paper passport's days are numbered (wired.com)
		102 points by ascorbic 15 hours ago \| hide \| 211 comments
27.		How to Cure Acid Reflux with Simple Exercise: An Anecdotal Study (nih.gov)
		69 points by oneturkmen 4 hours ago \| hide \| 21 comments
28.		Evolution journal editors resign en masse to protest Elsevier changes (retractionwatch.com)
		67 points by panic 4 hours ago \| hide \| 23 comments
29.		PQConnect: Automated Post-Quantum End-to-End Tunnels (pqconnect.net)
		54 points by nabla9 18 hours ago \| hide \| 12 comments
30.		Show HN: Instantly visualize any codebase as an interactive diagram (gitdiagram.com)
		177 points by ahmedkhaleel 18 hours ago \| hide \| 57 comments
		More