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