Yustynn Panicker

PM classes become AM classes

3

 I wanna do the Decision Theory class, but I don't 3am wanna do the Decision Theory class

:(  I suspect it might be due to me being on the waitlist for Decision Theory, but I don't have a decent way of investigating. Attached my GBL in...

Fix docker (try to use z3 prebuilt binary)

2

Problem: Couldn't use docker on my M1 mac due to failure to build `z3-solver` wheel. Solution: try to use a prebuilt binary if possible. It works fine with this. Original...