This is the course material repository for Cornell CS 6241 for the Fall 2023 semester. This repository will contain lecture notes and the source for the class web site. Feel free to use code, TeX files, or other materials here; also, feel free to post pull requests if you see items that ought to be corrected.