Much fun talking with @natefoster about networks, BGP, programming languages, formal methods, and what it's like being a visiting researcher at Jane Street.
Congratulations to Dr. Mark Moeller! He wrote a very nice PhD dissertation and passed his B-exam (Cornell-speak for "dissertation defense") with flying colors. He'll start as an Assistant Professor at Holy Cross in a few months...
Pope Leo XIV’s first encyclical, Magnifica humanitas, on preserving the human person in the age of artificial intelligence, will be released on May 25. A presentation event with the Pope and various speakers is scheduled for the same day at the Vatican.
https://t.co/Yi0qywaE1r