1. OpenLogi
    (openlogi.org)

  2. Supersonic Trebuchet [video]
    (www.youtube.com)

  3. Palomar: A registry of Lean verified mathematics
    (terrytao.wordpress.com)

  4. Scientists stunned by children's lung recovery in ultra low emission zone
    (www.bbc.com)

  5. Cerebras CS-4
    (www.cerebras.ai)

  6. A 3D fruit fly on macOS desktop powered by the real FlyWire connectome
    (github.com)

  7. Meta's blockbuster trial draws parallels to big tobacco
    (www.economist.com)

  8. The Vietnam Binh Chau (Chau Tan) Late Tang Wreck
    (www.koh-antique.com)

  9. How does IKEA come up with names for its products?
    (www.ikea.com)

  10. CUDA Shared Memory Swizzling
    (leimao.github.io)

  11. Solo – a .so loader for static Linux binaries
    (github.com)

  12. AI usage patterns in software teams
    (linear.app)

  13. Looking for Missed Alarm Bugs in a Formal Verification Tool
    (blog.regehr.org)

  14. Show HN: Automatically detect and patch walking-dead states in Sierra games
    (github.com)

  15. Cursor launches Origin, GitHub alternative
    (cursor.com)

  16. Turbovec – Google's TurboQuant for vector search in Rust
    (github.com)

  17. And then the men with guns tell you to do it anyway
    (shkspr.mobi)

  18. Finger: the 1971 social network that never died
    (en.andros.dev)

  19. Memory prices climb 500% in 12 months
    (www.tomshardware.com)

  20. A 25-year-old video patent just expired, ending a legal headache for Linux
    (www.xda-developers.com)

  21. The Amazon tax
    (seths.blog)

  22. Claude writing a macOS driver for my obscure HP printer built only for Windows
    (twitter.com)

  23. Show HN: Interactive, animated architecture of any HuggingFace models
    (modelmap.cc)

  24. Being ambitious and being a dad
    (nicholascharriere.com)

  25. Sticky wage norms and the real wage cost of unexpected inflation
    (bfi.uchicago.edu)

  26. Universal health coverage could save $1T and 114k lives a year: study
    (ysph.yale.edu)

  27. Tiny satellite will use the dark side of the Moon as a shield
    (www.cam.ac.uk)

  28. That Disgraceful, Disreputable, (Wonderful) Form of Punctuation: The Parenthesis
    (lithub.com)

  29. Apple announces changes for apps in the European Union
    (www.apple.com)

  30. The 90-year history of the binoculars bolted to scenic overlooks
    (www.dpreview.com)