Category: Programming • Hillel Wayne

Posted on 2019, Jan 02

STAMPing on event-stream
Posted on 2018, Dec 08

A Better Interview
Posted on 2018, Oct 31

Modeling Message Queues in TLA+
Posted on 2018, Oct 18

Practical TLA+ Now Available
Posted on 2018, Sep 30

Optimizing MiniZinc
Posted on 2018, Sep 24

Constraint Solving with Minizinc
Posted on 2018, Jul 30

Augmenting Agile with Formal Methods
Posted on 2018, Jul 09

Decision Tables
Posted on 2018, Jun 11

Formally Specifying UIs
Posted on 2018, May 27

Raw Materials
Posted on 2018, Apr 25

The Great Theorem Prover Showdown
Posted on 2018, Apr 10

Why Does "=" Mean Assignment?
Posted on 2018, Apr 02

Just a Whole Bunch of Different Tests
Posted on 2018, Mar 16

Formally Specifying a Package Manager
Posted on 2018, Mar 08

List of TLA+ Examples
Posted on 2018, Mar 05

Monad Tutorials for Other Topics
Posted on 2018, Feb 19

The Problem With APLs
Posted on 2018, Feb 13

It's Hard to Reason About Systems
Posted on 2018, Feb 12

Modeling Redux with TLA+
Posted on 2018, Feb 09

We've Already Thought the Unthinkable
Posted on 2018, Jan 30

Teaching Leaky Abstractions
Posted on 2018, Jan 26

Important Women in CS Who Aren't Grace Hopper
Posted on 2018, Jan 15

Let's Prove Random Games are Winnable (with Formal Methods)
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+