Skip to Content
Blog
Projects
Talks
Consulting
About
Newsletter
Patreon
Learn TLA+
New:
My new book,
Logic for Programmers
, is now in beta! Get it 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