miniblog.

It's confusing how 'REPL' refers to two different UIs: A CLI like IPython or Julia, where things like multiline editing and syntax highlighting need careful implementation. An editor protocol like SLIME or CIDER where multiline editing is a total non-issue.

I've started naming my servers digiocean1.example.com, digiocean2.example.com and so on. I wish I'd done this much earlier. I already have domain names for the actual deployed services, but it quickly gets confusing when you start moving things around.

Cleaned up an old git repo of Ansible playbooks and it's amazing how much is just Docker now. Docker handles process supervision, centralises logging, and containers coexist without issues. It's nice when things get simpler.