- 542 OpenLogi (openlogi.org)
- 27 Where Human Sleep Went Wrong (nautil.us)
- 255 Cerebras CS-4 (cerebras.ai)
- 94 Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
- 88 Supersonic Trebuchet [video] (youtube.com)
- 468 Being ambitious and being a dad (nicholascharriere.com)
- 228 Scientists stunned by children's lung recovery in ultra low emission zone (bbc.com)
- 261 A 3D fruit fly on macOS desktop powered by the real FlyWire connectome (github.com)
- 139 Solo – a .so loader for static Linux binaries (github.com)
- 36 The Vietnam Binh Chau (Chau Tan) Late Tang Wreck (koh-antique.com)
- 338 How does IKEA come up with names for its products? (ikea.com)
- 13 λλ: A Programming Language for Silicon Photonics (dl.acm.org)
- 16 Berd (berd.xyz)
- 222 Meta's blockbuster trial draws parallels to big tobacco (economist.com)
- 24 "Sabotage": Experts, lawmakers blast RFK Jr. for destroying healthcare research (arstechnica.com)
- 132 AI usage patterns in software teams (linear.app)
- 46 CUDA Shared Memory Swizzling (leimao.github.io)
- 206 Finger: the 1971 social network that never died (en.andros.dev)
- 13 Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org)
- 31 We turned off Pub/Sub and nobody noticed (incident.io)
- 246 Turbovec – Google's TurboQuant for vector search in Rust (github.com)
- 4 The Two Factions of C++ (herecomesthemoon.net)
- 175 A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com)
- 307 And then the men with guns tell you to do it anyway (shkspr.mobi)
- 50 Show HN: Automatically detect and patch walking-dead states in Sierra games (github.com)
- 1157 The Amazon tax (seths.blog)
- 192 Claude writing a macOS driver for my obscure HP printer built only for Windows (twitter.com)
- 18 The Mojo language (by Modular, now Qualcomm) is now open-source (modular.com)
- 75 Show HN: Interactive, animated architecture of any HuggingFace models (modelmap.cc)
- 180 Apple announces changes for apps in the European Union (apple.com)