• 688 OpenLogi (openlogi.org)
  by amatheus 8 hours ago | 194 comments
• 281 Cerebras CS-4 (cerebras.ai)
  by sunils34 10 hours ago | 200 comments
• 23 The Two Factions of C++ (herecomesthemoon.net)
  by signa11 3 days ago | 14 comments
• 104 Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
  by matt_d 8 hours ago | 16 comments
• 108 Supersonic Trebuchet [video] (youtube.com)
  by CharlesW 4 days ago | 31 comments
• 501 Being ambitious and being a dad (nicholascharriere.com)
  by nichochar 3 days ago | 312 comments
• 282 A 3D fruit fly on macOS desktop powered by the real FlyWire connectome (github.com)
  by phoenix120 12 hours ago | 106 comments
• 265 Scientists stunned by children's lung recovery in ultra low emission zone (bbc.com)
  by dabinat 9 hours ago | 198 comments
• 58 Where Human Sleep Went Wrong (nautil.us)
  by XzetaU8 3 hours ago | 44 comments
• 349 How does IKEA come up with names for its products? (ikea.com)
  by NaOH 16 hours ago | 237 comments
• 145 Solo – a .so loader for static Linux binaries (github.com)
  by zX41ZdbW 10 hours ago | 160 comments
• 7 Activation Energy is a good model for a lot of things (homosabiens.substack.com)
  by surprisetalk 5 days ago | discuss
• 21 λλ: A Programming Language for Silicon Photonics (dl.acm.org)
  by matt_d 4 hours ago | 5 comments
• 40 The Vietnam Binh Chau (Chau Tan) Late Tang Wreck (koh-antique.com)
  by teleforce 9 hours ago | 3 comments
• 139 AI usage patterns in software teams (linear.app)
  by giuliomagnifico 12 hours ago | 75 comments
• 218 Finger: the 1971 social network that never died (en.andros.dev)
  by andros a day ago | 68 comments
• 46 The Mojo language (by Modular, now Qualcomm) is now open-source (modular.com)
  by flaburgan 2 hours ago | 17 comments
• 64 Show HN: Automatically detect and patch walking-dead states in Sierra games (github.com)
  by wkfauna 8 hours ago | 23 comments
• 251 Turbovec – Google's TurboQuant for vector search in Rust (github.com)
  by fittingopposite 16 hours ago | 31 comments
• 50 CUDA Shared Memory Swizzling (leimao.github.io)
  by jxmorris12 6 days ago | 2 comments
• 194 A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com)
  by theanonymousone 4 days ago | 79 comments
• 236 Meta's blockbuster trial draws parallels to big tobacco (economist.com)
  by newsomix9xl 8 hours ago | 188 comments
• 323 And then the men with guns tell you to do it anyway (shkspr.mobi)
  by _djo_ 17 hours ago | 207 comments
• 203 Claude writing a macOS driver for my obscure HP printer built only for Windows (twitter.com)
  by porridgeraisin a day ago | 160 comments
• 1183 The Amazon tax (seths.blog)
  by herbertl 21 hours ago | 630 comments
• 13 Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org)
  by luu 5 days ago | discuss
• 81 Show HN: Interactive, animated architecture of any HuggingFace models (modelmap.cc)
  by lizhaoliu 10 hours ago | 9 comments
• 197 Apple announces changes for apps in the European Union (apple.com)
  by newusertoday 18 hours ago | 278 comments
• 553 Beware Management Consultants (about.iceland.co.uk)
  by KolmogorovComp 15 hours ago | 149 comments
• 41 Tiny satellite will use the dark side of the Moon as a shield (cam.ac.uk)
  by NordStreamYacht 9 hours ago | 7 comments