Skip to Content
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