Skip to Content
Blog
Talks
About
Logic for Programmers
Newsletter
New:
Logic for Programmers
is out in print!
Learn more and buy it 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