News for hackers. Stuff that matters.

A comment on AlphaProof Code. Parent comment

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
[ Parent | on HN ]
Re:AlphaProof Code by Gasp0de on Tuesday November 10, 2026 @07:52AM (#50439634)
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.
[ Parent | on HN ]
Re:AlphaProof Code by wtetzner on Tuesday November 10, 2026 @09:05AM (#50440578)
I think they were making a point about software in general, not just an encryption library.
[ Parent | on HN ]