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