Skip to Content
Three-day online TLA+ workshop, July 27th-29th. Register
2020, Mar 25
10 Most(ly dead) Influential Programming Languages
2019, May 22
Alan Kay Did Not Invent Objects
2019, Jan 21
Why Don't People Use Formal Methods?
2018, Apr 10
Why Does "=" Mean Assignment?
2018, Feb 09
We've Already Thought the Unthinkable
2018, Jan 26
Important Women in CS Who Aren't Grace Hopper