Hacker News

1.		Kagi Translate now supports LinkedIn Speak as an output language (kagi.com)
		494 points by smitec 5 hours ago \| hide \| 128 comments
2.		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		549 points by Poudlardo 12 hours ago \| hide \| 112 comments
3.		Kagi Small Web (kagi.com)
		3 points by trueduke 5 minutes ago \| hide \| discuss
4.		The unlikely story of Teardown Multiplayer (voxagon.se)
		78 points by lairv 4 hours ago \| hide \| 12 comments
5.		Meta’s renewed commitment to jemalloc (fb.com)
		439 points by hahahacorn 15 hours ago \| hide \| 192 comments
6.		Grace Hopper's Revenge (thefuriousopposites.com)
		5 points by ashirviskas 32 minutes ago \| hide \| 1 comment
7.		The “small web” is bigger than you might think (kevinboone.me)
		430 points by speckx 16 hours ago \| hide \| 181 comments
8.		The American Healthcare Conundrum (github.com/rexrodeo)
		350 points by rexroad 16 hours ago \| hide \| 304 comments
9.		Gitana 18: the new flying Ultim trimaran (boatnews.com)
		36 points by divbzero 4 hours ago \| hide \| 5 comments
10.		Every layer of review makes you 10x slower (apenwarr.ca)
		235 points by greyface- 6 hours ago \| hide \| 123 comments
11.		US SEC preparing to scrap quarterly reporting requirement (reuters.com)
		579 points by djoldman 9 hours ago \| hide \| 313 comments
12.		Sci-Fi Short Film “There Is No Antimemetics Division” [video] (youtube.com)
		91 points by Anon84 8 hours ago \| hide \| 20 comments
13.		Pyodide: a Python distribution based on WebAssembly (github.com/pyodide)
		80 points by tosh 8 hours ago \| hide \| 23 comments
14.		My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
		372 points by Vaslo 20 hours ago \| hide \| 107 comments
15.		Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
		129 points by rmason 12 hours ago \| hide \| 272 comments
16.		Why I love FreeBSD (dragas.net)
		434 points by enz 22 hours ago \| hide \| 215 comments
17.		Monkey Island for Commodore 64 Ground Up (pixeldust.se)
		129 points by aresant 5 hours ago \| hide \| 44 comments
18.		Fatal Core Dump Game (robopenguins.com)
		4 points by pabs3 2 hours ago \| hide \| discuss
19.		Claude Tips for 3D Work (davesnider.com)
		81 points by snide 6 hours ago \| hide \| 19 comments
20.		Starlink Mini as a failover (jackpearce.co.uk)
		260 points by jkpe 21 hours ago \| hide \| 190 comments
21.		Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)
		107 points by mr_Fatalyst 13 hours ago \| hide \| 59 comments
22.		In space, no one can hear you kernel panic (2020) (increment.com)
		60 points by p0u4a 11 hours ago \| hide \| 9 comments
23.		Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com/sadreck)
		84 points by howlett 12 hours ago \| hide \| 30 comments
24.		AirPods Max 2 (apple.com)
		281 points by ssijak 20 hours ago \| hide \| 465 comments
25.		Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
		1494 points by defly 21 hours ago \| hide \| 942 comments
26.		Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
		250 points by antics 1 day ago \| hide \| 113 comments
27.		The bureaucracy blocking the chance at a cure (writingruxandrabio.com)
		132 points by item 19 hours ago \| hide \| 157 comments
28.		Jepsen: MariaDB Galera Cluster 12.1.2 (jepsen.io)
		78 points by aphyr 6 hours ago \| hide \| 8 comments
29.		AnswerThis (YC F25) Is Hiring (ycombinator.com)
		12 hours ago \| hide
30.		Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025) (arxiv.org)
		113 points by wek 16 hours ago \| hide \| 62 comments
		More