Misha_Yagudin comments on I’m Buck Shlegeris, I do research and outreach at MIRI, AMA

[Misha_Yagudin]

What are some of your favourite theorems, proofs, algorithms, data structures, and programming languages?