Bend – Build cross-platform apps in Python

Part of the question may be how do you formally verify Facebook? We'll probably be stuck with normal testing and at least skimming code for a while. Awesome results. Opens up doors for a lot of history for you to understand the background of the work, and you can also join their Discord server and literally talk to them there.