Hacker News

1.		Kagi Translate now supports LinkedIn Speak as an output language (kagi.com)
		289 points by smitec 2 hours ago \| hide \| 47 comments
2.		US SEC preparing to scrap quarterly reporting requirement (reuters.com)
		525 points by djoldman 6 hours ago \| hide \| 279 comments
3.		Monkey Island for Commodore 64 Ground Up (pixeldust.se)
		76 points by aresant 2 hours ago \| hide \| 19 comments
4.		Every layer of review makes you 10x slower (apenwarr.ca)
		123 points by greyface- 3 hours ago \| hide \| 54 comments
5.		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		427 points by Poudlardo 10 hours ago \| hide \| 87 comments
6.		Meta’s renewed commitment to jemalloc (fb.com)
		404 points by hahahacorn 12 hours ago \| hide \| 176 comments
7.		Claude Tips for 3D Work (davesnider.com)
		42 points by snide 3 hours ago \| hide \| 2 comments
8.		Gitana 18: the new flying Ultim trimaran (boatnews.com)
		10 points by divbzero 1 hour ago \| hide \| discuss
9.		The “small web” is bigger than you might think (kevinboone.me)
		377 points by speckx 13 hours ago \| hide \| 160 comments
10.		The American Healthcare Conundrum (github.com/rexrodeo)
		314 points by rexroad 13 hours ago \| hide \| 269 comments
11.		Sci-Fi Short Film "There Is No Antimemetics Division" [video] (youtube.com)
		38 points by Anon84 5 hours ago \| hide \| 4 comments
12.		My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
		358 points by Vaslo 17 hours ago \| hide \| 103 comments
13.		Pyodide: a Python distribution based on WebAssembly (github.com/pyodide)
		45 points by tosh 5 hours ago \| hide \| 17 comments
14.		Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
		109 points by rmason 9 hours ago \| hide \| 189 comments
15.		Why I love FreeBSD (dragas.net)
		402 points by enz 19 hours ago \| hide \| 196 comments
16.		In space, no one can hear you kernel panic (2020) (increment.com)
		55 points by p0u4a 8 hours ago \| hide \| 6 comments
17.		Jepsen: MariaDB Galera Cluster 12.1.2 (jepsen.io)
		53 points by aphyr 3 hours ago \| hide \| 5 comments
18.		Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)
		96 points by mr_Fatalyst 10 hours ago \| hide \| 49 comments
19.		Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com/sadreck)
		65 points by howlett 9 hours ago \| hide \| 25 comments
20.		Starlink Mini as a failover (jackpearce.co.uk)
		240 points by jkpe 18 hours ago \| hide \| 184 comments
21.		AirPods Max 2 (apple.com)
		262 points by ssijak 17 hours ago \| hide \| 444 comments
22.		Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
		1438 points by defly 18 hours ago \| hide \| 924 comments
23.		Show HN: Claude Code skills that build complete Godot games (github.com/htdt)
		231 points by htdt 14 hours ago \| hide \| 137 comments
24.		AnswerThis (YC F25) Is Hiring (ycombinator.com)
		9 hours ago \| hide
25.		Language model teams as distributed systems (arxiv.org)
		89 points by jryio 13 hours ago \| hide \| 39 comments
26.		Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
		237 points by antics 23 hours ago \| hide \| 108 comments
27.		The bureaucracy blocking the chance at a cure (writingruxandrabio.com)
		122 points by item 16 hours ago \| hide \| 144 comments
28.		Canopy Height Maps v2 (meta.com)
		26 points by tzury 7 hours ago \| hide \| 7 comments
29.		Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
		72 points by ymarkov 14 hours ago \| hide \| 57 comments
30.		Lazycut: A simple terminal video trimmer using FFmpeg (github.com/emin-ozata)
		187 points by masterpos 18 hours ago \| hide \| 55 comments
		More