Show HN: A lean formalization of From Linearity to Borrowing
This is a full mechanization of the From Linearity to Borrowing paper in Lean https://dl.acm.org/doi/10.1145/3764117The work was almost entirely done by Claude over the…
sciencehabit shares a report from Science Magazine: A physicist has put a definite date on Doomsday," The New York Times wrote on November 4, 1960. "He calculates that it will come on Friday the Thirteenth in November, 2026 A. D. On that date, or thereabouts, the human population will have expanded so far as to approach infinity and thus will automatically annihilate itself." The newspaper was right -- but the prediction was wrong. That week, Austrian American physicist Heinz von Foerster and two colleagues published a paper in Science with the stunningly succinct title "Doomsday: Friday, 13 November, A.D. 2026."
Discussion (0)
No comments yet. Start the conversation!