miniblog.

I'm surprised there aren't more interpreted languages with a first party type checker. Python has several good type checkers, Ruby has Sorbet, and there are others. Having zero compilation time *and* a full IDE seems like such a compelling design, at least on paper.

Playing with Hermes Agent and it's the first agentic tool where I feel I need to *justify* my changes. It's updating its notes over time. W: Split those two jobs, they're completely unrelated. H: Done. I also updated the skill to note that unrelated topics should be split.

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.