Skip to Content
Blog
Projects
Talks
Consulting
About
Newsletter
Learn TLA+
New:
Logic for Programmers
is now content-complete and in the hands of the copy editor! Get the current beta for 20% off
here
.
Hillel Wayne
Tag:
Practices
Posted on
2025, Mar 04
The Hierarchy of Controls (or how to stop devs from dropping prod)
Posted on
2024, Jul 15
Toolbox languages
Posted on
2019, Mar 11
Using Formal Methods at Work