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