63 karma · joined October 22, 2020
> 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
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
Most of the time I only start to see the real shape of the solution after a few days of work.
Those iterations each day have value as they propel me toward a solution. But it’s more of an internal type of shipping. I’m shipping to myself.