49381.
49382.
130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?
(news.ycombinator.com)
49383.
Alibaba’s Qwen tech lead steps down after major AI push
(techcrunch.com)
49384.
Talos: Hardware accelerator for deep convolutional neural networks
(news.ycombinator.com)
49385.
A man who broke into jail
(news.ycombinator.com)
49386.
The Man Who Broke into Jail
(news.ycombinator.com)
49387.
Earth Garden: Field Recordings Around the World
(news.ycombinator.com)
49388.
49389.
49390.
49391.
No fooling: NASA targets April 1 for Artemis II launch to the Moon
(arstechnica.com)
49392.
Helsinki just went a full year without a single traffic death
(news.ycombinator.com)
49393.
49394.
The Biggest Movie of 2025 Is Finally Coming to Streaming
(gizmodo.com)
49395.
Compiling Prolog to Forth [pdf]
(news.ycombinator.com)
49396.
Zed will require age identification for its services
(news.ycombinator.com)
49397.
49398.
49399.
49400.
Don't Make Me Talk to Your Chatbot
(news.ycombinator.com)
49401.
Best Business Laptop for 2026
(cnet.com)
49402.
49403.
49404.
49405.
Rubio to World: Stop Doing the Exact Same Thing the US Just Did
(news.ycombinator.com)
49406.
49407.
49408.
49409.
49410.