cypressious

IIUC, your point is that changing IDE settings will affect other developers. But can't you enable an inspection locally, apply all or some of the quickfixes and revert the setting before committing? In the longterm, you want to enable the inspection anyway because the point is to prevent developers or agents from comitting new code that violates it (agents can access JetBrains IDEs' MCP Server to get inspection results).

Of course, crashes and bugs can happen when applying quickfixes, which isn't nice. Ideally, they should be reported and fixed. You can also ask an agent to fix the occurences instead of using the IDE quickfixes if that's blocking you.

I guess what I'm trying to say is that IDEs shouldn't make that process harder, they can actually improve agents' results. For example, you don't need to write custom skills to prevent agents from writing some class of bugs if the IDE can detect it and agents have access to the results.

> Changing 200K+ lines of code yourself is a nightmare (and to prove it still does the same thing afterwards).

If an agent does it, you still have no proof, but okay.

Full disclosure, I work at JetBrains, but not in the IDE department.

> IDE's would've made it very uncomfortable

Would you mind elaborating?

It seems Rust's unwrap is the exact opposite of ?? "". It throws an error instead of using a fallback value, which is exactly what the author suggests instead of using ?? "".

Web notifications are opt-in.

If you use the the Gradle wrapper, it will use the correct version and download it if necessary. If I'm not mistaken, that's the recommended approach.

It's explicitly allowed to be used for content creation.

I really enjoy projects where the project and the scripts around it use the same language.

Impressive. Funny that one thing they got wrong is cars becoming smaller instead of bigger.

Many years ago, I changed my YouTube bookmark to go directly to the subs page. Can recommend.

You could serialize the JS representation to Base64 or Base10 if you want it to be numeric.

It shows, though it's a bit obscure. Long press the notification, then press notification settings. It will scroll you down and highlight the notification channels item. Press on it. After a second, it will highlight the channel the original notification was belonging to.

Android forces app developers to categorize notifications (the API is called notification channels). Each channel can be muted individually in the system settings. Though it's up to the app makers to correctly categorize their notifications, in my experience most apps do this.

Whenever I see a spam notification, I immediatelly go mute the channel and the problem never repeats itself.

It has become better in the last year or so. I used to have the same setup but currently Meet on FF works without issues for me.