- wait for em-sym and em-torsor to appear soon
- ask for details, help, I’d be happy to reply
- implement em-convex in haskell(?) coq(?) or whatever and see what it does
- my guess is that any implementation will lead to a jump in complexity comparable with what happened with chemlambda from the first plays on paper (on this blog for example) to the library of molecules.
I think I’ll be back on the practice of video talks.
And I’ll kick hard the legacy publishing. Btw what will you do, fellow academics, when the system will collapse? Tick, tock… 2 years? if you’re optimist.