Category: Programming • Hillel Wayne

Posted on 2019, Oct 09

Formally Modeling Database Migrations
Posted on 2019, Aug 07

Performance Matters
Posted on 2019, Jul 15

Modeling Missing Requirements
Posted on 2019, May 31

At least one Vim trick you might not know
Posted on 2019, May 22

Alan Kay Did Not Invent Objects
Posted on 2019, May 05

Modeling Adversaries with TLA+
Posted on 2019, Apr 08

Finding Property Tests
Posted on 2019, Mar 25

Metamorphic Testing
Posted on 2019, Mar 11

Using Formal Methods at Work
Posted on 2019, Feb 11

Solving Knights and Knaves with Alloy
Posted on 2019, Jan 21

Why Don't People Use Formal Methods?
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

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?