this post was submitted on 01 Nov 2023
112 points (91.2% liked)
Programmer Humor
19149 readers
1121 users here now
Welcome to Programmer Humor!
This is a place where you can post jokes, memes, humor, etc. related to programming!
For sharing awful code theres also Programming Horror.
Rules
- Keep content in english
- No advertisements
- Posts must be related to programming or programmer topics
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Turns out getting working code is a lot cheaper and more useful than formally proven code.
Cheaper? Yes, I guess so, depending on how you measure cost. More useful? Absolutely disagree.
Industry will pick functionality over verification every time.
Industry will choose not to verify that your function does not produce NullPointerException wasting hours of the client's work, because in order to do that they would have to have actual requirements for software developers, and in order to do that they would have to 1 - have the managers be actually technically literate, and 2 - pay the developers properly That's it. That's the theorems. The "formal verification" we're talking about here are those of the likes of "this value is a damn integer", or as you could interpret it "your code is not stupidly broken".
To be clear, I'm not writing this big comment for you, I know you're trolling or whatever you're into, I'm writing this to inform other readers. ✌🏻