There is an updated set of lectures from fall 2016 [0]. Although I just noted that it's taught by Joachim Breitner rather than Brent Yorgey.

[0]: http://cis.upenn.edu/~cis194/fall16/