- 472OpenLogi (openlogi.org)
- 245Cerebras CS-4 (cerebras.ai)
- 87Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
- 202Scientists stunned by children's lung recovery in ultra low emission zone (bbc.com)
- 82Supersonic Trebuchet [video] (youtube.com)
- 440Being ambitious and being a dad (nicholascharriere.com)
- 253A 3D fruit fly on macOS desktop powered by the real FlyWire connectome (github.com)
- 34The Vietnam Binh Chau (Chau Tan) Late Tang Wreck (koh-antique.com)
- 3Where Human Sleep Went Wrong (nautil.us)
- 130Solo – a .so loader for static Linux binaries (github.com)
- 5Berd (berd.xyz)
- 328How does IKEA come up with names for its products? (ikea.com)
- 210Meta's blockbuster trial draws parallels to big tobacco (economist.com)
- 126AI usage patterns in software teams (linear.app)
- 42CUDA Shared Memory Swizzling (leimao.github.io)
- 11Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org)
- 198Finger: the 1971 social network that never died (en.andros.dev)
- 46Show HN: Automatically detect and patch walking-dead states in Sierra games (github.com)
- 241Turbovec – Google's TurboQuant for vector search in Rust (github.com)
- 168A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com)
- 295And then the men with guns tell you to do it anyway (shkspr.mobi)
- 4λλ: A Programming Language for Silicon Photonics (dl.acm.org)
- 1139The Amazon tax (seths.blog)
- 184Claude writing a macOS driver for my obscure HP printer built only for Windows (twitter.com)
- 72Show HN: Interactive, animated architecture of any HuggingFace models (modelmap.cc)
- 21We turned off Pub/Sub and nobody noticed (incident.io)
- 37Tiny satellite will use the dark side of the Moon as a shield (cam.ac.uk)
- 353Sticky wage norms and the real wage cost of unexpected inflation (bfi.uchicago.edu)
- 170Apple announces changes for apps in the European Union (apple.com)
- 28That Disgraceful, Disreputable, (Wonderful) Form of Punctuation: The Parenthesis (lithub.com)