miniblog.

I find it odd that people recommend Docker for sandboxing agentic coding tools. Isn't it easier to just create a separate user account on the machine? It's an established security boundary, and viewing output is easy (just make the user's home directory world readable).

Difftastic has been cited in a paper! Modernizing SMT-Based Type Error Localization https://arxiv.org/abs/2408.09034 The authors use difftastic to work out which parts of a buggy program have actually changed, a great use case :)

I've been playing with labels on my code blocks. Sometimes I have useful labels, other times it's just "Example 2". It's also unclear exactly where I put the label: Inside the box? Outside? Are there any docs sites that do this really well?