Re:AlphaProof Code
by fercircularbuf on Tuesday November 10, 2026 @07:34AM
(#50439442)
Awesome. I remember thinking last year that software is about to get a lot more buggy now that people are offloading more to AI, but tools like this give me hope that perhaps the future of software actually looks a lot more safe.
[ Parent
| on HN ]
Re:AlphaProof Code
by conartist6 on Tuesday November 10, 2026 @07:42AM
(#50439536)
it'll be much better once each CI run costs $10,000 for the AI to make sure you didn't break its giant proof
How often do you need to change the actual library which does the encryption for the signal protocol? Adding features to the app does not require changes to the encryption.
I think they were making a point about software in general, not just an encryption library.
Anecdotally in my company we have observed a far lower incident and outage rate since we moved to complete Agentic coding.
The extra velocity has meant we move considerably faster than the product team, so a lot of that extra dev capacity has been channeled into improving our tests, verifications and automated review processes - so hardly anything is slipping through the gaps.
This is the opposite of what I expected when we started working this way. One of the concerns we as a team raised was that it would lead to more bugs and lower quality but after 6 months the opposite appears to be true
Have seen that as well. A ton of the extra eng productivity has flowed into better eng practices
Any engineering layoffs? Still hiring? Frozen?