Category: Programming • Hillel Wayne

Posted on 2021, Feb 25

TLA+ Action Properties
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?
Posted on 2020, Dec 08

There's Always More History
Posted on 2020, Nov 02

Two workers are quadratically better than one
Posted on 2020, Sep 25

Finding Goroutine Bugs with TLA+
Posted on 2020, Aug 14

J Notation as a Tool of Thought
Posted on 2020, Jul 24

A Better Cheatsheet
Posted on 2020, Jul 10

The Frink is Good, the Unit is Evil
Posted on 2020, Jul 03

Weak and Strong Fairness
Posted on 2020, Jun 19

Property Testing with Complex Inputs
Posted on 2020, May 18

Constructive vs Predicative Data
Posted on 2020, May 12

In Praise of AutoHotKey
Posted on 2020, Apr 27

The Hard Part of Learning a Language
Posted on 2020, Apr 13

Announcing: Alloydocs
Posted on 2020, Mar 25

10 Most(ly dead) Influential Programming Languages
Posted on 2020, Mar 09

This is How Science Happens
Posted on 2020, Feb 05

Feature Interaction Bugs
Posted on 2020, Jan 22

The Business Case for Formal Methods
Posted on 2020, Jan 13

Hypermodeling Hyperproperties
Posted on 2019, Oct 28

How fast do I talk?
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