[pmontra]

The issue with formal proofs is that we might end up with correct code that does the wrong thing. I mean, something that the market doesn't care about. At the same time a buggy set of PHP scripts does what people care about and captures the market. Think about 20+ years ago and you find a lot of examples.

[frumplestlatz]

Well, sure — and the issue with tests is we might end up with well-tested code that does the wrong thing.

[psd1]

https://xkcd.com/224/ lol

Zuckerberg became rich on php, which grinds my gears almost as much as the genocide thing.

In fairness, my peers at $corp used to ship while I was sad-Wojciech "no you can't create tech debt". The universe is cruel to people who care.

[lancepioch]

If that grinds your gears, then also take a look at Pieter Levels

[landdate]

php is a great language. there is a reason why the majority of the web runs on it.

[em-bee]

the reason is that php was accessible. it provided the bridge between pre coded serverside includes and writing your whole website in code, which you would have had to do with any other language. nowadays many things that php made easy can also be done with client side javascript.

i remember a conversation with a php core developer who conceded that one of the problems in the php community is a large number of inexperienced developers. it is similar problem that javascript faces today, but that, thanks to AI is going to affect more and more languages.

php itself is not a bad language, i use it too if it is appropriate, but it also has improved over the decades. so nowadays i am more likely to use php than i would have been a few decades ago.

[psd1]

There's a reason why littering is the most common crime - it doesn't require intelligence or planning, and whatever you are holding can instantly become trash.

[landdate]

if you were to ask people to rate crimes on morality i would presume littering would rank among the least immoral.

your point makes no sense. yes, if i had to pick one crime for someone to commit i might pick littering and many people think the same thing because littering is one of the most common crimes.

same thing is true for web development with php.

you absolute moron you don't even understand what you are saying just making random points that have a midwit cleverness, but when thought over by any respectable mind easily prove to be nonsense.

----

how could somebody like you think they deserve life enough to conjure up a breath let alone a word. It's a shame, and one you are too ignorant be aware of.

[em-bee]

that's a bit harsh.

[psd1]

Php does not distinguish between arrays and hashmaps, which means that an empty dict serialises to json as `[ ]`. You can configure it to serialise to `{ }` instead, but that's a global setting. No, i don't think I'm being harsh.

[martl475]

Friend of mine said "Infuriatingly many people got rich with horribly bad software." (Sounds better in German)