Hacker News

1.		Kagi Small Web (kagi.com)
		345 points by trueduke 4 hours ago \| hide \| 72 comments
2.		Kagi Translate now supports LinkedIn Speak as an output language (kagi.com)
		932 points by smitec 9 hours ago \| hide \| 230 comments
3.		Reddit User Uncovers Who Is Behind Meta's $2B Lobbying for Age Verification Tech (gadgetreview.com)
		486 points by doener 3 hours ago \| hide \| 192 comments
4.		Silicon Valley's "Pronatalists" Killed WFH. The Strait of Hormuz Brought It Back (governance.fyi)
		70 points by bigbobbeeper 1 hour ago \| hide \| 57 comments
5.		Building a Shell (healeycodes.com)
		78 points by ingve 4 hours ago \| hide \| 17 comments
6.		Font Smuggler – copy hidden brand fonts into Google Docs (brianmoore.com)
		56 points by lanewinfield 3 hours ago \| hide \| 19 comments
7.		Enabling Efficient Sparse Computations Using Linear Algebra Aware Compilers (osti.gov)
		15 points by matt_d 2 hours ago \| hide \| discuss
8.		Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
		624 points by Poudlardo 16 hours ago \| hide \| 139 comments
9.		The unlikely story of Teardown Multiplayer (voxagon.se)
		153 points by lairv 8 hours ago \| hide \| 35 comments
10.		Reverse-engineering Viktor and making it Open Source (matijacniacki.com)
		67 points by zggf 5 hours ago \| hide \| 22 comments
11.		Ryugu asteroid samples contain all DNA and RNA building blocks (phys.org)
		41 points by bookofjoe 1 hour ago \| hide \| 36 comments
12.		Meta’s renewed commitment to jemalloc (fb.com)
		467 points by hahahacorn 19 hours ago \| hide \| 204 comments
13.		The American Healthcare Conundrum (github.com/rexrodeo)
		407 points by rexroad 20 hours ago \| hide \| 392 comments
14.		Gummy Geometry (newkrok.github.io)
		30 points by memalign 4 hours ago \| hide \| 4 comments
15.		The “small web” is bigger than you might think (kevinboone.me)
		468 points by speckx 20 hours ago \| hide \| 199 comments
16.		Sci-Fi Short Film “There Is No Antimemetics Division” [video] (youtube.com)
		166 points by Anon84 12 hours ago \| hide \| 39 comments
17.		Every layer of review makes you 10x slower (apenwarr.ca)
		362 points by greyface- 10 hours ago \| hide \| 212 comments
18.		US SEC preparing to scrap quarterly reporting requirement (reuters.com)
		635 points by djoldman 13 hours ago \| hide \| 358 comments
19.		Pyodide: a Python distribution based on WebAssembly (github.com/pyodide)
		121 points by tosh 12 hours ago \| hide \| 31 comments
20.		A proposal to classify happiness as a psychiatric disorder (nih.gov)
		15 points by wjSgoWPm5bWAhXB 55 minutes ago \| hide \| 13 comments
21.		What CI looks like at a 100-person team (PostHog) (mendral.com)
		51 points by shad42 5 hours ago \| hide \| 21 comments
22.		Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org)
		161 points by rmason 16 hours ago \| hide \| 389 comments
23.		Why I love FreeBSD (dragas.net)
		469 points by enz 1 day ago \| hide \| 228 comments
24.		My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io)
		395 points by Vaslo 1 day ago \| hide \| 119 comments
25.		Gitana 18: the new flying Ultim trimaran (boatnews.com)
		54 points by divbzero 8 hours ago \| hide \| 31 comments
26.		Fatal Core Dump Game (robopenguins.com)
		22 points by pabs3 6 hours ago \| hide \| 4 comments
27.		Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)
		133 points by mr_Fatalyst 17 hours ago \| hide \| 67 comments
28.		Claude Tips for 3D Work (davesnider.com)
		144 points by snide 10 hours ago \| hide \| 31 comments
29.		Starlink Mini as a failover (jackpearce.co.uk)
		285 points by jkpe 1 day ago \| hide \| 208 comments
30.		AirPods Max 2 (apple.com)
		300 points by ssijak 1 day ago \| hide \| 499 comments
		More