An anonymous reader quotes a report from the New York Times: In a paper, published last month in the journal The Anatomical Record, researchers offered a novel take on falling felines. Their evidence suggests new insights into the so-called falling cat problem, particularly that cats have a very fle...
Van Allen Probe A, a 1,300-pound (600 kg) NASA satellite launched in 2012 to study Earth's radiation belts, is expected to re-enter Earth's atmosphere this week. While most of it is expected to burn up during descent, "some components may survive," reports the BBC. "The space agency said there is a ...
130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
(arxiv.org)
This is a brief description of a project that has already autoformalized a large portion of the general topology from the Munkres textbook (which has in total 241 pages in 7 chapters and 39 sections).
The project has been running since November 21, 2025 and has as of January 4, 2026, produced 160k ...