That part was a bit unclear. I guess he could work with redwood/conjecture without necessarily quitting his MIRI position?
That part was a bit unclear. I guess he could work with redwood/conjecture without necessarily quitting his MIRI position?