资讯与观察
AI 行业动态、工程实践、产品方法和社区故事。

Jules Verne's Lost Novel
Jules Verne’s lost novel got the machines of 1960 right. He never imagined that Paris would keep its poets

The oldest ice disappears and the Stone Age emerges from it
'We have been at the edge of the ice. We have seen it happening. And we are witnesses to a rapidly changing archaeological landscape,' write the glacial archaeologists. Finds from the Viking Age are becoming scarce, whi…
15 分钟 · Hacker News
Formalizing the Enormous Theorem
Today, we are releasing the first complete computer-checked proof of the Classification of Finite Simple Groups (CFSG). One of the major achievements of twentieth-century mathematics, the classification identifies the b…
30 分钟 · Hacker News 最新LATEST STORIES
最新内容
Carney says, unequivocally, Canada seeking to become EU's first associate member精选导读
The audio version of this article is generated by AI-based technology. Mispronunciations can occur. We are working with our partners to continually review and improve the results.
The FSF is now on Bluesky精选导读
The Bluesky developers have taken steps to improve upon microblogging
A Claude model autonomously chose a gene therapy and operated on a mouse brain with no human decision-making精选导读
An AI agent performed brain surgery on an epileptic mouse, picking the drug, the brain target, and the injection coordinates on its own. According to lead researcher Ocana-Santero, it's the first time an AI agent has au…
OpenAI will now train on personal Daybreak sessions even if you opt out精选导读
暂无摘要
Albedo: Persistent agent daemon with a detachable CLI and a canvas UI精选导读
暂无摘要
What worries Entire co-founder Thomas Dohmke about the future of tech?精选导读
Former GitHub CEO Thomas Dohmke is taking on his old company. His startup, Entire, launched a GitHub alternative this week,
Llmll: A goto-fail body, rejected before the edit lands精选导读
Burc Sahinoglu · 29 October 2026. A self-contained demonstration. The five-post
Pip Install Could Have Been Hijacked精选导读
The eMudhra security incident left Python trusting a key that was the number 4. See how maintainers patched pip, certifi and conda-forge.
Show HN: Alternative FOSS companion app for new Casio F-B100W精选导读
Reverse engineered the bluetooth protocol of new Casio model that comes with smart features but requires a proprietary app that's full of ads and tracking





