Skip to Content
Blog
Projects
Talks
Consulting
About
Tipjar
Newsletter
New Workshop
:
One-Day TLA+ Training
. Choice of three dates (March, May, June).
Hillel Wayne
Blog
Posted on
2018, Jan 15
Proving Games are Winnable with Alloy
Posted on
2018, Jan 12
The best software engineering paper you haven't read
Posted on
2017, Dec 26
Vim Macro Trickz
Posted on
2017, Dec 17
Property Tests + Contracts = Integration Tests
Posted on
2017, Dec 10
What's the Right Tool for the Job?
Posted on
2017, Dec 05
Maybe Comments SHOULD Explain 'What'
Posted on
2017, Dec 03
How is a Class like a Microservice?
Posted on
2017, Nov 27
Introduction to Contract Programming
Posted on
2017, Nov 21
Calculating Burn Rates in J
Posted on
2017, Oct 30
Why TDD Isn't Crap
Posted on
2017, Oct 26
Unit Tests Aren't Tests
Posted on
2017, Oct 10
Handwriting Programs in J
Posted on
2017, Oct 05
Uncle Bob and Silver Bullets
Posted on
2017, Aug 29
Instructive and Persuasive Examples
Posted on
2017, Aug 14
How Do We Trust Our Science Code?
Posted on
2017, Jul 21
Hypothesis Testing with Oracle Functions
Posted on
2017, Jun 09
List of Articles about Programming Skepticism
Posted on
2017, May 30
Modeling Zero-Downtime Deployments with TLA+
Posted on
2017, Feb 16
Doctests in Python
Posted on
2017, Feb 01
Falsehoods Programmers Believe About Dogs
Posted on
2017, Jan 24
Uncle Bob is Ruining Software
Posted on
2016, Dec 27
Hate Your Tools
Previous page
Page:
1
Page:
2
Current page:
3