Uploaded July 2026 | Updated September 2026, 2 weeks ago
Author Kevin Hartnett chats about the similarities between computer programs and math proofs in an interview with Quanta Books' Thomas Lin about Hartnett's new book, "The Proof in the Code." Watch full interview on our channel.
Author Kevin Hartnett chats about the similarities between computer programs and math proofs in an interview with Quanta Books' Thomas Lin about Hartnett's new book, "The Proof in the Code." Watch full interview on our channel.






![Neil Cornish: Observing Strong Gravity Phenomena[...]
Neil Cornish: Observing Strong Gravity Phenomena: Dissecting Signals and Separating Interesting Effects From Noise
May 8, 2026
2026 Simons Collaboration on Black Holes and Strong Gravity Annual Meeting
May 7 - 8, 2026
https://www.simonsfoundation.org/event/simons-collaboration-on-black-holes-and-strong-gravity-annual-meeting-2026/ Neil Cornish: Observing Strong Gravity Phenomena[...]](https://i.ytimg.com/vi/vuk0KCPhKes/mqdefault.jpg)



