Thomas Gebert

An eccentric math enthusiast and wannabe intellectual

Thomas Gebert is a software engineer who has worked for a variety of companies and organizations, such as New York University,, Apple, and currently Walmart Global Tech.

When he's not reading about functional programming, Thomas enjoys watching obscure movies and arguing with his neighbors.

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.