CS-424-1: Theory of Computing - Spring 2023