Hillel Wayne
AuthorPractical TLA+
Hillel is a software consultant in Chicago who specializes in formal methods. He is the author of Practical TLA+ and on the Alloy board, working to make rigorous software engineering widely accessible to everyday programmers. He designs complex software in a way that makes it cheaper, faster, and bug-free. In his free time, he juggles and makes candy. He is technically allowed to deliver babies in Illinois.
Talks I've Given
-
Designing Distributed Systems with TLA+
Featuring Hillel Wayne
Concurrency is hard. How do you test your system when it’s spread across three services and four languages? Unit testing and type systems only take us so far. At some point, we need new tools.
Enter TLA+. TLA+ is a specification language that describes your system and the properties you want....
architecture-&-design -
Designing Distributed Systems with TLA+
Featuring Hillel Wayne
Concurrency is hard. How do you test your system when it’s spread across three services and four languages? Unit testing and type systems only take us so far. At some point we need new tools.
Enter TLA+. TLA+ is a specification language that describes your system and the properties you want. This...
architecture-&-design -
Designing Distributed Systems with TLA+
Featuring Hillel Wayne
Concurrency is hard. How do you test your system when it’s spread across three services and four languages? Unit testing and type systems only take us so far. At some point, we need new tools.
Enter TLA+. TLA+ is a specification language that describes your system and the properties you want....
architecture-&-design