Boaz Barak’s course at Harvard has been doing this! See here for the associated posts: https://www.lesswrong.com/w/cs-2881r
Boaz Barak’s course at Harvard has been doing this! See here for the associated posts: https://www.lesswrong.com/w/cs-2881r