BLOOMBERG Bloomberg Markets Balance Of Power July 14, 2024
Entire libre system. I understand you will be distributing runtime executable and things like that so that all of that has to be bulletproof for cybersecurity. I was wondering how you would deal with the governance of that . Mr. Marcus two ways. We agree with you that this is of absolute importance. The way we are dealing with that is the language you are referencing will have formal verification in place to avoid issues. To the extent there are no compiler problems. Mr. Marcus the compiler will not execute the code is the code is not formally verified, and we have a chance of having david dil...