> The argument relies crucially on ideas that may, at least in retrospect, be attributed to Ellenberg-Venkatesh, Golod-Shafarevich, and Hajir-Maire-Ramakrishna.
Can someone please elaborate on this?
The article suggests using LLMs to identify and fix UB. However as per the above, I think the issue is that we need more expert humans.
LLM generated code will eventually contain UB.
EDIT: added "eventually"
The AI generated code can still introduce subtle bugs that lead to incorrect behaviour.
One example of this is the introduction of functions into the codebase (by AI) that have bugs but no corresponding tests.
EDIT: correct quotation characters
I've been on the contract market for a few weeks now.Apart from submitting my Resume, are there any other proactive things I can do to increase my chances of landing a contract?For example frontend developers can create portfolios; I'm not sure what the equivalent would be for backend/infra people.
A code review requires reasoning and understanding, things that to my knowledge a generative model cannot do.
Surely the most an AI code review ever could be is something that looks like a code review.
Did you read the paper?
Notwithstanding the above, to my understanding LLM services are currently being sold below cost.
If all of the above is true, at some point the degredation of quality in codebases that use these tools will be too expensive to ignore.
Is this correct, and if so do we need to be concerned about user privacy and security?
The fat mechanism I understand, but what is the mechanism for sugar in CVD?
[1] https://www.heart.org/en/health-topics/cholesterol/about-cho...
"I can't change the laws of physics!"
With all of the unpopular press that they get, why has history often proven C/C++ to be the right choice time and time again?
I would place English (or all spoken/written languages in general) first, Math (as discovered) second, and programming languages last.
I am most likely ignorant, however. Are there any other Substack publications of the same quality?
The economic situation is apparently so grim that some experts fear we may be in for a stretch as bad as the mid seventies.
When Microsoft and Apple were founded." [1]
"A programmer can sit down in front of a computer and create wealth. A good piece of software is, in itself, a valuable thing." [2]
These words give me hope.
[1] https://paulgraham.com/badeconomy.html [2] https://paulgraham.com/wealth.html
EDIT: shortened sentence