Hacker News

1.		US SEC preparing to scrap quarterly reporting requirement (reuters.com)
		430 points by djoldman 4 hours ago \| hide \| 229 comments
2.		Monkey Island for Commodore 64 Ground Up (pixeldust.se)
		18 points by aresant 57 minutes ago \| hide \| 2 comments
3.		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		377 points by Poudlardo 7 hours ago \| hide \| 77 comments
4.		Every layer of review makes you 10x slower (apenwarr.ca)
		32 points by greyface- 1 hour ago \| hide \| 13 comments
5.		Zenclora OS (zenclora.org)
		13 points by debo_ 47 minutes ago \| hide \| 5 comments
6.		Meta’s renewed commitment to jemalloc (fb.com)
		385 points by hahahacorn 10 hours ago \| hide \| 166 comments
7.		The “small web” is bigger than you might think (kevinboone.me)
		352 points by speckx 11 hours ago \| hide \| 158 comments
8.		Kagi Translate now supports LinkedIn Speak as an output language (kagi.com)
		7 points by smitec 18 minutes ago \| hide \| 1 comment
9.		The American Healthcare Conundrum (github.com/rexrodeo)
		287 points by rexroad 11 hours ago \| hide \| 250 comments
10.		Lf-lean: The frontier of verified software engineering (theorem.dev)
		26 points by alpaylan 2 hours ago \| hide \| 6 comments
11.		Jepsen: MariaDB Galera Cluster 12.1.2 (jepsen.io)
		26 points by aphyr 1 hour ago \| hide \| 3 comments
12.		My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
		346 points by Vaslo 15 hours ago \| hide \| 100 comments
13.		Claude Tips for 3D Work (davesnider.com)
		4 points by snide 1 hour ago \| hide \| discuss
14.		Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
		87 points by rmason 7 hours ago \| hide \| 146 comments
15.		Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)
		89 points by mr_Fatalyst 8 hours ago \| hide \| 47 comments
16.		In space, no one can hear you kernel panic (2020) (increment.com)
		45 points by p0u4a 6 hours ago \| hide \| 5 comments
17.		Why I love FreeBSD (dragas.net)
		386 points by enz 17 hours ago \| hide \| 189 comments
18.		Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com/sadreck)
		57 points by howlett 7 hours ago \| hide \| 20 comments
19.		Pyodide: a Python distribution based on WebAssembly (github.com/pyodide)
		24 points by tosh 3 hours ago \| hide \| 8 comments
20.		Starlink Mini as a failover (jackpearce.co.uk)
		226 points by jkpe 16 hours ago \| hide \| 173 comments
21.		AnswerThis (YC F25) Is Hiring (ycombinator.com)
		7 hours ago \| hide
22.		AirPods Max 2 (apple.com)
		243 points by ssijak 15 hours ago \| hide \| 427 comments
23.		Canopy Height Maps v2 (meta.com)
		22 points by tzury 5 hours ago \| hide \| 6 comments
24.		Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
		1402 points by defly 16 hours ago \| hide \| 909 comments
25.		Language model teams as distributed systems (arxiv.org)
		81 points by jryio 11 hours ago \| hide \| 36 comments
26.		Show HN: Claude Code skills that build complete Godot games (github.com/htdt)
		206 points by htdt 12 hours ago \| hide \| 129 comments
27.		Home Assistant waters my plants (finnian.io)
		268 points by finniananderson 21 hours ago \| hide \| 134 comments
28.		The bureaucracy blocking the chance at a cure (writingruxandrabio.com)
		112 points by item 13 hours ago \| hide \| 133 comments
29.		Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
		71 points by ymarkov 12 hours ago \| hide \| 55 comments
30.		Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
		225 points by antics 21 hours ago \| hide \| 106 comments
		More