Hacker News

1.		GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf] (cdn.openai.com)
		80 points by scrlk 1 hour ago \| hide \| 40 comments
2.		QuadRF can spot drones and see WiFi through my wall (jeffgeerling.com)
		244 points by speckx 3 hours ago \| hide \| 87 comments
3.		Snails' Teeth Beats Spider Silk as Nature's Strongest Material (2015) (smithsonianmag.com)
		87 points by simonebrunozzi 2 hours ago \| hide \| 56 comments
4.		The tech of 'Terminator 2' – an oral history (2017) (vfxblog.com)
		78 points by markus_zhang 2 hours ago \| hide \| 37 comments
5.		War Atlas: An interactive cartography of every named war in human history (waratlas.org)
		29 points by NaOH 1 hour ago \| hide \| 9 comments
6.		A Love Letter to Flashcards (lesleylai.info)
		94 points by surprisetalk 3 hours ago \| hide \| 52 comments
7.		Late Bronze Age Collapse (acoup.blog)
		254 points by dmonay 7 hours ago \| hide \| 164 comments
8.		Combustion Engine Web-Based Simulator (combustionlab.net)
		31 points by mytuny 2 hours ago \| hide \| 10 comments
9.		Lost city discovered beneath Egypt's desert with ancient church (dailymail.com)
		103 points by Bender 6 hours ago \| hide \| 41 comments
10.		Good Tools Are Invisible (gingerbill.org)
		241 points by theanonymousone 8 hours ago \| hide \| 128 comments
11.		New York City to become first in US to ban deceptive subscription practices (theguardian.com)
		52 points by randycupertino 1 hour ago \| hide \| 11 comments
12.		Write code like a human will maintain it (unstack.io)
		271 points by ScottWRobinson 5 hours ago \| hide \| 231 comments
13.		Successful Companies Go Blind (ianreppel.org)
		137 points by speckx 5 hours ago \| hide \| 52 comments
14.		Show HN: Reviving my 2001 college band with AI (fadingmaize.com)
		30 points by jacobgraf 3 hours ago \| hide \| 42 comments
15.		Ask HN: Are systems ready for the first negative leap second?
		15 points by Asmod4n 2 hours ago \| hide \| 17 comments
16.		Hands-On with the AMD Ryzen AI Halo (microcenter.com)
		23 points by bdcravens 3 hours ago \| hide \| 26 comments
17.		Computation as a Universal and Fundamental Concept (ergo.org)
		39 points by simonpure 4 hours ago \| hide \| 37 comments
18.		The mathematical secrets of Barcelona's Sagrada Familia (mappingignorance.org)
		100 points by Gedxx 8 hours ago \| hide \| 27 comments
19.		How the Terrorist Group Boko Haram Uses Frontier AI (casp.ac)
		15 points by imustachyou 40 minutes ago \| hide \| 5 comments
20.		Laylo (YC S20) Is Hiring a Head of Finance (ycombinator.com)
		7 hours ago \| hide
21.		Alternate Clock Designs and Time Systems (serialc.github.io)
		57 points by ethanpil 4 hours ago \| hide \| 33 comments
22.		In Emacs, Everything Looks Like a Service (yummymelon.com)
		145 points by kickingvegas 11 hours ago \| hide \| 85 comments
23.		Show HN: Reverse-engineering web apps into agent tools
		56 points by pancomplex 10 hours ago \| hide \| 21 comments
24.		The Annotated JEPA (elonlit.com)
		38 points by surprisetalk 5 hours ago \| hide \| 6 comments
25.		Show HN: Runloom – Go-style coroutines for Python free-threaded (github.com/robertsdotpm)
		38 points by Uptrenda 6 hours ago \| hide \| 15 comments
26.		EU Commission: addictive design Instagram and Facebook in breach of the DSA (europa.eu)
		219 points by jeroenhd 8 hours ago \| hide \| 149 comments
27.		Cpp2Rust: Translates C++ to safe Rust automatically (github.com/cpp2rust)
		8 points by signa11 3 hours ago \| hide \| discuss
28.		How RCA Victor sold Sound Service to classrooms in 1939 (pncnmnp.github.io)
		17 points by pncnmnp 5 hours ago \| hide \| 5 comments
29.		Apple Silicon Exec Explains Mac Mini AI Demand and On-Device Future (macrumors.com)
		182 points by tosh 16 hours ago \| hide \| 263 comments
30.		Interview with Mitchell Hashimoto about Ghostty and Zig (alexalejandre.com)
		367 points by veqq 22 hours ago \| hide \| 203 comments
		More