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 problem recasts “Boy Born on Tuesday” as a coin-and-calendar puzzle to isolate the probability issue from any biological assumptions. Two independent fair coin flips are each assigned an independently chosen weekday. Someone truthfully says they had at least one head on a Tuesday; the question is the chance that both flips were heads. That statement narrows the possible outcomes: it rules out any pair with no Tuesday head, including pairs of tails on Tuesday. The resulting conditional probability is 13/27, or about 48.1%, rather than one of the simple fractions intuition might suggest.
The central point is that the challenge lies less in difficult mathematics than in translating the wording into a precise condition and resisting intuitive guesses. Familiar warm-up questions, such as the chance of two heads given at least one head, help expose how the information provided changes the sample space. The weekday detail makes the puzzle more deceptive because it affects which outcomes qualify without directly specifying the other flip. The discussion uses Python to enumerate cases and check the result, while recommending Peter Winkler’s treatment of the original puzzle for readers who want a fuller explanation.
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)
CAMS’s Methane Hotspot Explorer maps large methane plumes detected weekly by the Sentinel-5P satellite, using machine learning to identify emissions. It estimates plume origins and source categories, but satellite resolution cannot pinpoint facilities, and detections vary with emissions and observing conditions. (atmosphere.copernicus.eu)
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)
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.