31–40 of 221 posts
It managed to write, in one shot, a working λ-calculus parser, using a very specific programming style I asked it in JavaScript, and then translated it all to Python, including sarcastic, rhyming GLaDOS comments. https://twitter.com/VictorTaelin/status/1635726202231988225 It also seems to be extremely competent at writing Agda types and proofs. We need some tool that highly integrates it with entire codebases, allowi…
GPT-4 is just really good at code. We documented some of the examples that we found were crazy amazing and worth hackernews. Including GPT-4's ability to handle bazel, kube, terraform and rust. A summary can be found on this thread: https://twitter.com/sualehasif996/status/1635755267739598848
If you know of any other cool examples or would like us to try something out and add to the repo, please let us know. If you have access, the repo should be fairly replicable.
Just re-stating what is in code in plain language isn't helpful and is kind of annoying to read.
Can you explain why you think it is helpful?
Well, I think I just retired. Even knowing this was coming, it's still a bit unnerving. Sad too, but it's for the best. Let the machines program the machines. Schmidhuber's Gödelmachine. The automatic scientist .
Yes, the kinds of people who would write a python program in C++ are in trouble.
I'm waiting for copilot that has access to something like language server and instead of just suggesting immediate completions and using open tabs for context it can use LS to pull references for context, suggest file creation, adding code in non trivial places. Then add a chat interface on top. Suddenly I'm really 10x - I would pay hundreds of dollars per month for this if it worked well - it would let me handle at…
Well, I think I just retired. Even knowing this was coming, it's still a bit unnerving. Sad too, but it's for the best. Let the machines program the machines. Schmidhuber's Gödelmachine. The automatic scientist .
The nailgun didn't retire carpenters. They just got more productive.
Well, I think I just retired. Even knowing this was coming, it's still a bit unnerving. Sad too, but it's for the best. Let the machines program the machines. Schmidhuber's Gödelmachine. The automatic scientist .
Just the opposite, this is letting me pick up more work than ever. The nature of that continues to shift as rote memorization becomes less important, but that was already the case thanks to earlier forms of code completion. It may be that breadth is becoming more valuable than depth. The engineering design process is more important than ever, along with soft skills and an eye for what kind of work matters.
Remember the comments about artists and creatives when DALL-E came out? I remember.
I think my barber and my plumber have safer jobs from automation than average coders.
The bigger disruption will occur when Google, Facebook, Twitter, Reddit etc become useless from all the AI spam that's sure to overwhelm it all.
> is phenomenal at Code Can it - attend bullshit meetings - lick my manager's boot - tell them that their ideas are good but in the masochistic, self-deprecating way they like to hear it from me in Not yet? Darn it, guess my job is safe for now.