Article URL: https://blog.computationalcomplexity.org/2025/06/the-new-godel-prize-winner-tastes-great.html Comments URL: https://news.ycombinator.com/item?id=44224996 Points: 35 # Comments: 3 https://blog.computationalcomplexity.org/2025/06/the-new-godel-prize-winner-tastes-great.html Created 2mo | Jun 9, 2025, 4:20:07 PM Login to add comment Other posts in this group How Boom uses software to accelerate hardware development Article URL: https://bscholl.substack.com/p/move-fast-and-dont-break-safety-critical Comments URL: Aug 12, 2025, 10:20:08 AM | Hacker news Starbucks in Korea asks customers to stop bringing in printers/desktop computers Article URL: https://fortune.com/2025/08/11/starbucks-south-korea-policy-desktop-compu Aug 12, 2025, 7:50:41 AM | Hacker news LLMs' "simulated reasoning" abilities are a brittle mirage Article URL: https://arstechnica.com/ai/2025/08/researchers-find-llms-are-b Aug 12, 2025, 7:50:39 AM | Hacker news CoLoop (YC S21) Is Hiring AI Engineers in London Comments URL: https://news.ycombinator.com/item?id=44873222 Points: 0 # Comments: 0 https://news.ycombinator.com/ite Aug 12, 2025, 7:50:37 AM | Hacker news StarDict sends X11 clipboard to remote servers Article URL: https://lwn.net/SubscriberLink/1032732/3334850da49689e1/ Comments URL: Aug 12, 2025, 5:40:05 AM | Hacker news Trump Orders National Guard to Washington and Takeover of Capital’s Police Article URL: https://www.nytimes.com/live/2025/08/11/us/trump-news Comments URL: Aug 12, 2025, 3:20:15 AM | Hacker news What does it mean to be thirsty? Article URL: https://www.quantamagazine.org/what-does-it-mean-to-be-thirsty-20250811/ Comments URL: Aug 12, 2025, 3:20:14 AM | Hacker news Techie
