3 ms·
AWS has said that when software has a robust set of formal verification tests they can be very aggressive when optimizing it and be confident that they aren't c
by UltraSane 2y ago
AWS has said that when software has a robust set of formal verification tests they can be very aggressive when optimizing it and be confident that they aren't changing its behavior. They say they were able to optimize their IAM authentication code by over 50% this way.