open source human :heart_pride:
This profile is from a federated server and may be incomplete. View on remote instance
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