I wrote a post on agentfoundations about some simple MIRI-ish math. Wonder if anyone on LW would be interested.
I wrote a post on agentfoundations about some simple MIRI-ish math. Wonder if anyone on LW would be interested.