I think this is premise for AI: Lean and formal verification seems more and more important in today's world and I think a variation of programming language like this is bound to win. This, or a library or framework to prove typescript.
I agree but not for the reasons the article states. If you say “an LLM made this” and are proven to be wrong, then you can divert blame to the LLM: this is bad as you don’t in the future try to improve yourself and verify the LLM.
Usually, I have vscode/Claude Cowork up on one side and on the other is Obsidian. I made a plugin[1] that converts emails to `.md` so they can also be in Obsidian folder -- so Claude can query those emails the same way it does my notes. Works beautifully.
There's even a community plugin MCP that makes this easier. Afaik the hot reload is the only thing that "beats" this but I haven't had issues with Agents interacting with obsidian through the MCP - I'm not sure how much more useful it is to talk with an agent through a note taking app vs through its CLI.
Obsidian does hot reloading too. Usually, I have vscode/Claude Cowork up on one side and on the other is Obsidian. I made a plugin[1] that converts emails to `.md` so they can also be in Obsidian folder -- so Claude can query those emails the same way it does my notes. Works beautifully.
