This is the course material repository for Cornell CS 6241 for the Spring 2018 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.