Ranter
Join devRant
Do all the things like
++ or -- rants, post your own rants, comment on others' rants and build your customized dev avatar
Sign Up
Pipeless API
From the creators of devRant, Pipeless lets you power real-time personalized recommendations and activity feeds using a simple API
Learn More
Comments
-
elazar10308y- Can you make a software that will always tell me whether or not some arbitrary software functions correctly?
- No.
- Oh you mean it will take too long and I can't aff-
- No. -
I use the same technic with my boss. Doing this helped me reduce the stress at work.
-
elazar10308y@GigabyteDX The answer is "no" in principle, as it is equivalent to the famous halting problem, which is unsolvable.
When your unit tests say there's an error, they are probably right. When they say there isn't, the are virtually always wrong. You just can't write, let alone execute, a complete suite of unit tests - for all but the most trivial programs.
How can you test addition of two 64-bit integers? You need to perform 2^128 checks, which is well beyond anybody's reach.
You can actually prove correctness of simple programs, but it requires means other than unit tests, and there can be no algorithm that performs it perfectly.
Even simple claims, such as the program is type-correct at runtime, is impossible. The fact that every compiler does that is by "cheating" - the compiler refuses to accept valid programs such as this one:
if (false) return 1.3*"hello";
No actual error will occur at runtime, but the compiler does not care. It will always go on the safe side. -
@HoloDreamer I did the same and then he told me that this has to stop and that there is always a way to do something.
Related Rants
Most used lie you tell to client: -
Client: “Could you make the software do XYZ?”
Programmer: “No.”
What the programmer really wants to say:
“It’s software. Of course we could do it. But:
it would take a very long time,you can’t afford it,we can’t sell it to anyone else because it’s a terrible idea,by the time we finish it, you won’t want it anymore.”
“No” is just easier to say and is less insulting, especially when the client has a dozen of these great ideas.
undefined
and bla bla
bla bla
lie
joke
fun
client
programmer
fuck i can not think of more tags. fuck