OpenLogi

605 points • 164 comments • 8 hours ago • openlogi.org

Where Human Sleep Went Wrong

46 points • 34 comments • 2 hours ago • nautil.us

Cerebras CS-4

265 points • 191 comments • 9 hours ago • cerebras.ai

Palomar: A registry of Lean verified mathematics

98 points • 18 comments • 7 hours ago • terrytao.wordpress.com

Supersonic Trebuchet [video]

94 points • 22 comments • 4 days ago • youtube.com

Being ambitious and being a dad

480 points • 304 comments • 3 days ago • nicholascharriere.com

Scientists stunned by children's lung recovery in ultra low emission zone

247 points • 183 comments • 9 hours ago • bbc.com

A 3D fruit fly on macOS desktop powered by the real FlyWire connectome

269 points • 110 comments • 12 hours ago • github.com

λλ: A Programming Language for Silicon Photonics

17 points • 4 comments • 3 hours ago • dl.acm.org

The Two Factions of C++

13 points • 4 comments • 3 days ago • herecomesthemoon.net

Solo – a .so loader for static Linux binaries

143 points • 155 comments • 10 hours ago • github.com

How does IKEA come up with names for its products?

143 points • 97 comments • 15 hours ago • ikea.com

The Vietnam Binh Chau (Chau Tan) Late Tang Wreck

37 points • 4 comments • 8 hours ago • koh-antique.com

AI usage patterns in software teams

135 points • 78 comments • 11 hours ago • linear.app

CUDA Shared Memory Swizzling

48 points • 1 comment • 6 days ago • leimao.github.io

Finger: Social network that never died

146 points • 53 comments • 1 day ago • en.andros.dev

The Mojo language (by Modular, now Qualcomm) is now open-source

32 points • 9 comments • 2 hours ago • modular.com

Meta's blockbuster trial draws parallels to big tobacco

229 points • 194 comments • 7 hours ago • economist.com

Show HN: Automatically detect and patch walking-dead states in Sierra games

55 points • 25 comments • 8 hours ago • github.com

Turbovec – Google's TurboQuant for vector search in Rust

137 points • 16 comments • 15 hours ago • github.com