-
Topics Everyone Is Talking About No340
Mostly Automated Proof Repair for Verified Libraries • Four AI Coding Agents Rebuilt MinesweeperWith Explosive Results • Attention From First Principles • X-ray: a Python Library for Finding Bad Redactions in PDF Documents • Level Up Your Skills 7 Coding Games to Boost Your Programming
-
Topics Everyone Is Talking About No337
U.S. Cuts Deep into Science and Medicine Grants • Programming Languages for Music • Is Practical Quantum Computing Finally Near? • Nature Programming Language • Structured Outputs and the Illusion of Confidence
-
Topics Everyone Is Talking About No336
The 15-Second Coding Test That Filters Out Half of Unqualified Developers • Thirteen Years of Rust and the Birth of Rue • Coding on the Subway • Logging Sucks Your Logs Are Lying to You
-
Topics Everyone Is Talking About No332
polyproto: A Refreshingly Simple Decentralised, Federated Protocol • WebHTML Things to Avoid 2017 • Granule: A Statically Typed Linear Functional Language with Graded Modal Types
-
Topics Everyone Is Talking About No329
Go ahead, self-host Postgres • Show HN: Jmail Google Suite for Epstein files • Over 40 of fatally injured drivers tested positive for THC, study finds • How cybercrime takedowns were used to silence critics of Flock • OpenSCAD is kinda neat…
-
Topics Everyone Is Talking About No327
LLM Year in Review 2025: Shifts, Insights, and Emerging Paradigms • A Better Zip Bomb: Compression, Exploits, and Algorithmic Ingenuity • NOAA Launches AI-Powered Global Weather Models • Understanding Dart Class Modifiers Through Lattice Theory • A Decade on Datomic – Davis Shepherd Jonathan Indig Netflix
-
Topics Everyone Is Talking About No323
Dear ACM: Youre Using AI Wrong But Theres Still Time to Fix It • Partial Inlining: Smarter Compiler Optimization Explained • Mastering Bit Arrays in Gleam • GPT-5.2-Codex • Inside Chinas Manhattan Project for AI Chips