Hacker News

1.		Kagi Translate now supports LinkedIn Speak as an output language (kagi.com)
		121 points by smitec 1 hour ago \| hide \| 21 comments
2.		US SEC preparing to scrap quarterly reporting requirement (reuters.com)
		482 points by djoldman 5 hours ago \| hide \| 262 comments
3.		Monkey Island for Commodore 64 Ground Up (pixeldust.se)
		56 points by aresant 1 hour ago \| hide \| 9 comments
4.		Every layer of review makes you 10x slower (apenwarr.ca)
		88 points by greyface- 2 hours ago \| hide \| 32 comments
5.		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		406 points by Poudlardo 8 hours ago \| hide \| 82 comments
6.		Meta’s renewed commitment to jemalloc (fb.com)
		399 points by hahahacorn 11 hours ago \| hide \| 173 comments
7.		The “small web” is bigger than you might think (kevinboone.me)
		369 points by speckx 12 hours ago \| hide \| 159 comments
8.		The American Healthcare Conundrum (github.com/rexrodeo)
		301 points by rexroad 12 hours ago \| hide \| 263 comments
9.		Claude Tips for 3D Work (davesnider.com)
		23 points by snide 2 hours ago \| hide \| 2 comments
10.		My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
		353 points by Vaslo 16 hours ago \| hide \| 103 comments
11.		Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
		97 points by rmason 8 hours ago \| hide \| 168 comments
12.		Pyodide: a Python distribution based on WebAssembly (github.com/pyodide)
		36 points by tosh 4 hours ago \| hide \| 12 comments
13.		Jepsen: MariaDB Galera Cluster 12.1.2 (jepsen.io)
		39 points by aphyr 2 hours ago \| hide \| 3 comments
14.		Why I love FreeBSD (dragas.net)
		393 points by enz 18 hours ago \| hide \| 192 comments
15.		Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)
		92 points by mr_Fatalyst 9 hours ago \| hide \| 48 comments
16.		In space, no one can hear you kernel panic (2020) (increment.com)
		49 points by p0u4a 7 hours ago \| hide \| 6 comments
17.		Sci-Fi Short Film "There Is No Antimemetics Division" [video] (youtube.com)
		22 points by Anon84 4 hours ago \| hide \| 4 comments
18.		Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com/sadreck)
		62 points by howlett 8 hours ago \| hide \| 24 comments
19.		Starlink Mini as a failover (jackpearce.co.uk)
		234 points by jkpe 17 hours ago \| hide \| 177 comments
20.		Lf-lean: The frontier of verified software engineering (theorem.dev)
		32 points by alpaylan 3 hours ago \| hide \| 8 comments
21.		AirPods Max 2 (apple.com)
		252 points by ssijak 16 hours ago \| hide \| 436 comments
22.		Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
		1421 points by defly 17 hours ago \| hide \| 917 comments
23.		AnswerThis (YC F25) Is Hiring (ycombinator.com)
		8 hours ago \| hide
24.		Canopy Height Maps v2 (meta.com)
		25 points by tzury 6 hours ago \| hide \| 6 comments
25.		Home Assistant waters my plants (finnian.io)
		276 points by finniananderson 22 hours ago \| hide \| 135 comments
26.		Language model teams as distributed systems (arxiv.org)
		87 points by jryio 12 hours ago \| hide \| 39 comments
27.		Show HN: Claude Code skills that build complete Godot games (github.com/htdt)
		218 points by htdt 13 hours ago \| hide \| 133 comments
28.		The bureaucracy blocking the chance at a cure (writingruxandrabio.com)
		115 points by item 15 hours ago \| hide \| 138 comments
29.		Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
		230 points by antics 22 hours ago \| hide \| 107 comments
30.		Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
		72 points by ymarkov 13 hours ago \| hide \| 57 comments
		More