5 ms·
Finally we’ll be able to rewrite everything in Rust and Haskell and Ocaml and Ada and ATS with built in theorem provers to enforce correctness.
by qualudeheart 5y ago
Finally we’ll be able to rewrite everything in Rust and Haskell and Ocaml and Ada and ATS with built in theorem provers to enforce correctness.
- pjmlp 5y agoIt helps when fed up with the economy loss caused by security exploits, governments finally start making the companies liable for data losses and ransonware attacks. Then management will magically have the bugdets for security, or close doors, just like many dirty kitchens have to, after an health inspection visit.