If you dig this you might like https://cs121.boazbarak.org/, which also has a link to Barak’s textbook, available as a PDF.