mattmacdermott comments on Mikhail Samin’s Shortform

[mattmacdermott]

An interesting development in the time since your shortform was written is that we can now try these ideas out without too much effort via Manifold.

Anyone know of any examples?