New Dwarf Planet Candidate in Our Solar System
The Vera C. Rubin Observatory has identified its first candidate dwarf planet in the solar system. Follow-up observations are needed to confirm its status. (rubinobservatory.org)
The CAMS Methane Hotspot Explorer is an interactive map of large methane plumes detected from space by the Sentinel-5P satellite’s TROPOMI instrument. TROPOMI observes the globe daily at a resolution of up to 7 by 5.5 kilometres, allowing it to reveal substantial emissions from localized sources. A machine-learning system trained on known plume examples identifies the detections, which are added to the map weekly. The explorer focuses on distinct, large plumes rather than broad, diffuse methane increases, such as those associated with wetlands.
Each mapped location estimates where a plume began, using the plume’s most upwind satellite pixel, but it cannot reliably identify a particular facility: the observations cover areas several kilometres wide, and a plume may have drifted from its source or resulted from a temporary release. The displayed source category - coal, oil, gas or solid waste - is inferred from the leading emission category in the surrounding area, using emissions inventories; it is not a confirmed attribution. Detection counts vary with emissions, cloud cover and satellite viewing geometry, and the map includes only the clearest, most confident plumes.
Summary generated by AI from the linked article. hn.today is not affiliated with Hacker News or Y Combinator.
The Vera C. Rubin Observatory has identified its first candidate dwarf planet in the solar system. Follow-up observations are needed to confirm its status. (rubinobservatory.org)
Researchers attach tiny radio tags to monarch butterflies to track their movements during migration. The tags help gather information about their routes and support efforts to understand and protect monarch populations. (blog.cwf-fcf.org)
The “Boy Born on Tuesday” puzzle asks for the chance that two coin flips were both heads, given a truthful report of at least one Tuesday head. This added information changes the odds in a counterintuitive way, showing why probability problems require careful counting rather than intuition. (win-vector.com)
Chinese researchers developed a catalyst that converts carbon dioxide from Mars’s atmosphere into methanol. The liquid could power equipment and support production of materials, though making it on Mars is only technically feasible to a degree. (scmp.com)
The classification of finite simple groups has been fully formalized in Lean, with its 43 million lines of code checked by Lean’s kernel. The project also uncovered a flaw in a published argument for the Unbalanced Group Theorem and developed an alternative proof. (cfsg.axiommath.ai)
Richard Karp’s 1972 paper introduced polynomial-time reductions to compare the difficulty of combinatorial problems. It showed that 21 problems, including SAT and the traveling salesman problem, are NP-complete. (cgi.di.uoa.gr)
Today's best Hacker News stories, summarized and screenshotted, one email a day.