TECH·July 29, 2026Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code | Hacker NewsHacker News
TECH·July 28, 2026Kimi Linear: An Expressive, Efficient Attention Architecture | Hacker NewsHacker News
TECH·July 28, 2026Ars Astronomica – English translations of rare Hebrew and Latin astronomy texts | Hacker NewsHacker News