Hacker News with Generative AI

OpenLogi (openlogi.org)
Cerebras CS-4 (cerebras.ai)
The Two Factions of C++ (2024) (herecomesthemoon.net)
Being ambitious and being a dad (nicholascharriere.com)
Palomar: A registry of Lean verified mathematics (wordpress.com)
Supersonic Trebuchet [video] (youtube.com)
A 3D fruit fly on macOS desktop powered by the real FlyWire connectome (github.com/DenisSergeevitch)
Rings forged from meteorites may have been fashionable among ancient Greek elite (phys.org)
Air Theremin – a browser theremin you play by waving at your webcam (bizibah.com)
How does IKEA come up with names for its products? (ikea.com)
Scientists stunned by children's lung recovery in ultra low emission zone (bbc.com)
λλ: A Programming Language for Silicon Photonics (dl.acm.org)
Solo – a .so loader for static Linux binaries (github.com/pg83)
The Vietnam Binh Chau (Chau Tan) Late Tang Wreck (koh-antique.com)
The Mojo language (by Modular, now Qualcomm) is now open-source (modular.com)
Show HN: Automatically detect and patch walking-dead states in Sierra games (github.com/katiahayati)
Finger: the 1971 social network that never died (andros.dev)
Activation Energy is a good model for a lot of things (homosabiens.substack.com)
A 25-year-old video patent just expired, ending a legal headache for Linux (xda-developers.com)
Turbovec – Google's TurboQuant for vector search in Rust (github.com/RyanCodrai)
Where Human Sleep Went Wrong (nautil.us)
Meta's blockbuster trial draws parallels to big tobacco (economist.com)
Claude writing a macOS driver for my obscure HP printer built only for Windows (twitter.com)
And then the men with guns tell you to do it anyway (shkspr.mobi)
The Amazon tax (seths.blog)
Peter Thiel-Linked Race Science Network That Penetrated Cambridge University (bylinetimes.com)
Looking for Missed Alarm Bugs in a Formal Verification Tool (regehr.org)
CUDA Shared Memory Swizzling (leimao.github.io)
AI usage patterns in software teams (linear.app)
Show HN: Interactive, animated architecture of any HuggingFace models (modelmap.cc)