2 ms·
Gödel Prize, 2025, Awarded to Eshan Chattopadhyay and David Zuckerman
- gnabgib 1y agoDiscussion (with a strange title - 110 points, 11 days ago, 47 comments) https://news.ycombinator.com/item?id=44224996 https://news.ycombinator.com/item?id=44224996