3 ms·

we can do better than licensing. we can have formal verification. soon

• codr7 7y ago
  Formal verification is the future, and always will be. The gap between what's doable and writing all software that way is epic, and it's not at all clear to me that its the best way forward. Software is (potentially) about creating what didn't exist before, nailing everything to the floor based on past experience isn't going to lead anywhere worth going. Maybe part of the solution is writing software that's not verifiable or rejected. Probably, since it has to be something we didn't try yet.