Dmitry Vaintrob comments on Dmitry Vaintrob’s Shortform

[Dmitry Vaintrob]

Cool! I haven’t seen these, good to have these to point to (and I’m glad that Richard Ngo has thought about this)