April 27, 2021 Why UML "Really" Died May TLA+ Workshop Just one slot left! May 24-26. Learn how to find bugs that would slip right past types, test, and code review. Also surprisingly pertinent to this week's newsletter! Donations Buttondown (the newsletter host) has a pay-what-you-want feature! You can join by going to the newsletter page and reentering your email. Right now there is no differenc