miniblog.

It's odd how lazy evaluation is generally seen as a niche design choice, yet the vast majority of languages treat `foo() || bar()` as short-circuiting.

Implementing type checking as another interpreter, with short, accessible examples:

I'm fascinated to learn that people are discovering weaknesses in state-of-the-art bots for playing Go, such that a novice player can reliably win: https://goattack.far.ai/human-evaluation This suggests that self-play doesn't always generalise: it's not sufficient to beat earlier versions.