Hacker News

1.		Xiaomi MiMo Reasoning Model (github.com/xiaomimimo)
		269 points by thm 8 hours ago \| hide \| 118 comments
2.		DeepSeek-Prover-V2 (github.com/deepseek-ai)
		35 points by meetpateltech 35 minutes ago \| hide \| 4 comments
3.		I created Perfect Wiki and reached $250k in annual revenue without investors (habr.com)
		384 points by sochix 9 hours ago \| hide \| 201 comments
4.		Someone at YouTube needs glasses (jayd.ml)
		380 points by jaydenmilne 1 hour ago \| hide \| 247 comments
5.		OCaml's Wings for Machine Learning (github.com/raven-ml)
		58 points by musha68k 4 hours ago \| hide \| 27 comments
6.		Joining Sun Microsystems – 40 years ago (2022) (akapugs.blog)
		89 points by TMWNN 2 hours ago \| hide \| 27 comments
7.		Port of Los Angeles says shipping volume will plummet 35% next week (cnbc.com)
		383 points by perihelions 3 hours ago \| hide \| 326 comments
8.		Show HN: Kexa.io – Open-Source IT Security and Compliance Verification
		32 points by patrick4urcloud 3 hours ago \| hide \| 6 comments
9.		Retailers will soon have only about 7 weeks of full inventories left (fortune.com)
		213 points by andrewfromx 5 hours ago \| hide \| 274 comments
10.		The Leaderboard Illusion (arxiv.org)
		110 points by pongogogo 9 hours ago \| hide \| 30 comments
11.		Jepsen: Amazon RDS for PostgreSQL 17.4 (jepsen.io)
		525 points by aphyr 21 hours ago \| hide \| 123 comments
12.		You Wouldn't Download a Hacker News (jasonthorsness.com)
		287 points by jasonthorsness 15 hours ago \| hide \| 151 comments
13.		The True Size Of (thetruesize.com)
		151 points by thunderbong 11 hours ago \| hide \| 57 comments
14.		Show HN: ART – a new open-source RL framework for training agents (github.com/openpipe)
		4 points by kcorbitt 1 hour ago \| hide \| discuss
15.		I use zip bombs to protect my server (idiallo.com)
		899 points by foxfired 1 day ago \| hide \| 397 comments
16.		New atomic fountain clock joins group that keeps the world on time (nist.gov)
		49 points by austinallegro 6 hours ago \| hide \| 18 comments
17.		Chain of Recursive Thoughts: Make AI think harder by making it argue with itself (github.com/phialsbasement)
		514 points by miles 23 hours ago \| hide \| 225 comments
18.		Young people aren't as happy as they used to be [Global Flourishing Study] (nytimes.com)
		14 points by marojejian 39 minutes ago \| hide \| 10 comments
19.		Why can't Ivies cope with losing a few hundred million? (economist.com)
		35 points by sneakerblack 2 hours ago \| hide \| 61 comments
20.		What It Takes to Defend a Cybersecurity Company from Today's Adversaries (sentinelone.com)
		140 points by gnabgib 14 hours ago \| hide \| 61 comments
21.		Finland Bans Smartphones in Schools (yle.fi)
		592 points by freetonik 7 hours ago \| hide \| 383 comments
22.		"AI-first" is the new Return To Office (anildash.com)
		154 points by LorenDB 3 hours ago \| hide \| 92 comments
23.		Lessons from the Lebanese Space Program – Kasurian (kasurian.com)
		21 points by rbanffy 5 hours ago \| hide \| 2 comments
24.		Researchers are studying how to minimize human impact on public lands (undark.org)
		42 points by droptext 10 hours ago \| hide \| 4 comments
25.		Linux in Excel (github.com/nsg650)
		137 points by radeeyate 13 hours ago \| hide \| 51 comments
26.		My sourdough starter has twins (brainbaking.com)
		170 points by Tomte 16 hours ago \| hide \| 60 comments
27.		The missteps that led to a fatal plane crash at Reagan National Airport (nytimes.com)
		90 points by keepamovin 12 hours ago \| hide \| 78 comments
28.		An illustrated guide to automatic sparse differentiation (iclr-blogposts.github.io)
		121 points by mariuz 17 hours ago \| hide \| 20 comments
29.		Show HN: Beatsync – perfect audio sync across multiple devices (github.com/freeman-jiang)
		375 points by freemanjiang 23 hours ago \| hide \| 109 comments
30.		Wikipedia says it will use AI, but not to replace human volunteers (wikimediafoundation.org)
		57 points by thm 2 hours ago \| hide \| 30 comments
		More