alt Hacker NewsAnd what is a spec other than a program in a programming language? How do you prove the code artifact matches the spec or state machine
And what is a spec other than a program in a programming language? How do you prove the code artifact matches the spec or state machine
Program defines the exact computer instructions. Most of the time you don't care about that level of detail. You just have some intent and some constraints.
Say "I want HN client for mobile", "must notify me about comments", you see it and you add "should support dark mode". Can you see how that is much less than anything in any programming language?