Hacker News

1.		OpenLogi (openlogi.org)
		755 points by amatheus 8 hours ago \| hide \| 215 comments
2.		Cerebras CS-4 (cerebras.ai)
		294 points by sunils34 10 hours ago \| hide \| 203 comments
3.		The Two Factions of C++ (2024) (herecomesthemoon.net)
		36 points by signa11 3 hours ago \| hide \| 21 comments
4.		Being ambitious and being a dad (nicholascharriere.com)
		527 points by nichochar 14 hours ago \| hide \| 341 comments
5.		Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
		110 points by matt_d 8 hours ago \| hide \| 18 comments
6.		Supersonic Trebuchet [video] (youtube.com)
		115 points by CharlesW 7 hours ago \| hide \| 43 comments
7.		A 3D fruit fly on macOS desktop powered by the real FlyWire connectome (github.com/denissergeevitch)
		288 points by phoenix120 12 hours ago \| hide \| 107 comments
8.		Air Theremin – a browser theremin you play by waving at your webcam (bizibah.com)
		3 points by gurov 34 minutes ago \| hide \| 1 comment
9.		Scientists stunned by children's lung recovery in ultra low emission zone (bbc.com)
		274 points by dabinat 10 hours ago \| hide \| 212 comments
10.		λλ: A Programming Language for Silicon Photonics (acm.org)
		29 points by matt_d 4 hours ago \| hide \| 6 comments
11.		How does IKEA come up with names for its products? (ikea.com)
		353 points by NaOH 16 hours ago \| hide \| 247 comments
12.		Solo – a .so loader for static Linux binaries (github.com/pg83)
		145 points by zX41ZdbW 10 hours ago \| hide \| 165 comments
13.		The Vietnam Binh Chau (Chau Tan) Late Tang Wreck (koh-antique.com)
		41 points by teleforce 7 hours ago \| hide \| 3 comments
14.		The Mojo language (by Modular, now Qualcomm) is now open-source (modular.com)
		56 points by flaburgan 3 hours ago \| hide \| 19 comments
15.		Where Human Sleep Went Wrong (nautil.us)
		66 points by XzetaU8 3 hours ago \| hide \| 52 comments
16.		Activation Energy is a good model for a lot of things (homosabiens.substack.com)
		13 points by surprisetalk 2 hours ago \| hide \| 2 comments
17.		Finger: the 1971 social network that never died (andros.dev)
		221 points by andros 15 hours ago \| hide \| 69 comments
18.		Show HN: Automatically detect and patch walking-dead states in Sierra games (github.com/katiahayati)
		70 points by wkfauna 8 hours ago \| hide \| 23 comments
19.		Turbovec – Google's TurboQuant for vector search in Rust (github.com/ryancodrai)
		253 points by fittingopposite 16 hours ago \| hide \| 31 comments
20.		A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com)
		198 points by theanonymousone 16 hours ago \| hide \| 86 comments
21.		CUDA Shared Memory Swizzling (leimao.github.io)
		51 points by jxmorris12 8 hours ago \| hide \| 2 comments
22.		AI usage patterns in software teams (linear.app)
		144 points by giuliomagnifico 12 hours ago \| hide \| 87 comments
23.		Claude writing a macOS driver for my obscure HP printer built only for Windows (twitter.com/kuberwastaken)
		210 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 \| 215 comments
25.		Rings forged from meteorites may have been fashionable among ancient Greek elite (phys.org)
		4 points by pseudolus 2 hours ago \| hide \| discuss
26.		The Amazon tax (seths.blog)
		1191 points by herbertl 21 hours ago \| hide \| 632 comments
27.		Meta's blockbuster trial draws parallels to big tobacco (economist.com)
		241 points by newsomix9xl 8 hours ago \| hide \| 192 comments
28.		Looking for Missed Alarm Bugs in a Formal Verification Tool (regehr.org)
		15 points by luu 5 hours ago \| hide \| discuss
29.		Show HN: Interactive, animated architecture of any HuggingFace models (modelmap.cc)
		85 points by lizhaoliu 10 hours ago \| hide \| 9 comments
30.		Apple announces changes for apps in the European Union (apple.com)
		204 points by newusertoday 18 hours ago \| hide \| 295 comments
		More