#TLAPlusConf
LightNews LightNews
juliaferraioli.com
"Keeping things simple is even harder!" <- TRUTH

#TLAPlusConf #TLAPlus #ComplexSystems
Ankur Agrawal presenting a slide with the text "building simple systems is complex!"
April 15, 2024 at 5:30 PM
juliaferraioli.com
"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
Photo of Marc Brooker presenting a slide at TLA+ Conference
April 15, 2024 at 4:21 PM
juliaferraioli.com
Interested in how AWS uses TLA+? Check out the 2015 CACM article ⤵️

www.amazon.science/publications...

#TLAPlus #TLAPlusConf #OpenSource
How Amazon Web Services uses formal methods
Since 2011, ENGINEERS at Amazon Web Services (AWS) have used formal specification and model checking to help solve difficult design problems in critical systems. Here, we describe our motivation and e...
www.amazon.science
April 15, 2024 at 4:26 PM
juliaferraioli.com
Controversial or not controversial statement? I sure hope that folks don't find it outlandish!

#TLAPlusConf #FormalMethods #Engineering
Marc Brooker presenting a slide that reads "formal methods are just good engineering practice"
April 15, 2024 at 4:45 PM
juliaferraioli.com
🙌

#TLAPlusConf
Slide that reads "find bugs earlier, move faster"
April 15, 2024 at 4:41 PM
juliaferraioli.com
"TLA+ is a design time tool that accelerates our engineering practice" - Marc Brooker

It also reduces debugging time and, importantly, the frequency of paging engineers in the middle of the night!

#TLAPlusConf #TLAPlus #FormalMethods
April 15, 2024 at 4:33 PM