At Pyre we think that it could be a good idea to organise a VC where we can share some first hand information about our roadmap. In particular, we’d like to present the work that has been done on variadics and on integer generics, what use cases do we think that we will be able to cover, and ultimately try to find points where we could collaborate. Although I understand that somehow you are limited to other checker like Mypy or Pytype, the ultimate of goal our work is to propose changes that can be merged into other Python checkers later on. Moreover, if someone from Mypy can attend it would be a great opportunity to discuss further changes in the type system (beyond variadics) and write down our proposals, so that it can be helpful for developers behind tensor libraries to understand where are we heading. Regarding custom shape checking tools, probably once the type system work is over the discussion on custom abstract interpreters will follow naturally. So please let me know if you would be interested in participating in a VC, and if so what time slots would work for you. Keep in mind that we should try to integrate both CET and US West Cost time zones. Finally, if you have any preference regarding the VC platform also let me know. Best, Alfonso.