Hacker News

1.		US SEC preparing to scrap quarterly reporting requirement (reuters.com)
		308 points by djoldman 2 hours ago \| hide \| 154 comments
2.		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		328 points by Poudlardo 5 hours ago \| hide \| 61 comments
3.		Meta’s renewed commitment to jemalloc (fb.com)
		358 points by hahahacorn 8 hours ago \| hide \| 148 comments
4.		The American Healthcare Conundrum (github.com/rexrodeo)
		260 points by rexroad 9 hours ago \| hide \| 201 comments
5.		The “small web” is bigger than you might think (kevinboone.me)
		328 points by speckx 9 hours ago \| hide \| 138 comments
6.		My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
		329 points by Vaslo 13 hours ago \| hide \| 98 comments
7.		In space, no one can hear you kernel panic (2020) (increment.com)
		33 points by p0u4a 4 hours ago \| hide \| 2 comments
8.		Canopy Height Maps v2 (meta.com)
		15 points by tzury 3 hours ago \| hide \| 2 comments
9.		Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com/sadreck)
		43 points by howlett 5 hours ago \| hide \| 10 comments
10.		Why I love FreeBSD (dragas.net)
		364 points by enz 15 hours ago \| hide \| 174 comments
11.		Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
		61 points by rmason 5 hours ago \| hide \| 93 comments
12.		Show HN: GitClassic.com, a fast, lightweight GitHub thin client (pages <14KB) (gitclassic.com)
		15 points by heythisischris 2 hours ago \| hide \| 9 comments
13.		Starlink Mini as a failover (jackpearce.co.uk)
		212 points by jkpe 14 hours ago \| hide \| 168 comments
14.		Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)
		76 points by mr_Fatalyst 6 hours ago \| hide \| 41 comments
15.		AirPods Max 2 (apple.com)
		225 points by ssijak 13 hours ago \| hide \| 393 comments
16.		Language model teams as distributed systems (arxiv.org)
		73 points by jryio 9 hours ago \| hide \| 33 comments
17.		Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
		1369 points by defly 14 hours ago \| hide \| 889 comments
18.		AnswerThis (YC F25) Is Hiring (ycombinator.com)
		5 hours ago \| hide
19.		Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
		67 points by ymarkov 10 hours ago \| hide \| 48 comments
20.		Pyodide: a Python distribution based on WebAssembly (github.com/pyodide)
		4 points by tosh 1 hour ago \| hide \| discuss
21.		Apideck CLI – An AI-agent interface with much lower context consumption than MCP (apideck.com)
		125 points by gertjandewilde 11 hours ago \| hide \| 107 comments
22.		Home Assistant waters my plants (finnian.io)
		254 points by finniananderson 19 hours ago \| hide \| 133 comments
23.		The bureaucracy blocking the chance at a cure (writingruxandrabio.com)
		102 points by item 12 hours ago \| hide \| 121 comments
24.		Corruption erodes social trust more in democracies than in autocracies (frontiersin.org)
		671 points by PaulHoule 15 hours ago \| hide \| 352 comments
25.		Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
		211 points by antics 19 hours ago \| hide \| 103 comments
26.		On The Need For Understanding (information-superhighway.net)
		90 points by zdw 10 hours ago \| hide \| 39 comments
27.		Lazycut: A simple terminal video trimmer using FFmpeg (github.com/emin-ozata)
		164 points by masterpos 14 hours ago \| hide \| 53 comments
28.		Kona EV Hacking (techno-fandom.org)
		125 points by AnnikaL 18 hours ago \| hide \| 69 comments
29.		Show HN: Claude Code skills that build complete Godot games (github.com/htdt)
		181 points by htdt 10 hours ago \| hide \| 119 comments
30.		Cert Authorities Check for DNSSEC from Today (grepular.com)
		91 points by zdw 11 hours ago \| hide \| 213 comments
		More