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?
miniblog.
Related Posts
I sometimes see blog posts lamenting how inconsistent UIs are in modern apps.
When did consistency peak? Windows 3? After the release of Aqua for macOS? The era when Bootstrap was the default CSS framework for many web developers?
AI agents (OpenClaw, Hermes Agent etc) seem to be increasingly standardising their design.
You have a UI for the markdown files writable by the agent (sometimes just Obsidian) plus a set of CLI tools for performing actions.
I've seen so many new CLIs recently too.
When I moved back to the UK, I ordered SIMs for both myself and my wife. We ended up with consecutive numbers!
It's really convenient sometimes.