Hacker News

1.		OpenLogi (openlogi.org)
		770 points by amatheus 9 hours ago \| hide \| 218 comments
2.		Cerebras CS-4 (cerebras.ai)
		296 points by sunils34 10 hours ago \| hide \| 203 comments
3.		The Two Factions of C++ (2024) (herecomesthemoon.net)
		37 points by signa11 3 hours ago \| hide \| 25 comments
4.		Being ambitious and being a dad (nicholascharriere.com)
		538 points by nichochar 14 hours ago \| hide \| 348 comments
5.		Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
		112 points by matt_d 8 hours ago \| hide \| 18 comments
6.		Supersonic Trebuchet [video] (youtube.com)
		118 points by CharlesW 7 hours ago \| hide \| 45 comments
7.		A 3D fruit fly on macOS desktop powered by the real FlyWire connectome (github.com/denissergeevitch)
		291 points by phoenix120 13 hours ago \| hide \| 109 comments
8.		Rings forged from meteorites may have been fashionable among ancient Greek elite (phys.org)
		8 points by pseudolus 2 hours ago \| hide \| discuss
9.		Air Theremin – a browser theremin you play by waving at your webcam (bizibah.com)
		4 points by gurov 44 minutes ago \| hide \| 1 comment
10.		How does IKEA come up with names for its products? (ikea.com)
		357 points by NaOH 16 hours ago \| hide \| 250 comments
11.		Scientists stunned by children's lung recovery in ultra low emission zone (bbc.com)
		279 points by dabinat 10 hours ago \| hide \| 218 comments
12.		λλ: A Programming Language for Silicon Photonics (acm.org)
		29 points by matt_d 4 hours ago \| hide \| 6 comments
13.		Solo – a .so loader for static Linux binaries (github.com/pg83)
		145 points by zX41ZdbW 11 hours ago \| hide \| 167 comments
14.		The Vietnam Binh Chau (Chau Tan) Late Tang Wreck (koh-antique.com)
		41 points by teleforce 7 hours ago \| hide \| 3 comments
15.		The Mojo language (by Modular, now Qualcomm) is now open-source (modular.com)
		59 points by flaburgan 3 hours ago \| hide \| 23 comments
16.		Show HN: Automatically detect and patch walking-dead states in Sierra games (github.com/katiahayati)
		73 points by wkfauna 9 hours ago \| hide \| 23 comments
17.		Finger: the 1971 social network that never died (andros.dev)
		222 points by andros 15 hours ago \| hide \| 70 comments
18.		Activation Energy is a good model for a lot of things (homosabiens.substack.com)
		14 points by surprisetalk 2 hours ago \| hide \| 2 comments
19.		Where Human Sleep Went Wrong (nautil.us)
		71 points by XzetaU8 3 hours ago \| hide \| 55 comments
20.		A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com)
		200 points by theanonymousone 16 hours ago \| hide \| 86 comments
21.		Turbovec – Google's TurboQuant for vector search in Rust (github.com/ryancodrai)
		253 points by fittingopposite 16 hours ago \| hide \| 31 comments
22.		Meta's blockbuster trial draws parallels to big tobacco (economist.com)
		244 points by newsomix9xl 8 hours ago \| hide \| 193 comments
23.		Claude writing a macOS driver for my obscure HP printer built only for Windows (twitter.com/kuberwastaken)
		212 points by porridgeraisin 22 hours ago \| hide \| 163 comments
24.		And then the men with guns tell you to do it anyway (shkspr.mobi)
		327 points by _djo_ 17 hours ago \| hide \| 217 comments
25.		The Amazon tax (seths.blog)
		1196 points by herbertl 21 hours ago \| hide \| 632 comments
26.		Peter Thiel-Linked Race Science Network That Penetrated Cambridge University (bylinetimes.com)
		9 points by Lapra 36 minutes ago \| hide \| discuss
27.		Looking for Missed Alarm Bugs in a Formal Verification Tool (regehr.org)
		16 points by luu 6 hours ago \| hide \| discuss
28.		AI usage patterns in software teams (linear.app)
		145 points by giuliomagnifico 12 hours ago \| hide \| 92 comments
29.		CUDA Shared Memory Swizzling (leimao.github.io)
		51 points by jxmorris12 8 hours ago \| hide \| 2 comments
30.		Show HN: Interactive, animated architecture of any HuggingFace models (modelmap.cc)
		87 points by lizhaoliu 11 hours ago \| hide \| 9 comments
		More