4 ms·
Do you mind reflecting a bit on your use of Copilot? I've been trying it out, but I haven't found it to be particularly helpful. I really find it to be more an
by JHonaker 3y ago
Do you mind reflecting a bit on your use of Copilot? I've been trying it out, but I haven't found it to be particularly helpful.
I really find it to be more annoying than helpful. The mental burden of figuring out what the code is actually doing when a large chunk appears is exhausting, and it leaves me with a false level of understanding similar to the feeling of competency you get when you type out a tutorial's examples.
Underwhelming is how I'd describe my experience with ChatGPT too. There are so many people making claims of ridiculously improved efficiency, that I'm really unsure if it's me or not.
- mark_l_watson 3y agoI used it for about a year with VSCode, then integrated it into Emacs. I easily ignore completions I don’t need.
- JHonaker 3y agoI meant more “what are you actually completing?” And “how much?” I haven’t found the completions to be particularly helpful. For instance, I’m often fighting incorrect array indices and slices, pulling out magic numbers into variables, decoding some one-liner completion, or figuring out what’s usable and what I need to cut out and replace in a larger block. What’s really struck me is how much I really want Agda style hole-filling completion. I want to just be able to type a variable name and have it destructure cases for me. That happened a few times, and it was really nice. I’d forgotten how nice it was to be able to do that in Agda. I want that everywhere. Also, just noticed who you were, I really enjoyed some of your Lisp books.
- mark_l_watson 3y agoFor Python, Common Lisp (that we both enjoy!), and a few other languages, I often get an entire function generated. If I ask for a function to make a SPARQL query to DBPedia, for example, it often generates valid SPARQL and code. I also ignore a lot of generated code.