alt Hacker NewsDo You guys think that with ai we Will achieve something like a bug free os distro or programming language? Like some sort of perfection?
Replies
Joel_Mckay • today at 3:30 PM
No, but languages like Elixir/Erlang/OTP are designed to fail gracefully while continuing to run.
With complex systems there are too many failure modes, and with "vibe coding" institutional negligence it is simply degenerative.
There are theoretical workarounds to LLM brute force scans, but they are not free to build. =3
pelotron • today at 2:57 PM
Not as long as new features are being written.
regenschutz • today at 2:43 PM
Everything is bug-free until someone finds a bug in it.
From just writing code, no.
Now, the question is can we make some kind of formal verification language that forces checks everything and doesn't allow bugs? Maybe?
But that's assuming the underlying hardware and firmware doesn't have flaws that can break those assumptions too.