juliaferraioli , 24 days ago "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
bluGill , 24 days ago @juliaferraioli nobody has figured out how I can use them in my real world c++. (HELP!!!)
@juliaferraioli nobody has figured out how I can use them in my real world c++. (HELP!!!)