I like is idiosyncratic take on math, it is good to know there is someone with a slightly different opinion than everyone else. His videos about multisets rele

I like is idiosyncratic take on math, it is good to know there is someone with a slightly different opinion than everyone else. His videos about multisets released in the last weeks have been super interesting. They seem like a very promising alternative to classical set theory that maybe could be used for some better type system.