MIT 6.512, Spring 2023