- 708OpenLogi (openlogi.org)
- 285Cerebras CS-4 (cerebras.ai)
- 30The Two Factions of C++ (herecomesthemoon.net)
- 105Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
- 507Being ambitious and being a dad (nicholascharriere.com)
- 110Supersonic Trebuchet [video] (youtube.com)
- 284A 3D fruit fly on macOS desktop powered by the real FlyWire connectome (github.com)
- 269Scientists stunned by children's lung recovery in ultra low emission zone (bbc.com)
- 62Where Human Sleep Went Wrong (nautil.us)
- 350How does IKEA come up with names for its products? (ikea.com)
- 145Solo – a .so loader for static Linux binaries (github.com)
- 24λλ: A Programming Language for Silicon Photonics (dl.acm.org)
- 9Activation Energy is a good model for a lot of things (homosabiens.substack.com)
- 41The Vietnam Binh Chau (Chau Tan) Late Tang Wreck (koh-antique.com)
- 51The Mojo language (by Modular, now Qualcomm) is now open-source (modular.com)
- 142AI usage patterns in software teams (linear.app)
- 219Finger: the 1971 social network that never died (en.andros.dev)
- 64Show HN: Automatically detect and patch walking-dead states in Sierra games (github.com)
- 51CUDA Shared Memory Swizzling (leimao.github.io)
- 252Turbovec – Google's TurboQuant for vector search in Rust (github.com)
- 195A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com)
- 237Meta's blockbuster trial draws parallels to big tobacco (economist.com)
- 324And then the men with guns tell you to do it anyway (shkspr.mobi)
- 204Claude writing a macOS driver for my obscure HP printer built only for Windows (twitter.com)
- 1185The Amazon tax (seths.blog)
- 14Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org)
- 83Show HN: Interactive, animated architecture of any HuggingFace models (modelmap.cc)
- 202Apple announces changes for apps in the European Union (apple.com)
- 42Tiny satellite will use the dark side of the Moon as a shield (cam.ac.uk)
- 553Beware Management Consultants (about.iceland.co.uk)