 |
Post AwGEvN1RvOb66HeH2m by [email protected] |
 |
More posts by [email protected] |
|
Post #AwGEvMvQHnmDnapSeO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
It's so weird to me that ppl use and like IDEs.I'm not writing any code… |
|
|
|
Post #AwGEvN1RvOb66HeH2m by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@dalias |
|
|
|
Post #AwGMwWrdcNpYXy7gC8 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@dalias I use an editor with LSP support (Kate) because autocompletion, symbol … |
|
|
|
Post #AwGPF9lhuYRUKMMJAO by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Useful exercise when programming: imagine your copy&paste doesn't work … |
|
|
|
Post #AwGPF9rjY9GMd3B7Ym by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@dalias Every language has boilerplate. Copyright notices and type signatures … |
|
|
|
Post #AwGPMXI6qwu1JC28cS by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@olsner Just everything that makes you dependent on somebody's (pretty much… |
|
|
|
Post #AwGPMXO8UXitbsqx0q by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@dalias @olsner I don't use any of that. I just use an editor with LSP sup… |
|
|
|
Post #AwGPUJNmRrpoUMOTNQ by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@dalias while i don't use an ide, i do use neovim with a lsp for cmostly be… |
|
|
|
Post #AwGPUJUs1VVQqLi8Qa by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@navi @dalias So dependently typed languages (such as Rocq) are actually more r… |
|
|
|
Post #AwGYoIrazHDKG2wmUi by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@navi @dalias I don't consider this to be a language flaw. Interactive the… |
|
|
|
Post #AwGYwYy0zyZQWDt8aG by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@dalias What about code that is autogenerated but is computationally very expen… |
|
|
|
Post #AwGZToPab2ElyZdlCa by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@alwayscurious I'm all in favor of committing expensive-to-regenerate deriv… |
|
|
|
Post #AwGZToVyDJLEIMcr9E by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@alwayscurious Even if the user interaction were recorded, the "integrated… |
|
|
|
Post #AwGZTobzquA6b3RfXc by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@dalias Would having the IDE also generate a transcript of user interactions th… |
|
|
|
Post #AwGZkIqXD12t066i5g by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@alwayscurious @navi @dalias still strange to me to see the lang referred to as… |
|
|
|
Post #AwGZkIxGnyQvKzG5aa by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@ity @navi @dalias It's because the English pronounciation of the previous … |
