-
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 No338
GLM-4.7 Pushing the Boundaries of Coding Intelligence • The Illustrated Transformer Making Attention Intuitive • Adobe Photoshop 1.0 Source Code A Window into Digital History • Ultrasound Therapy Destroying Tumors with Sound Waves • Instant Database Clones in PostgreSQL 18
-
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 No333
Clair Obscur loses Indie Game of the Year title over hidden AI usage • Indoor tanning makes youthful skin age faster at the genetic level • Inverse Parentheses: bending syntax rules for fun and insight • Understanding capacity hints in Go • Faster and practical modular inversion
-
Topics Everyone Is Talking About No331
UnifyBio: Power Tools for Translational Data Science • Task Injection: Attacking Autonomous AI Agents • Text Similarity via Normalized Compression Distance
-
Topics Everyone Is Talking About No330
Gemini 3 Pro vs. 2.5 Pro in Pokémon Crystal • Claude in Chrome • Show HN: HN Wrapped 2025 Your Year on Hacker News, Reviewed by an LLM • Measuring How Long AI Can Stay on Task • Proving Randomized MaxCut Bounds in Lean4
-
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 No324
AI Speeds Up Developmentbut Causes 1.7 More Bugs • headson: headtail for Structured Data Summarize JSONYAML and Source Code • dogalog: A Prolog-Based Livecoding Music Environment • History LLMs: Models Trained on Pre-1913 Texts