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'm experimenting with imitating window UI elements when showing code snippets on my website. What do you think? Do the familiar dots of the title bar help, or is it just confusing decoration? First image is the current style, the second image has the window UI.

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.