Hacker News

1.		Gemini Robotics 2 brings whole body intelligence to robots (deepmind.google)
		74 points by ai2027 37 minutes ago \| hide \| 39 comments
2.		The Lost Civic Life of Movie Rental Stores (mitpress.mit.edu)
		34 points by facundo_olano 1 hour ago \| hide \| 30 comments
3.		SDL_GPU minimal, single-header, high-performance 2D graphics painting library (github.com/n67094)
		25 points by n67094 1 hour ago \| hide \| 4 comments
4.		Paging Through a Parquet File in DuckDB: File_row_number or Offset? (rusty.today)
		13 points by rustyconover 54 minutes ago \| hide \| discuss
5.		Launch HN: Prized (YC S26) – Let non-engineer staff build secure internal tools (prized.dev)
		33 points by marinoseliades 2 hours ago \| hide \| 18 comments
6.		The Economic Benefit of Refactoring (martinfowler.com)
		16 points by javaeeeee 42 minutes ago \| hide \| 1 comment
7.		Hacker Public Radio (hackerpublicradio.org)
		35 points by bmacho 1 hour ago \| hide \| 2 comments
8.		RFC 8890 – The Internet is for End Users (2020) (mnot.net)
		54 points by notarobot123 2 hours ago \| hide \| 14 comments
9.		Why Don't People Use Formal Methods? (2019) (hillelwayne.com)
		77 points by Thom2503 3 hours ago \| hide \| 48 comments
10.		Ron Gilbert started production on Thimbleweed Park 2 (grumpygamer.com)
		160 points by alberto-m 7 hours ago \| hide \| 72 comments
11.		Gpiozero Flow (bennuttall.com)
		103 points by benn_88 5 hours ago \| hide \| 32 comments
12.		Why Is Everyone Trying to Build a Solid-State Battery? (construction-physics.com)
		76 points by crescit_eundo 3 hours ago \| hide \| 78 comments
13.		Trusted URLs via Cryptographic Signatures (certisfy.com)
		8 points by Edmond 1 hour ago \| hide \| 6 comments
14.		Mbodi AI (YC P25) Is Hiring Robotics/Research Engineers (ycombinator.com)
		3 hours ago \| hide
15.		Building a native C# implementation of CEL engine (bsid.io)
		18 points by jackedEngineer 2 hours ago \| hide \| 2 comments
16.		The Alice and Bob After Dinner Speech (1984) (hex.ooo)
		19 points by kamma4434 3 hours ago \| hide \| 1 comment
17.		Are We Stuck with Lean? (mathoverflow.net)
		49 points by jjgreen 4 hours ago \| hide \| 15 comments
18.		Git worktrees are not an isolation boundary for coding agents (fletch.sh)
		25 points by alchaplinsky 1 hour ago \| hide \| 21 comments
19.		Upper stage impacting the moon on 2026 August 5 (projectpluto.com)
		23 points by ryannevius 2 hours ago \| hide \| 6 comments
20.		RCade: The Arcade Cabinet with CI/CD Deployment, Custom Graphics Card for CRT [video] (youtube.com)
		4 points by evakhoury 1 hour ago \| hide \| discuss
21.		Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib) (github.com/grafana)
		33 points by matryer 3 hours ago \| hide \| 13 comments
22.		3D Pinball for Windows (1995) (98.js.org)
		40 points by mushstory 4 hours ago \| hide \| 18 comments
23.		The Glass Famine (edconway.substack.com)
		75 points by baud147258 9 hours ago \| hide \| 33 comments
24.		Why DNA damage from smoking and UV rays cause cancer in some but not others (cam.ac.uk)
		38 points by gmays 1 hour ago \| hide \| 53 comments
25.		CosmosEscape: Taking over Every Database in Azure Cosmos DB (wiz.io)
		32 points by uvuv 3 hours ago \| hide \| 8 comments
26.		Azulejo (wikipedia.org)
		121 points by Amorymeltzer 6 hours ago \| hide \| 38 comments
27.		You can't solve computer use by ignoring the interface (steelmanlabs.com)
		39 points by mpavlov 4 hours ago \| hide \| 14 comments
28.		The first watch featuring computer functions (seiko-design.com)
		65 points by stefanv 7 hours ago \| hide \| 27 comments
29.		Google will expand age checks on Android worldwide till the end of the year (googleblog.com)
		247 points by dmantis 5 hours ago \| hide \| 279 comments
30.		Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode (github.com/yoanwai)
		75 points by yoanwaidev 6 hours ago \| hide \| 57 comments
		More