miniblog.

I suspect there's an analogy of blub programming languages for IDEs. Once you've seen more powerful solutions you miss them in less capable tools. If you haven't learnt them, you're indifferent. This is probably why 'table stakes for a modern IDE' viewpoints vary so much.

Sometimes it's a real pain that JSON doesn't support comments. One positive consequence is that 'npm install' is always able to programmatically add new entries. Cargo's TOML is much harder to edit in a way that preserves comments, though solutions now exist.

This is wild: compiling SMT problems to C++ then using coverage guided fuzzing to find solutions!