Thoughts on Human Models

How the MtG Color Wheel Explains AI Safety

[Question]How does Gradient Descent Interact with Goodhart?

Formal Open Problem in Decision Theory

The Ubiquitous Converse Lawvere Problem

Hyperreal Brouwer

Fixed Point Discussion

Iteration Fixed Point Exercises

Diagonalization Fixed Point Exercises

Topological Fixed Point Exercises