Blog on Hillel Wayne

In programming arguments, such as static vs dynamic typing,1 people use their experiences and reason to frame these debates.

Update 01/07/19 Greetings from 2019!

I recently read Tomas Petricek’s Thinking the Unthinkable, where he argues that modern PLT makes several restrictive assumptions about the nature of programming.

I’m writing a book on TLA+!

I’m tired of hearing about Grace Hopper, Margaret Hamilton, and Ada Lovelace.

One of my vices is watching Link to the Past Randomizer games.

I want to call attention to one of the best papers I’ve ever read on software engineering, ever.

Vim has one of the best macro systems of any text editor out there.

I’m a pretty big fan of contracts and property-based testing.

“Use the right tool for the job” is a pretty tired cliche.

People say “Comments should explain why, not what.”

At work we’re discussing moving some stuff to microservices.

I’ve namedropped contracts enough here that I think it’s finally time to go talk about them.

In January I start EMT Training and maybe make at least one of my childhood dreams come true.

After my recent vitriol about unit testing, a couple of people sent me Why TDD is Crap as a thorough debunking of TDD and unit testing.

This is an absolutely insane idea and I’m delighted by its audacity so I’m sharing it with all y’all.

I think by hand.

A while back I wrote that Robert Martin was ruining software by being too good at programming.

I recently read No excuses, write unit tests, which argues Unit Tests are Good and You Should Write Them.

In 2010 Carmen Reinhart and Kenneth Rogoff published Growth in a Time of Debt.

This post is about the Hypothesis testing library.

There are a lot of curated lists out there about good programming resources.

I’m working on some examples for my TLA+ guide and realized this one would be a good introduction to specification in general, so I simplified it a little to make it more accessible.

Doctests are one of the most fascinating things in Python.

Let’s start with a couple of premises: There are 10x programmers out there, Some programming techniques are better than others.