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 dill, who is a professor from stanford in formal verification helping us with this issue. The other thing i want to say is the association will not have guidelines on what thirdparty code will be published or not. At the very early stages, it will be very limited to a set of templates that will avoid the issues you are raising. It will be an ongoing target because if the libra is taken to scale, it w
Podcast Shares Authentic Conversations that Spark Intimacy with God adventistreview.org - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from adventistreview.org Daily Mail and Mail on Sunday newspapers.