| |
| ▲ | Rapzid a day ago | parent | next [-] | | Sounds like it's time for your LLM daddy to have the Coq talk with you.. | |
| ▲ | friendzis 2 days ago | parent | prev [-] | | Eve if "write code -> run QA -> analyze failures -> rewrite code" is cheaper for most commercial software than thorough upfront formal verification, it works precisely because the programs are analyzable. When the code spit out by an LLM does not pass QA one can merely add "pls fix teh program, bro, pls no mistakes this time, bro, kthxbye", cross their fingers and hope for the best, because in the end it is impossible -- fundamentally -- to determine which part of the prompt produced offending code. While it is indeed an interesting observation that the latter approaches commercial viability in certain areas there is still somewhere between zero and infinitesimal overlap between prompting and engineering. | | |
| ▲ | seanmcdirmid 2 days ago | parent [-] | | Think of it this way, some engineers go into people management, they aren’t coding directly anymore…they are managing people that code. Prompting is a similar lateral promotion, just the people you are managing are dumber AIs, you get a lot of them, and instead of meetings you communicate with them via prompts. The fact that they can also do QA is critical because they make a lot of mistakes, but can actually fix those mistakes, so you just devote more AI time to that. | | |
| ▲ | friendzis a day ago | parent [-] | | > they are managing people that code. Prompting is a similar lateral promotion So prompting is a lateral move away from engineering to management? Are we arguing semantics here, because that's quite what I was saying, just in the other direction. | | |
| ▲ | seanmcdirmid a day ago | parent [-] | | We aren't really, but I guess it really depends on how you see coding as more than just directly orchestrating computer instructions or not. Prompting is less direct, but it still feels like programming to me, I guess people management would as well. |
|
|
|
|
