3 ms·
A precise and formally verified specification is WAY harder to write then the code for it
by canes123456 4y ago
A precise and formally verified specification is WAY harder to write then the code for it
- deleted 4y ago[deleted]
- agentultra 4y agoExactly. It seems like we prefer the easy way out. If we can't write a precise specification then we don't know exactly what we want the computer to do. And so all we can get are guesses. The software industry has gotten this far with very little help from the formal methods community... that's changing in recent years in certain spaces where errors are magnified by scale like cloud computing, etc. But instead of getting better at writing precise specifications we're going to continue to be bad at it and hope that an LLM can manage to infer the correct program. It might be millions of lines of code but hopefully it does some of the things we want most of the time. Update: To be clear, I'm not saying AI/ML programs cannot help us to write programs at all, just that the inputs need to be better if we're going to have any confidence that the programs it generates are any better than a horoscope.
- canes123456 4y agoI don't really see your point. AI/ML can make programs the same way as humans, which is writing a program that seems right but it very wrong and keep iterating until it mostly works, most of the time.
- pyrolistical 4y agoWe could prob get LLM to help
- noobker 4y agoA precise and formally verified specification is usually just referred to as "PROD".