For the second class, we will read the ACM Ethics Code.
This is a code by which all computer scientists who submit to ACM conferences are bound. It does not give you easy answers, but it does give you a useful framework to think about the ethics of your research.
It might seem kind of weird to read the ACM Ethics Code in a proof automation class. But I think ethics are as fundamental to this work as type theory is. What is any technology if we don't consider its impacts on humanity?
I never really learned this stuff in graduate school, and I really wish I had. It was Timnit Gebru and Meg Mitchell's dismissals and their fallout that really got me thinking about the ethics of my own research. And now that I'm paying attention, I realize the ethical questions are everywhere. So I hope reading this and thinking about how it interacts with proof automation will be a useful exercise for all of you.
You can find the video for the second class here, and the corresponding slides and transcript here. You can find a reading guide and the discussion questions below. The video will be posted when it is ready.
Please note that because of POPL, this reading is not due until January 25th at 10:00 AM. From next week forward, readings will be due the morning before the corresponding class.