Hacker News

1.		Kagi Small Web (kagi.com)
		187 points by trueduke 2 hours ago \| hide \| 33 comments
2.		Kagi Translate now supports LinkedIn Speak as an output language (kagi.com)
		721 points by smitec 7 hours ago \| hide \| 182 comments
3.		Building a Shell (healeycodes.com)
		41 points by ingve 2 hours ago \| hide \| 8 comments
4.		Reddit User Uncovers Who Is Behind Meta's $2B Lobbying for Age Verification Tech (gadgetreview.com)
		93 points by doener 1 hour ago \| hide \| 9 comments
5.		Grace Hopper's Revenge (thefuriousopposites.com)
		34 points by ashirviskas 2 hours ago \| hide \| 26 comments
6.		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		598 points by Poudlardo 14 hours ago \| hide \| 128 comments
7.		The unlikely story of Teardown Multiplayer (voxagon.se)
		122 points by lairv 6 hours ago \| hide \| 19 comments
8.		Reverse-engineering Viktor and making it Open Source (matijacniacki.com)
		41 points by zggf 3 hours ago \| hide \| 15 comments
9.		What CI looks like at a 100-person team (PostHog) (mendral.com)
		27 points by shad42 3 hours ago \| hide \| 7 comments
10.		Meta’s renewed commitment to jemalloc (fb.com)
		453 points by hahahacorn 17 hours ago \| hide \| 197 comments
11.		The “small web” is bigger than you might think (kevinboone.me)
		451 points by speckx 18 hours ago \| hide \| 191 comments
12.		The American Healthcare Conundrum (github.com/rexrodeo)
		375 points by rexroad 18 hours ago \| hide \| 341 comments
13.		Gummy Geometry (newkrok.github.io)
		12 points by memalign 2 hours ago \| hide \| 3 comments
14.		Sci-Fi Short Film “There Is No Antimemetics Division” [video] (youtube.com)
		128 points by Anon84 10 hours ago \| hide \| 26 comments
15.		Every layer of review makes you 10x slower (apenwarr.ca)
		287 points by greyface- 8 hours ago \| hide \| 171 comments
16.		US SEC preparing to scrap quarterly reporting requirement (reuters.com)
		600 points by djoldman 11 hours ago \| hide \| 330 comments
17.		Gitana 18: the new flying Ultim trimaran (boatnews.com)
		48 points by divbzero 6 hours ago \| hide \| 20 comments
18.		Pyodide: a Python distribution based on WebAssembly (github.com/pyodide)
		99 points by tosh 10 hours ago \| hide \| 25 comments
19.		My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
		380 points by Vaslo 22 hours ago \| hide \| 117 comments
20.		Fatal Core Dump Game (robopenguins.com)
		13 points by pabs3 4 hours ago \| hide \| 2 comments
21.		Why I love FreeBSD (dragas.net)
		450 points by enz 1 day ago \| hide \| 220 comments
22.		Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
		144 points by rmason 14 hours ago \| hide \| 338 comments
23.		Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)
		117 points by mr_Fatalyst 15 hours ago \| hide \| 61 comments
24.		Claude Tips for 3D Work (davesnider.com)
		107 points by snide 8 hours ago \| hide \| 21 comments
25.		Starlink Mini as a failover (jackpearce.co.uk)
		272 points by jkpe 23 hours ago \| hide \| 202 comments
26.		AnswerThis (YC F25) Is Hiring (ycombinator.com)
		14 hours ago \| hide
27.		Monkey Island for Commodore 64 Ground Up (pixeldust.se)
		147 points by aresant 7 hours ago \| hide \| 58 comments
28.		Show HN: Thermal Receipt Printers – Markdown and Web UI (github.com/sadreck)
		97 points by howlett 14 hours ago \| hide \| 35 comments
29.		In space, no one can hear you kernel panic (2020) (increment.com)
		67 points by p0u4a 13 hours ago \| hide \| 15 comments
30.		AirPods Max 2 (apple.com)
		289 points by ssijak 22 hours ago \| hide \| 479 comments
		More