Hacker News

1.		OpenLogi (openlogi.org)
		562 points by amatheus 7 hours ago \| hide \| 156 comments
2.		Where Human Sleep Went Wrong (nautil.us)
		35 points by XzetaU8 1 hour ago \| hide \| 17 comments
3.		Cerebras CS-4 (cerebras.ai)
		257 points by sunils34 8 hours ago \| hide \| 183 comments
4.		Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
		96 points by matt_d 6 hours ago \| hide \| 17 comments
5.		Supersonic Trebuchet [video] (youtube.com)
		89 points by CharlesW 5 hours ago \| hide \| 20 comments
6.		Being ambitious and being a dad (nicholascharriere.com)
		475 points by nichochar 12 hours ago \| hide \| 282 comments
7.		Scientists stunned by children's lung recovery in ultra low emission zone (bbc.com)
		237 points by dabinat 8 hours ago \| hide \| 169 comments
8.		A 3D fruit fly on macOS desktop powered by the real FlyWire connectome (github.com/denissergeevitch)
		264 points by phoenix120 11 hours ago \| hide \| 104 comments
9.		λλ: A Programming Language for Silicon Photonics (acm.org)
		15 points by matt_d 2 hours ago \| hide \| 3 comments
10.		Solo – a .so loader for static Linux binaries (github.com/pg83)
		142 points by zX41ZdbW 9 hours ago \| hide \| 141 comments
11.		The Vietnam Binh Chau (Chau Tan) Late Tang Wreck (koh-antique.com)
		37 points by teleforce 5 hours ago \| hide \| 2 comments
12.		How does IKEA come up with names for its products? (ikea.com)
		341 points by NaOH 14 hours ago \| hide \| 216 comments
13.		The Two Factions of C++ (herecomesthemoon.net)
		7 points by signa11 1 hour ago \| hide \| 3 comments
14.		AI usage patterns in software teams (linear.app)
		133 points by giuliomagnifico 10 hours ago \| hide \| 69 comments
15.		Meta's blockbuster trial draws parallels to big tobacco (economist.com)
		226 points by newsomix9xl 6 hours ago \| hide \| 173 comments
16.		CUDA Shared Memory Swizzling (leimao.github.io)
		46 points by jxmorris12 6 hours ago \| hide \| 1 comment
17.		The Mojo language (by Modular, now Qualcomm) is now open-source (modular.com)
		23 points by flaburgan 1 hour ago \| hide \| 2 comments
18.		Finger: the 1971 social network that never died (andros.dev)
		206 points by andros 13 hours ago \| hide \| 64 comments
19.		"Sabotage": Experts, lawmakers blast RFK Jr. for destroying healthcare research (arstechnica.com)
		35 points by 01-_- 1 hour ago \| hide \| 2 comments
20.		Turbovec – Google's TurboQuant for vector search in Rust (github.com/ryancodrai)
		248 points by fittingopposite 14 hours ago \| hide \| 31 comments
21.		Show HN: Automatically detect and patch walking-dead states in Sierra games (github.com/katiahayati)
		53 points by wkfauna 7 hours ago \| hide \| 21 comments
22.		Looking for Missed Alarm Bugs in a Formal Verification Tool (regehr.org)
		13 points by luu 4 hours ago \| hide \| discuss
23.		A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com)
		177 points by theanonymousone 14 hours ago \| hide \| 62 comments
24.		We turned off Pub/Sub and nobody noticed (incident.io)
		35 points by patrickhamann 2 hours ago \| hide \| 4 comments
25.		And then the men with guns tell you to do it anyway (shkspr.mobi)
		309 points by _djo_ 15 hours ago \| hide \| 196 comments
26.		The Amazon tax (seths.blog)
		1163 points by herbertl 19 hours ago \| hide \| 623 comments
27.		Claude writing a macOS driver for my obscure HP printer built only for Windows (twitter.com/kuberwastaken)
		193 points by porridgeraisin 20 hours ago \| hide \| 153 comments
28.		Show HN: Interactive, animated architecture of any HuggingFace models (modelmap.cc)
		76 points by lizhaoliu 9 hours ago \| hide \| 7 comments
29.		Tiny satellite will use the dark side of the Moon as a shield (cam.ac.uk)
		38 points by NordStreamYacht 7 hours ago \| hide \| 6 comments
30.		Apple announces changes for apps in the European Union (apple.com)
		183 points by newusertoday 16 hours ago \| hide \| 255 comments
		More