miniblog.

Learning software development through playing and contributing to a MUD: https://tashian.com/articles/how-i-learned-to-program/

One interesting consequence of the rise of LLMs: there's more demand for tools that handle untrusted input. Arbitrary HTML+JS can be safely run in a browser. Lean can check an arbitrary proof. These work really well with an LLM that can be wrong, but sometimes gives exactly what you want. Are there other tools in this family?

I think you could build an interesting IDE with a tiny embedded LLM in addition to the usual tooling. Features like 'extract method' would be much nicer if an LLM could provide a name. Choosing a good name is virtually impossible from just a typed AST.