Hacker News

211.		AI-generated, Lean-verified proof of Collatz conjecture exploits Lean kernel bug (infosec.exchange)
		11 points by YeGoblynQueenne 5 hours ago \| hide \| 1 comment
212.		Kimi K3 Architecture Overview and Notes (sebastianraschka.com)
		499 points by ModelForge 2 days ago \| hide \| 109 comments
213.		OpenDerm – Open-source robotic 3D skin imaging (openderm.github.io)
		17 points by avyfain 21 hours ago \| hide \| 1 comment
214.		Great Barrier Reef at risk of 'collapse', scientists warn (japantoday.com)
		10 points by speckx 6 hours ago \| hide \| discuss
215.		Google's Beyond Zero: Enterprise Security for the AI Era (acm.org)
		156 points by jordigg 2 days ago \| hide \| 80 comments
216.		Forth (xkcd.com)
		229 points by beardyw 2 days ago \| hide \| 52 comments
217.		Meta's AI spending reduces quarterly free cash flow by 91% (reuters.com)
		10 points by johnbarron 8 hours ago \| hide \| discuss
218.		EU opens call for seven 'gigafactories' to train next-generation AI technologies (euronews.com)
		5 points by billybuckwheat 59 minutes ago \| hide \| discuss
219.		The New Science of Inflammation (nytimes.com)
		5 points by elo2000 5 hours ago \| hide \| 2 comments
220.		Hollywood Stopped Making Movies in Hollywood (statsignificant.com)
		7 points by gmays 17 hours ago \| hide \| discuss
221.		Show HN: The Federalist Papers, typeset as the 1787 newspapers they ran in (federalistreader.org)
		44 points by vhwalke 1 day ago \| hide \| 13 comments
222.		Show HN: RunNburn – Run a 295B Moe from a 98GB GGUF on a 64GB RAM Desktop (github.com/coderredlab)
		10 points by coderredlab 18 hours ago \| hide \| discuss
223.		Stop Killing the Internet: No Digital ID and No Age Verification (europa.eu)
		704 points by doener 2 days ago \| hide \| 287 comments
224.		How Do I Profile eBPF Code? (naveensrinivasan.com)
		121 points by snaveen 2 days ago \| hide \| 7 comments
225.		Show HN: XY – A Fast, composable, GPU-accelerated interactive plotting library (github.com/reflex-dev)
		132 points by apetuskey 2 days ago \| hide \| 46 comments
226.		The U.S. economy in 2026: What to watch for (stanford.edu)
		6 points by latentframe 15 hours ago \| hide \| discuss
227.		Half-Life ported to Mac OS 9 (mac-classic.com)
		302 points by freediver 1 day ago \| hide \| 157 comments
228.		Citadel buys Situational Awareness after steep AI losses (ft.com)
		11 points by cl42 4 hours ago \| hide \| 2 comments
229.		Russia charges Telegram founder Pavel Durov with aiding terrorism (nbcnews.com)
		7 points by MehrdadKhnzd 2 hours ago \| hide \| discuss
230.		Hubble: Open-source notetaking app for you and your agents (hubble.md)
		147 points by handfuloflight 1 day ago \| hide \| 71 comments
231.		Thanatos Rising (theamericanscholar.org)
		12 points by Caiero 17 hours ago \| hide \| 2 comments
232.		We shall dwell amidst wonder and glory for ever: On weird fiction (clereviewofbooks.com)
		17 points by plimp 21 hours ago \| hide \| discuss
233.		MCP 2026-07-28 Specification: transport going stateless (modelcontextprotocol.io)
		126 points by Eldodi 2 days ago \| hide \| 40 comments
234.		The motion-sickness cure hidden in iPhone settings (bbc.com)
		55 points by saikatsg 1 day ago \| hide \| 32 comments
235.		Small Portable Weather Radar (github.com/koakno)
		30 points by 9021007 1 day ago \| hide \| 4 comments
236.		Transformer Transformer: A Unified Model for Motion-Conditioned Robot Co-Design (transformer-transformer.github.io)
		72 points by ilreb 1 day ago \| hide \| 8 comments
237.		San Francisco: Don't Fall for Industry Defense of Surveillance Pricing (eff.org)
		162 points by hn_acker 1 day ago \| hide \| 91 comments
238.		After the AI Crash (potsandpansbyccg.com)
		124 points by sysoleg 1 day ago \| hide \| 226 comments
239.		Cooking for Engineers (cookingforengineers.com)
		32 points by simonpure 1 day ago \| hide \| 6 comments
240.		Hooray for the Sockets Interface (apnic.net)
		62 points by jruohonen 1 day ago \| hide \| 75 comments
		More