Hacker News

1.		US SEC preparing to scrap quarterly reporting requirement (reuters.com)
		118 points by djoldman 55 minutes ago \| hide \| 62 comments
2.		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		274 points by Poudlardo 3 hours ago \| hide \| 48 comments
3.		Meta’s renewed commitment to jemalloc (fb.com)
		325 points by hahahacorn 6 hours ago \| hide \| 133 comments
4.		The “small web” is bigger than you might think (kevinboone.me)
		300 points by speckx 7 hours ago \| hide \| 129 comments
5.		US commercial insurers pay 254% of Medicare for the same hospital procedures (github.com/rexrodeo)
		186 points by rexroad 7 hours ago \| hide \| 122 comments
6.		Show HN: Trackm, a personal finance web app (trackm.net)
		15 points by iccananea 1 hour ago \| hide \| 5 comments
7.		My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
		310 points by Vaslo 11 hours ago \| hide \| 92 comments
8.		Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)
		53 points by mr_Fatalyst 4 hours ago \| hide \| 29 comments
9.		Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com/sadreck)
		24 points by howlett 3 hours ago \| hide \| 6 comments
10.		Why I love FreeBSD (dragas.net)
		339 points by enz 13 hours ago \| hide \| 158 comments
11.		Language Model Teams as Distrbuted Systems (arxiv.org)
		64 points by jryio 7 hours ago \| hide \| 28 comments
12.		Starlink Mini as a failover (jackpearce.co.uk)
		184 points by jkpe 12 hours ago \| hide \| 160 comments
13.		In space, no one can hear you kernel panic (increment.com)
		12 points by p0u4a 2 hours ago \| hide \| 1 comment
14.		AnswerThis (YC F25) Is Hiring (ycombinator.com)
		3 hours ago \| hide
15.		Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
		63 points by ymarkov 8 hours ago \| hide \| 46 comments
16.		Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
		1310 points by defly 12 hours ago \| hide \| 869 comments
17.		AirPods Max 2 (apple.com)
		195 points by ssijak 11 hours ago \| hide \| 365 comments
18.		Canopy Height Maps v2 (meta.com)
		3 points by tzury 1 hour ago \| hide \| discuss
19.		Apideck CLI – An AI-agent interface with much lower context consumption than MCP (apideck.com)
		116 points by gertjandewilde 9 hours ago \| hide \| 104 comments
20.		On The Need For Understanding (information-superhighway.net)
		80 points by zdw 8 hours ago \| hide \| 33 comments
21.		Show HN: Claude Code skills that build complete Godot games (github.com/htdt)
		149 points by htdt 8 hours ago \| hide \| 90 comments
22.		Nvidia Launches Vera CPU, Purpose-Built for Agentic AI (nvidia.com)
		121 points by lewismenelaws 4 hours ago \| hide \| 76 comments
23.		Home Assistant waters my plants (finnian.io)
		249 points by finniananderson 17 hours ago \| hide \| 131 comments
24.		Corruption erodes social trust more in democracies than in autocracies (frontiersin.org)
		644 points by PaulHoule 13 hours ago \| hide \| 339 comments
25.		The bureaucracy blocking the chance at a cure (writingruxandrabio.com)
		87 points by item 9 hours ago \| hide \| 114 comments
26.		Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
		194 points by antics 17 hours ago \| hide \| 97 comments
27.		Kona EV Hacking (techno-fandom.org)
		118 points by AnnikaL 16 hours ago \| hide \| 65 comments
28.		Lazycut: A simple terminal video trimmer using FFmpeg (github.com/emin-ozata)
		150 points by masterpos 12 hours ago \| hide \| 48 comments
29.		Cert Authorities Check for DNSSEC from Today (grepular.com)
		85 points by zdw 9 hours ago \| hide \| 193 comments
30.		US Job Market Visualizer (karpathy.ai)
		397 points by andygcook 9 hours ago \| hide \| 311 comments
		More