Posts

A constructive proof of an equivalence.

Going beyond testing the behavior of programs.

Avoid typing your password every time you ssh.

A recipe for a tasty snack.

What I’d like to see from Rust going forward.

Tips and pointers for knowing what’s going on with a Git repository.

A strategy for code organization.

A way to think about writing recursive functions.

A technicality hidden in some asymptotic cost bounds.

An analogy for software engineer levels.

A language server for Standard ML.

The next generation of programming languages.

Removing the distinction between functions and methods.

Another little idiom I like.

Alternative title: ‘tradeoffs are a thing’.

Trying to do better.

Tips on communicating effectively.

An overall positive outlook on humanity.

Various varieties of function in programming languages.

An exhortation to create.

A little idiom I like.

A particular writing style that may not work for you, but sometimes works for me.

Adding sums (aka ‘enums’ or ‘tagged unions’) to a small PL.

Adding product types (aka ‘structs’ or ‘tuples’) to a small PL.

Adding pure functions to a small PL.

The beginnings of a small, formally defined PL.

Things I use to study Japanese.