Hacker News

1.		US SEC preparing to scrap quarterly reporting requirement (reuters.com)
		373 points by djoldman 3 hours ago \| hide \| 188 comments
2.		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		351 points by Poudlardo 7 hours ago \| hide \| 70 comments
3.		Meta’s renewed commitment to jemalloc (fb.com)
		371 points by hahahacorn 9 hours ago \| hide \| 156 comments
4.		The “small web” is bigger than you might think (kevinboone.me)
		341 points by speckx 10 hours ago \| hide \| 141 comments
5.		The American Healthcare Conundrum (github.com/rexrodeo)
		276 points by rexroad 10 hours ago \| hide \| 229 comments
6.		My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
		337 points by Vaslo 14 hours ago \| hide \| 100 comments
7.		Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)
		86 points by mr_Fatalyst 7 hours ago \| hide \| 43 comments
8.		Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
		75 points by rmason 7 hours ago \| hide \| 122 comments
9.		In space, no one can hear you kernel panic (2020) (increment.com)
		40 points by p0u4a 5 hours ago \| hide \| 2 comments
10.		Why I love FreeBSD (dragas.net)
		379 points by enz 16 hours ago \| hide \| 187 comments
11.		Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com/sadreck)
		49 points by howlett 6 hours ago \| hide \| 14 comments
12.		Show HN: GitClassic.com, a fast, lightweight GitHub thin client (pages <14KB) (gitclassic.com)
		27 points by heythisischris 3 hours ago \| hide \| 12 comments
13.		Starlink Mini as a failover (jackpearce.co.uk)
		219 points by jkpe 15 hours ago \| hide \| 170 comments
14.		Canopy Height Maps v2 (meta.com)
		19 points by tzury 4 hours ago \| hide \| 5 comments
15.		AirPods Max 2 (apple.com)
		231 points by ssijak 14 hours ago \| hide \| 410 comments
16.		Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
		1390 points by defly 15 hours ago \| hide \| 894 comments
17.		Language model teams as distributed systems (arxiv.org)
		76 points by jryio 10 hours ago \| hide \| 33 comments
18.		AnswerThis (YC F25) Is Hiring (ycombinator.com)
		6 hours ago \| hide
19.		Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
		71 points by ymarkov 11 hours ago \| hide \| 52 comments
20.		Home Assistant waters my plants (finnian.io)
		259 points by finniananderson 20 hours ago \| hide \| 134 comments
21.		Pyodide: a Python distribution based on WebAssembly (github.com/pyodide)
		12 points by tosh 2 hours ago \| hide \| 4 comments
22.		The bureaucracy blocking the chance at a cure (writingruxandrabio.com)
		106 points by item 13 hours ago \| hide \| 128 comments
23.		Show HN: Claude Code skills that build complete Godot games (github.com/htdt)
		192 points by htdt 11 hours ago \| hide \| 122 comments
24.		Apideck CLI – An AI-agent interface with much lower context consumption than MCP (apideck.com)
		126 points by gertjandewilde 12 hours ago \| hide \| 107 comments
25.		Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
		221 points by antics 20 hours ago \| hide \| 106 comments
26.		Corruption erodes social trust more in democracies than in autocracies (frontiersin.org)
		679 points by PaulHoule 16 hours ago \| hide \| 355 comments
27.		Lazycut: A simple terminal video trimmer using FFmpeg (github.com/emin-ozata)
		170 points by masterpos 15 hours ago \| hide \| 53 comments
28.		On The Need For Understanding (information-superhighway.net)
		94 points by zdw 11 hours ago \| hide \| 41 comments
29.		Kona EV Hacking (techno-fandom.org)
		126 points by AnnikaL 19 hours ago \| hide \| 69 comments
30.		Lf-lean: The frontier of verified software engineering (theorem.dev)
		18 points by alpaylan 1 hour ago \| hide \| 5 comments
		More