miniblog.

I find that I'm choosing AI tools based on the quality of the harness rather than the model. For example, I'm using Claude Code Web because its model of remote VMs is extremely convenient. I'm using Perplexity because it's tuned really well for web searches.

When I moved back to the UK, I ordered SIMs for both myself and my wife. We ended up with consecutive numbers! It's really convenient sometimes.

I'm designing a programming language and trying to decide the type of `let x = 1;`. Should it be Unit or Int? Advantage of Int: really convenient when evaluating snippets in a REPL. Advantage of Unit: It's much less confusing when type inference runs on an incomplete function.