Skip to Content
Blog
Projects
Talks
Consulting
About
Newsletter
Patreon
Learn TLA+
New:
My new book,
Logic for Programmers
, is now in
early access
!
Hillel Wayne
Tag:
Engineering
Posted on
2019, Jul 15
Modeling Missing Requirements
Posted on
2018, Feb 13
It's Hard to Reason About Systems
Posted on
2018, Jan 12
The best software engineering paper you haven't read
Posted on
2017, Dec 10
What's the Right Tool for the Job?
Posted on
2017, Nov 27
Introduction to Contract Programming
Posted on
2017, Oct 30
Why TDD Isn't Crap
Posted on
2017, Oct 26
Unit Tests Aren't Tests