The latest course is available here: http://web.mit.edu/6.031/www/sp19/