Computer Things

Vim wants you to control, VSCode wants you to consume

5 days ago

Newsletter updates were sporadic in July because of two weddings, two conferences...

Logic for Programmers is Done

25 days ago

It's done Logic for Programmers is now 1.0 and available in print....

I'm still alive

about 1 month ago

Logic for Programmers v0.15, Livecoding

2 months ago

There's a new release of Logic for Programmers! This one, version 0.15...

Nontrailing separators do not spark joy

2 months ago

This is valid JSON { "a": 1, "b": 2, "c": 3 }...

Logic for Programmers extra credits

3 months ago

So I said there wasn’t a proper newsletter this week, since I’m...

Knowing about things is cheaper than knowing things

3 months ago

Short one this week because I'm way behind on book and conference...

Assumptions weaken properties

3 months ago

In some tests are stronger than others, I defined STRONG => WEAK...

Points are a weird and inconsistent unit of measure

3 months ago

I'm in the middle of redoing the Logic for Programmers diagrams and...

New Logic for Programmers (and the future of this newsletter)

4 months ago

So first the immediate news: I just released version 0.14 of Logic...

Illegal vs Unwanted States

4 months ago

An illegal state is a state we never want our system to...

People get confused when language implementations break language guarantees

4 months ago

Take the following Python program # x = 1, y = 2...