Thomas Gebert
An eccentric math enthusiast and wannabe intellectual
Thomas Gebert is an adjunct lecturer at CUNY CityTech, a PhD student at the University of York, and a software engineer whose career has included companies such as Jet.com, Apple, Walmart Global Tech, and Reddit.
In addition to a bunch of technical tomfoolery, Thomas also enjoys watching cartoons, playing with professional audio equipment, and trying out various recipes for pizza.
Predicting and Preventing Chaos with Formal Methods in TLA+
You wouldn't build a house without a blueprint, but a lot of design in distributed computing still comes in the form of untestable whiteboard drawings and ad-hoc scripts, with the hope (and prayers) of that Kubernetes will save you. A good use of formal methods can be the difference between you sleeping through the night and being paged, and TLA+ is great for formal methods.
SlidesVideo ←Back
