Ask HN: Why aren't we building a database of formally verified software?

Re:Ask HN: Why aren't we building a database of formally ver... by cloogshicer on Thursday March 04, 2021 @03:20PM (#26347693)

I don't know, a lot of people in that thread argued that this must've actually cost Rockstar a lot of money. I'm not sure which side of the argument is true, both sound plausible to me.

[ Parent | on HN ]

Re:Ask HN: Why aren't we building a database of formally ver... by Aeronwen on Thursday March 04, 2021 @05:56PM (#26349694)

The people who can't be bothered to play now, will demand R* do something about the cheaters and people who bought their way to the top already. The people they gained won't stay, because R* won't ditch the people who actually make them money.

So all this will really do is put more load on their servers, now that the bottleneck moved off of your hardware and back onto thiers.

[ Parent | on HN ]