Hacker News

1.		Six Years of Gemini (geminiprotocol.net)
		43 points by brson 2 hours ago \| hide \| 6 comments
2.		GPUHammer: Rowhammer attacks on GPU memories are practical (gpuhammer.com)
		123 points by jonbaer 4 hours ago \| hide \| 37 comments
3.		Tilck: A Tiny Linux-Compatible Kernel (github.com/vvaltchev)
		19 points by chubot 1 hour ago \| hide \| discuss
4.		Cloudflare 1.1.1.1 Incident on July 14, 2025 (cloudflare.com)
		26 points by nomaxx117 1 hour ago \| hide \| 1 comment
5.		Show HN: Shoggoth Mini – A soft tentacle robot powered by GPT-4o and RL (matthieulc.com)
		414 points by cataPhil 13 hours ago \| hide \| 83 comments
6.		Running a million-board chess MMO in a single process (eieio.games)
		71 points by isaiahwp 5 hours ago \| hide \| 6 comments
7.		Reflections on OpenAI (calv.info)
		448 points by calvinfo 12 hours ago \| hide \| 237 comments
8.		NIST ion clock sets new record for most accurate clock (nist.gov)
		284 points by voxadam 13 hours ago \| hide \| 98 comments
9.		The FIPS 140-3 Go Cryptographic Module (go.dev)
		116 points by FiloSottile 8 hours ago \| hide \| 41 comments
10.		Where's Firefox going next? (connect.mozilla.org)
		129 points by ReadCarlBarks 7 hours ago \| hide \| 156 comments
11.		My Family and the Flood (texasmonthly.com)
		124 points by herbertl 6 hours ago \| hide \| 20 comments
12.		To be a better programmer, write little proofs in your head (the-nerve-blog.ghost.io)
		279 points by mprast 11 hours ago \| hide \| 114 comments
13.		Congress moves to reject bulk of White House's proposed NASA cuts (arstechnica.com)
		59 points by DocFeind 2 hours ago \| hide \| 29 comments
14.		Show HN: Reviving a 20 year old OS X App (andrewshaw.nl)
		17 points by shawa_a_a 2 hours ago \| hide \| 3 comments
15.		Encrypting files with passkeys and age (filippo.io)
		90 points by thadt 8 hours ago \| hide \| 47 comments
16.		The Story of Mel, A Real Programmer, Annotated (1996) (utah.edu)
		76 points by fanf2 9 hours ago \| hide \| 24 comments
17.		Plasma Bigscreen rises from the dead with a better UI (neowin.net)
		137 points by bundie 11 hours ago \| hide \| 46 comments
18.		Designing for the Eye: Optical corrections in architecture and typography (nubero.ch)
		130 points by ArmageddonIt 11 hours ago \| hide \| 20 comments
19.		Easy dynamic dispatch using GLIBC Hardware Capabilities (kvr.at)
		29 points by Bogdanp 6 hours ago \| hide \| 3 comments
20.		Hierarchical Modeling (H-Nets) (cartesia.ai)
		70 points by marviel 9 hours ago \| hide \| 18 comments
21.		Claude for Financial Services (anthropic.com)
		111 points by mildlyhostileux 6 hours ago \| hide \| 62 comments
22.		Lead GrapheneOS developer was forcibly conscripted into a war (grapheneos.social)
		3 points by pabs3 1 hour ago \| hide \| 1 comment
23.		Lorem Gibson (loremgibson.com)
		120 points by DyslexicAtheist 13 hours ago \| hide \| 23 comments
24.		Mostly dead influential programming languages (2020) (hillelwayne.com)
		107 points by azhenley 13 hours ago \| hide \| 60 comments
25.		Mira Murati’s AI startup Thinking Machines valued at $12B in early-stage funding (reuters.com)
		86 points by spenvo 11 hours ago \| hide \| 83 comments
26.		Voxtral – Frontier open source speech understanding models (mistral.ai)
		66 points by meetpateltech 14 hours ago \| hide \| 18 comments
27.		Show HN: Beyond Z²+C, Plot Any Fractal (juliascope.com)
		78 points by akunzler 10 hours ago \| hide \| 24 comments
28.		CoinTracker (YC W18) is hiring to solve crypto taxes and accounting (remote)
		11 hours ago \| hide
29.		Hazel: A live functional programming environment with typed holes (github.com/hazelgrove)
		53 points by azhenley 9 hours ago \| hide \| 11 comments
30.		LLM Inevitabilism (tomrenner.com)
		1540 points by SwoopsFromAbove 1 day ago \| hide \| 1454 comments
		More