juliaferraioli , 1 month ago to random "With mathematics, we can predict the behavior of systems before a single line of code is written." - Marc Brooker, VP/Distinguished Engineer at AWS #TLAPlusConf #FormalMethods #OpenSource
"With mathematics, we can predict the behavior of systems before a single line of code is written." - Marc Brooker, VP/Distinguished Engineer at AWS
#TLAPlusConf #FormalMethods #OpenSource