Why are bugs even possible?

>>52438800
There are no "bugs". Only defects.

technically they don't exist, depending on your viewpoint.

Because God created them just like everything else on this beautiful planet.

>>52438800
What is semantic error

>>52438800
Think of it as a venn diagram.

(what your code actually does ( intersection ) what the specification does)

Pretty much anything not in that intersection is a bug (or the specification). Though a specification can be buggy too, which is when you're screwed

Because tech companies offshore or outsourced their major coding projects to Indians.

They can't even poo in loo, how can we expect them to write stable code.

File: bug_PNG3980.png (2MB, 2156x2327px) Image search: [Google]

2MB, 2156x2327px

>>52438815
Why do we still have defects in 2016?

Humans aren't perfect

Because coders can't imagine every possible input and sequence.

>>52438800
because people are stupid and they do stupid things

Because computer programs are usually made by humans and what makes us human is the fact that we make mistakes

File: 1445711264758.jpg (30KB, 430x468px) Image search: [Google]

30KB, 430x468px

>>52438800
Because bad programmers aren't being sufficiently punished for their mistakes.

>>52438800
Because w're are humans.
If Skynet would develop something, it would still suck ass.
Even the matrix glitched and was full of bugs and that was build by godlike AI's.

>>52439252
This is why we have type systems.

With a sufficiently strong type system, you can guarantee that the program works according to spec for every possible input in finite time.

>>52438800
Because computers do exactly as they're told

>>52440527
Doesn't stop people writing bad specs.

>>52438800
Because you haven't used formal methods and haven't proved the entire system using the tools of mathematics. So all you have to do is implement it. You wouldn't have bugs that way.

>>52440527
a strong type system will have bugs