Classic | Hacker News

1.		Kagi Small Web (kagi.com)
		146 points by trueduke 1 hour ago \| 23 comments
2.		Kagi Translate now supports LinkedIn Speak as an output language (kagi.com)
		668 points by smitec 6 hours ago \| 169 comments
3.		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		586 points by Poudlardo 14 hours ago \| 127 comments
4.		Gitana 18: the new flying Ultim trimaran (boatnews.com)
		45 points by divbzero 6 hours ago \| 14 comments
5.		Sci-Fi Short Film “There Is No Antimemetics Division” [video] (youtube.com)
		122 points by Anon84 9 hours ago \| 26 comments
6.		The “small web” is bigger than you might think (kevinboone.me)
		446 points by speckx 18 hours ago \| 188 comments
7.		Meta’s renewed commitment to jemalloc (fb.com)
		447 points by hahahacorn 17 hours ago \| 196 comments
8.		Every layer of review makes you 10x slower (apenwarr.ca)
		277 points by greyface- 8 hours ago \| 168 comments
9.		The American Healthcare Conundrum (github.com/rexrodeo)
		372 points by rexroad 18 hours ago \| 325 comments
10.		My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
		376 points by Vaslo 22 hours ago \| 116 comments
11.		Pyodide: a Python distribution based on WebAssembly (github.com/pyodide)
		97 points by tosh 10 hours ago \| 25 comments
12.		Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
		141 points by rmason 14 hours ago \| 327 comments
13.		Why I love FreeBSD (dragas.net)
		447 points by enz 1 day ago \| 217 comments
14.		Starlink Mini as a failover (jackpearce.co.uk)
		269 points by jkpe 23 hours ago \| 201 comments
15.		US SEC preparing to scrap quarterly reporting requirement (reuters.com)
		597 points by djoldman 11 hours ago \| 323 comments
16.		Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
		1516 points by defly 23 hours ago \| 949 comments
17.		Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)
		113 points by mr_Fatalyst 14 hours ago \| 60 comments
18.		AirPods Max 2 (apple.com)
		284 points by ssijak 22 hours ago \| 477 comments
19.		Show HN: Hackerbrief – Top posts on Hacker News summarized daily (hackerbrief.vercel.app)
		71 points by p0u4a 22 hours ago \| 45 comments
20.		Show HN: Claude Code skills that build complete Godot games (github.com/htdt)
		259 points by htdt 19 hours ago \| 163 comments
21.		Apideck CLI – An AI-agent interface with much lower context consumption than MCP (apideck.com)
		130 points by gertjandewilde 20 hours ago \| 110 comments
22.		The bureaucracy blocking the chance at a cure (writingruxandrabio.com)
		135 points by item 20 hours ago \| 161 comments
23.		Claude Tips for 3D Work (davesnider.com)
		101 points by snide 7 hours ago \| 20 comments
24.		Language model teams as distributed systems (arxiv.org)
		95 points by jryio 18 hours ago \| 39 comments
25.		Lazycut: A simple terminal video trimmer using FFmpeg (github.com/emin-ozata)
		203 points by masterpos 23 hours ago \| 61 comments
26.		Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
		253 points by antics 1 day ago \| 116 comments
27.		Comparing Python Type Checkers: Typing Spec Conformance (pyrefly.org)
		107 points by ocamoss 23 hours ago \| 48 comments
28.		US Job Market Visualizer (karpathy.ai)
		462 points by andygcook 20 hours ago \| 339 comments
29.		Autoresearch Hub (autoresearchhub.com)
		71 points by EvgeniyZh 1 day ago \| 26 comments
30.		Corruption erodes social trust more in democracies than in autocracies (frontiersin.org)
		710 points by PaulHoule 1 day ago \| 371 comments
		More