Category: Programming • Hillel Wayne

Posted on 2021, Dec 13

Using Abstract Data Types in TLA+
Posted on 2021, Nov 29

Alloy 6: it's about Time
Posted on 2021, Oct 10

How to Solve the Sudoku Puzzle with programming
Posted on 2021, Jul 13

Specification Refinement
Posted on 2021, Jun 28

Cross-Branch Testing
Posted on 2021, Jun 06

Clever vs Insightful Code
Posted on 2021, Apr 18

Why Specifications Don't Compose
Posted on 2021, Mar 28

Why Do Interviewers Ask Linked List Questions?
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