Since sequential steps are slow, I think we're going to see massive increases in parallelization. I'm not sure how the regulatory frameworks will keep up honestly.
18,560 karma · joined March 11, 2012
Since sequential steps are slow, I think we're going to see massive increases in parallelization. I'm not sure how the regulatory frameworks will keep up honestly.
That's what formal verification is for: you generate math statements from the code, and then prove them.
Testing is for covering the most common scenarios and likely edge cases. 100% coverage means every line of code in the app is executed when your test suite runs. It is useful as a bare minimum, but by itself does not guarantee that there are no bugs.
>> It didn't require hundreds of billions of capex. It required someone to set up shop with a PC, a serial card and a couple modems.
This is a bad faith comparison. Those small business owners who gained access to the internet benefited from decades of research by military and research institutions, as well as massive amounts of infrastructure spending by telcos. That spending really started to pick up near the end of 1995. Between 1996 and 2001, North America collectively spent $1 trillion on the Internet buildout.
We are talking about discoveries the labs have publicly showcased.
Sorry, what? OpenAI is "ahead" in math. Anthropic is "ahead" in life sciences, and even have their own wet lab.
This assertion is at the crux of a lot of these debates. Fundamentally it depends on what is meant by "better code", does it not?
Code that is bug free? Frontier models are inarguably better at that, because they can think of far more edge cases and test each one much faster than you can. You can argue that its code and surrounding tests are frequently overkill, but that's a dial you can tweak until you're happy.
Code that is performant? Frontier models are inarguably better at that too. They can create a benchmark harness and run it over and over to optimize the code they wrote while you're still poring over the docs on which method of iterating over a list is faster.
Code that is secure? Frontier models are also better at that, for the above two reasons: they can create complex security vulnerability plans and run swarms of agents to audit the code and attack the system that runs that code until it's like a god damn fortress.
Code that is easily understood by humans and fits coherently with the rest? I think humans are better at this still, because humans are definitionally the best at understanding what is easily understood by humans. I posit that this definition of "better code" is quickly going out of fashion though.
This happens if the model does not have good context regarding what is being built, why and for whom.
For one of my side projects, my CLAUDE.md has a line that says "the users of this product will be non-technical people who find technology scary." And you know what? Claude always steers me away from complexity when working on that project.
Yeah. OpenAI basically said the same thing with regards to having Astra available to their team internally over the summer.
Bro come on.
This is completely normal if you haven't written your own custom skill with instructions on what types of issues the AI should emphasize, which ones would be considered nits and which ones aren't a problem at all.
In our repos we use a classification system: blocker, should-fix and nit. Each one has specific definitions, criteria and examples encoded in the skill file. When the time comes to review a PR, agents invoke the skill, and frankly do a stellar job. A human then reads each finding, asks the AI follow-up questions and makes the final decision in terms of whether the finding goes in the PR review.
The reason I know this works is that we have one guy on the team who does not use this skill, and blindly throws his agents at PRs. And the results are exactly as you describe.
This, I find completely unbelievable. Because we had (emphasis on had) seasoned engineers on the team who similarly eschewed AI tools and insisted on doing everything by hand in the manner you describe, well after the rest of the team adopted AI. Yet when it came to code reviews, even in parts of the codebase they were familiar with, the bugs they found often came down to nits, bike-shedding and opinion-based feedback (that they usually tried to frame as objective fact). They would also disagree with almost every AI finding, arguing that it was an unrealistic scenario or an edge case not worth worrying about.
Fundamentally, I don't think humans are going to be capable of providing high quality feedback on PRs authored by AI agents unless those PRs are fairly small in lines of code and volume. It's just way too much information and context for one person to keep in their head. I read a statistic that said the average lines of code a senior engineer can read and provide good feedback on is about 400 per hour, and that number goes down the more time they spend doing code reviews. So, to anyone who insists on trying to keep up with AI, I say: good luck.
Nah. There are benchmarks. They are free to look at. And they paint a very clear picture.
That's 5-15 minutes of work at most. Not exactly the type of lock-in the parent is implying.