4 ms·Great stuff. Say hi to Scott! Are you both at MIRI now?by robertk 8y agoGreat stuff. Say hi to Scott! Are you both at MIRI now?