Hacker News

1.		US SEC preparing to scrap quarterly reporting requirement (reuters.com)
		234 points by djoldman 1 hour ago \| hide \| 115 comments
2.		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		301 points by Poudlardo 5 hours ago \| hide \| 55 comments
3.		Meta’s renewed commitment to jemalloc (fb.com)
		342 points by hahahacorn 7 hours ago \| hide \| 142 comments
4.		The “small web” is bigger than you might think (kevinboone.me)
		312 points by speckx 8 hours ago \| hide \| 134 comments
5.		US commercial insurers pay 254% of Medicare for the same hospital procedures (github.com/rexrodeo)
		227 points by rexroad 8 hours ago \| hide \| 164 comments
6.		My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
		318 points by Vaslo 12 hours ago \| hide \| 95 comments
7.		In space, no one can hear you kernel panic (increment.com)
		24 points by p0u4a 3 hours ago \| hide \| 2 comments
8.		Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)
		60 points by mr_Fatalyst 5 hours ago \| hide \| 36 comments
9.		Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com/sadreck)
		33 points by howlett 4 hours ago \| hide \| 9 comments
10.		Why I love FreeBSD (dragas.net)
		353 points by enz 14 hours ago \| hide \| 164 comments
11.		Canopy Height Maps v2 (meta.com)
		9 points by tzury 2 hours ago \| hide \| 1 comment
12.		The future of Amazon coders is the present of Amazon warehouse workers (pluralistic.net)
		19 points by martin-t 35 minutes ago \| hide \| 2 comments
13.		Starlink Mini as a failover (jackpearce.co.uk)
		198 points by jkpe 13 hours ago \| hide \| 168 comments
14.		Language Model Teams as Distrbuted Systems (arxiv.org)
		71 points by jryio 8 hours ago \| hide \| 32 comments
15.		Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
		1344 points by defly 14 hours ago \| hide \| 883 comments
16.		AnswerThis (YC F25) Is Hiring (ycombinator.com)
		5 hours ago \| hide
17.		AirPods Max 2 (apple.com)
		212 points by ssijak 12 hours ago \| hide \| 381 comments
18.		Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
		65 points by ymarkov 9 hours ago \| hide \| 48 comments
19.		Apideck CLI – An AI-agent interface with much lower context consumption than MCP (apideck.com)
		122 points by gertjandewilde 10 hours ago \| hide \| 106 comments
20.		Show HN: GitClassic.com, a fast, lightweight GitHub thin client (pages <14KB) (gitclassic.com)
		4 points by heythisischris 1 hour ago \| hide \| 1 comment
21.		Home Assistant waters my plants (finnian.io)
		252 points by finniananderson 18 hours ago \| hide \| 131 comments
22.		On The Need For Understanding (information-superhighway.net)
		86 points by zdw 9 hours ago \| hide \| 37 comments
23.		The bureaucracy blocking the chance at a cure (writingruxandrabio.com)
		92 points by item 11 hours ago \| hide \| 118 comments
24.		Show HN: Claude Code skills that build complete Godot games (github.com/htdt)
		166 points by htdt 9 hours ago \| hide \| 103 comments
25.		Corruption erodes social trust more in democracies than in autocracies (frontiersin.org)
		660 points by PaulHoule 14 hours ago \| hide \| 345 comments
26.		Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
		202 points by antics 18 hours ago \| hide \| 98 comments
27.		Kona EV Hacking (techno-fandom.org)
		120 points by AnnikaL 17 hours ago \| hide \| 68 comments
28.		Lazycut: A simple terminal video trimmer using FFmpeg (github.com/emin-ozata)
		155 points by masterpos 13 hours ago \| hide \| 50 comments
29.		Nvidia Launches Vera CPU, Purpose-Built for Agentic AI (nvidia.com)
		128 points by lewismenelaws 5 hours ago \| hide \| 79 comments
30.		Cert Authorities Check for DNSSEC from Today (grepular.com)
		88 points by zdw 10 hours ago \| hide \| 208 comments
		More