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:
Interviews
Posted on
2024, Mar 02
The Hunt for the Missing Data Type
Posted on
2021, Jan 22
What engineering can teach (and learn from) us
Posted on
2021, Jan 20
We Are Not Special
Posted on
2021, Jan 18
Are We Really Engineers?