Let's have a slightly more technical meetup! When: 2:00 PM this Sunday. Where: The benches overlooking UIUC's Bardeen Quad, Urbana-Champaign, IL. What: I'll give a primer on why even the best agent can't prove that they're always right (see e.g. You Provably Can't Trust Yourself), and why this poses a problem for some common models of decision-making (discussed at length here). And then we can talk about what other models we could use!