Hacker News

1.		OpenLogi (openlogi.org)
		666 points by amatheus 8 hours ago \| hide \| 183 comments
2.		Cerebras CS-4 (cerebras.ai)
		279 points by sunils34 9 hours ago \| hide \| 198 comments
3.		Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
		103 points by matt_d 7 hours ago \| hide \| 16 comments
4.		Supersonic Trebuchet [video] (youtube.com)
		106 points by CharlesW 6 hours ago \| hide \| 30 comments
5.		Being ambitious and being a dad (nicholascharriere.com)
		496 points by nichochar 13 hours ago \| hide \| 304 comments
6.		The Two Factions of C++ (herecomesthemoon.net)
		18 points by signa11 2 hours ago \| hide \| 9 comments
7.		Scientists stunned by children's lung recovery in ultra low emission zone (bbc.com)
		260 points by dabinat 9 hours ago \| hide \| 190 comments
8.		A 3D fruit fly on macOS desktop powered by the real FlyWire connectome (github.com/denissergeevitch)
		279 points by phoenix120 12 hours ago \| hide \| 106 comments
9.		How does IKEA come up with names for its products? (ikea.com)
		349 points by NaOH 15 hours ago \| hide \| 231 comments
10.		Solo – a .so loader for static Linux binaries (github.com/pg83)
		144 points by zX41ZdbW 10 hours ago \| hide \| 152 comments
11.		λλ: A Programming Language for Silicon Photonics (acm.org)
		20 points by matt_d 3 hours ago \| hide \| 5 comments
12.		Where Human Sleep Went Wrong (nautil.us)
		53 points by XzetaU8 2 hours ago \| hide \| 41 comments
13.		The Vietnam Binh Chau (Chau Tan) Late Tang Wreck (koh-antique.com)
		39 points by teleforce 6 hours ago \| hide \| 3 comments
14.		Activation Energy is a good model for a lot of things (homosabiens.substack.com)
		6 points by surprisetalk 1 hour ago \| hide \| discuss
15.		AI usage patterns in software teams (linear.app)
		139 points by giuliomagnifico 11 hours ago \| hide \| 70 comments
16.		The Mojo language (by Modular, now Qualcomm) is now open-source (modular.com)
		41 points by flaburgan 2 hours ago \| hide \| 15 comments
17.		Finger: the 1971 social network that never died (andros.dev)
		214 points by andros 14 hours ago \| hide \| 67 comments
18.		Show HN: Automatically detect and patch walking-dead states in Sierra games (github.com/katiahayati)
		61 points by wkfauna 8 hours ago \| hide \| 23 comments
19.		CUDA Shared Memory Swizzling (leimao.github.io)
		50 points by jxmorris12 7 hours ago \| hide \| 2 comments
20.		Turbovec – Google's TurboQuant for vector search in Rust (github.com/ryancodrai)
		250 points by fittingopposite 15 hours ago \| hide \| 31 comments
21.		A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com)
		191 points by theanonymousone 15 hours ago \| hide \| 72 comments
22.		Meta's blockbuster trial draws parallels to big tobacco (economist.com)
		233 points by newsomix9xl 7 hours ago \| hide \| 185 comments
23.		And then the men with guns tell you to do it anyway (shkspr.mobi)
		318 points by _djo_ 16 hours ago \| hide \| 207 comments
24.		The Amazon tax (seths.blog)
		1177 points by herbertl 20 hours ago \| hide \| 628 comments
25.		Claude writing a macOS driver for my obscure HP printer built only for Windows (twitter.com/kuberwastaken)
		201 points by porridgeraisin 21 hours ago \| hide \| 158 comments
26.		Looking for Missed Alarm Bugs in a Formal Verification Tool (regehr.org)
		13 points by luu 5 hours ago \| hide \| discuss
27.		Show HN: Interactive, animated architecture of any HuggingFace models (modelmap.cc)
		81 points by lizhaoliu 10 hours ago \| hide \| 9 comments
28.		Apple announces changes for apps in the European Union (apple.com)
		192 points by newusertoday 17 hours ago \| hide \| 272 comments
29.		Tiny satellite will use the dark side of the Moon as a shield (cam.ac.uk)
		40 points by NordStreamYacht 8 hours ago \| hide \| 7 comments
30.		Beware Management Consultants (iceland.co.uk)
		549 points by KolmogorovComp 14 hours ago \| hide \| 149 comments
		More