sualehasif

history on this: this is something that aman was sort of challenged to do in a weekend as a sort of bet. it didnt end up working in that weekend but ended up working out overall! the post is quite fun as it walks through why the problem is hard.

its also important because it is a key primitive for doing good reliable multi-step code systems :)

one of the devs here, this is really magical when you actually try it. if you have tried to get a model to edit code in a large file reliably, you will know how painful this is. actually getting the model to do it reliably makes it possible to do more complicated work in the background :) so really quite excited for this.

a founder from anysphere here. while we are funded by openai startup fund, we have no other formal relations by them. we love oss models and are exploring how we can use them for amazing code products. the post is our honest reflection into the tradeoffs we see :)

The commenting was for the model to learn what the types were so it could translate it to gather. Doing that one shot is surprising to me because it is somewhat hard to get pytorch tensors to work out to the correct shapes.

GPT-4 certainly is aware of go generics. Do you have an example you would like to test?

I think companies are getting very receptive to uploading code with the new 30-day policy. We have been able to negotiate this for financial firms. Reach out and we might be able to make something happen.

OP here. We're hiring! We're an early-stage startup, with funding from OpenAI, building the next-generation AI code editor. If you're the best hacker or designer ever, reach out to me at [email protected]. The problems we work on are really fun (extremely fast context retrieval from across big codebases, connecting language servers to language models, instruction-tuned embedddings) and we think the potential of what we're building is enormous (make all software engineers literally 10x more productive).

Feel free to email us, and we can make something work!

We are designing the IDE for enterprise users actually. I.e. we can do an on prem deployment.

We are trying to build this right in to the editor. The UI is in the tweet thread. Feel free to sign up at control.dev

It definitely should be able to. Any example you would like me to try. Put in an issue and we will do it.

Definitely! Happy to try it if you have a prompt.

email us at [email protected] :) We would love for you try it out.

I am on this side of the argument. It is letting me code better than ever before :) I have been able to pick up new languages/build systems much faster than in the past (Swift for example.)

Yeah, its really cool how good it is. I personally am addicted to it.