Computer Things

Hi, I'm Hillel. This is the newsletter version of my website. I post all website updates here. I also post weekly content just for the newsletter, on topics like

Formal Methods
Software History and Culture
Fringetech and exotic tooling
The philosophy and theory of software engineering

You can see the archive of all public essays here.

Public lists: davewiner/hackerNewsStars
Fetched: 04:30

Computer Things
14 Jul 16:36

I'm still alive

Computer Things
17 Jun 16:40

Logic for Programmers v0.15, Livecoding

Computer Things
10 Jun 12:22

Nontrailing separators do not spark joy

Computer Things
02 Jun 14:48

Logic for Programmers extra credits

Computer Things
28 May 16:03

Knowing about things is cheaper than knowing things

Computer Things
20 May 15:13

Assumptions weaken properties

Computer Things
13 May 15:56

Points are a weird and inconsistent unit of measure

Computer Things
06 May 17:03

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

Computer Things
28 Apr 15:14

Illegal vs Unwanted States

Computer Things
21 Apr 17:40

People get confused when language implementations break language guarantees

Computer Things
15 Apr 16:18

A sufficiently comprehensive spec is not (necessarily) code

Computer Things
01 Apr 17:53

April Cools Post: New York vs Chicago Pizza

Computer Things
24 Mar 14:38

Choose Boring Technology and Innovative Practices

Computer Things
10 Mar 17:12

LLMs are bad at vibing specifications

Computer Things
03 Mar 16:34

Free Books

Computer Things
23 Feb 16:49

New Blog Post: Some Silly Z3 Scripts I Wrote

Computer Things
18 Feb 16:33

Stream of Consciousness Driven Development

Computer Things
11 Feb 18:36

Proving What's Possible

Computer Things
04 Feb 14:00

Logic for Programmers New Release and Next Steps

Computer Things
20 Jan 17:49

Refinement without Specification

Computer Things
14 Jan 16:48

My Gripes with Prolog

Computer Things
06 Jan 16:51

The Liskov Substitution Principle does more than you think

Computer Things
10 Dec 18:45

Some Fun Software Facts

Computer Things
24 Nov 18:21

One more week to the Logic for Programmers Food Drive

Computer Things
10 Nov 16:31

Get Logic for Programmers 50% off & Support Chicago Foodbanks

Computer Things
27 Oct 21:02

I'm taking a break

Computer Things
21 Oct 16:46

Modal editing is a weird historical contingency we have through sheer happenstance

Computer Things
16 Oct 14:59

The Phase Change

Computer Things
10 Oct 17:06

Three ways formally verified code can go wrong in practice

Computer Things
25 Sep 16:50

New Blog Post: " A Very Early History of Algebraic Data Types"