Fourth-year undergraduate at Purdue; aspiring alignment researcher; co-founder of EA Purdue and AI Safety Purdue.
Do you expect to run another cohort of this course (or a similar course) in the summer or later?
In Definition 0.4, does "for any" mean "there exists two states such that the statement holds", or "for all pairs of states, the statement holds"?
Eli Lifland has a short summary here and says a longer draft is coming.