Replying to
@zanzi@mathstodon.xyz
@zanzi just came across this video which is somewhat related, it's kind of long so I watched it at 2x, but personally I found it worth its while
https://youtu.be/y85nqc2zm7M?is=Aqb_Jg8J83yuTnK-