Hacker News

1.		Kagi Small Web (kagi.com)
		102 points by trueduke 1 hour ago \| hide \| 14 comments
2.		Kagi Translate now supports LinkedIn Speak as an output language (kagi.com)
		617 points by smitec 6 hours ago \| hide \| 159 comments
3.		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		574 points by Poudlardo 14 hours ago \| hide \| 122 comments
4.		The unlikely story of Teardown Multiplayer (voxagon.se)
		100 points by lairv 5 hours ago \| hide \| 15 comments
5.		Building a Shell (healeycodes.com)
		13 points by ingve 1 hour ago \| hide \| discuss
6.		Meta’s renewed commitment to jemalloc (fb.com)
		443 points by hahahacorn 16 hours ago \| hide \| 195 comments
7.		Reverse-engineering Viktor and making it Open Source (matijacniacki.com)
		19 points by zggf 2 hours ago \| hide \| 7 comments
8.		The American Healthcare Conundrum (github.com/rexrodeo)
		366 points by rexroad 17 hours ago \| hide \| 314 comments
9.		The “small web” is bigger than you might think (kevinboone.me)
		441 points by speckx 17 hours ago \| hide \| 186 comments
10.		Sci-Fi Short Film “There Is No Antimemetics Division” [video] (youtube.com)
		111 points by Anon84 9 hours ago \| hide \| 23 comments
11.		Grace Hopper's Revenge (thefuriousopposites.com)
		13 points by ashirviskas 1 hour ago \| hide \| 7 comments
12.		Every layer of review makes you 10x slower (apenwarr.ca)
		268 points by greyface- 7 hours ago \| hide \| 149 comments
13.		Gitana 18: the new flying Ultim trimaran (boatnews.com)
		42 points by divbzero 5 hours ago \| hide \| 12 comments
14.		US SEC preparing to scrap quarterly reporting requirement (reuters.com)
		589 points by djoldman 10 hours ago \| hide \| 318 comments
15.		What CI looks like at a 100-person team (PostHog) (mendral.com)
		12 points by shad42 2 hours ago \| hide \| discuss
16.		Pyodide: a Python distribution based on WebAssembly (github.com/pyodide)
		89 points by tosh 9 hours ago \| hide \| 25 comments
17.		Fatal Core Dump Game (robopenguins.com)
		9 points by pabs3 3 hours ago \| hide \| 1 comment
18.		My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
		375 points by Vaslo 21 hours ago \| hide \| 108 comments
19.		Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
		138 points by rmason 13 hours ago \| hide \| 305 comments
20.		Why I love FreeBSD (dragas.net)
		444 points by enz 23 hours ago \| hide \| 218 comments
21.		Claude Tips for 3D Work (davesnider.com)
		94 points by snide 7 hours ago \| hide \| 19 comments
22.		Monkey Island for Commodore 64 Ground Up (pixeldust.se)
		138 points by aresant 6 hours ago \| hide \| 52 comments
23.		Starlink Mini as a failover (jackpearce.co.uk)
		264 points by jkpe 22 hours ago \| hide \| 199 comments
24.		Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)
		110 points by mr_Fatalyst 14 hours ago \| hide \| 60 comments
25.		Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com/sadreck)
		90 points by howlett 13 hours ago \| hide \| 34 comments
26.		In space, no one can hear you kernel panic (2020) (increment.com)
		62 points by p0u4a 12 hours ago \| hide \| 14 comments
27.		AirPods Max 2 (apple.com)
		283 points by ssijak 21 hours ago \| hide \| 475 comments
28.		Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com)
		1510 points by defly 22 hours ago \| hide \| 949 comments
29.		Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev)
		253 points by antics 1 day ago \| hide \| 115 comments
30.		Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025) (arxiv.org)
		118 points by wek 17 hours ago \| hide \| 66 comments
		More