[makach]

..does that means we will be 60% more secure than before?

[dkersten]

Only if 100% of the code was insecure when written by a human. Given that humans can think through what code is doing, I don’t think that’s a reasonable assumption.