aya-prover/aya-dev

We should develop our own IDE

ice1000 opened this issue · 6 comments

I think vscode is far from being usable. The plugin ecosystem forces you to use yarn or npm, and there is no hope of avoiding frontend technologies.

Also, the language server protocol has fundamental problems, as I mentioned to several of you privately.

All of these signals indicate that we should start making our own IDE front end. This might be an adapted version of Fleet, but it depends on JetBrains' license.

This is in fact an April fools joke.

For me, the title and part of the content will still be taken seriously.
Screenshot 2023-04-01 at 1 41 11 PM

For me, the title and part of the content will still be taken seriously. Screenshot 2023-04-01 at 1 41 11 PM

Beware of timezones :)

So turned out I fooled nobody :/

Well, this might become no joke one day.

Well, this might become no joke one day.

I hope so, definitely :p but it's not very feasible.