A
@GerardThornley @johntimaeus @tante Both are my points you obnoxious debatelord. I don't care if its theoretically possible to write formally verified software when its done exactly nowhere and there are no regulations requiring it.
You clearly don't have anything better to do, otherwise you'd have a life instead of trying to well actually a 100 character post.
Go touch grass, if nothing else so you stop being a nuisance to those are you in the public.
@GerardThornley @johntimaeus @tante Hell, it takes extreme effort to have deterministic floating point calculations. Like there are so many examples of insane things, you have to intentionally look away to think otherwise.
@GerardThornley @johntimaeus @tante You know that every piece of software written is more or less undefined behavior right?
Like 99.999999% of software is using a stack where its both impossible to not have undefined behavior and it relies on it to function.
@GerardThornley @tante To this day they are rebooting f35 subsystems mid-flight when they bug out.
Not all software is trash-tier quality but we are nowhere close to the reliability and determinism you'd expect for any engineering field. And its not getting any better with all the deregulation and outsourcing to contractors.
@GerardThornley @tante All software ever written, unless its one of those special "formally verified" academic projects.
@tante Calling any of the turn it off and on again engineering is an insult to engineers.
When I am crossing a bridge, someone had run the math to prove that it won't collapse on its own or from an earthquake.
But with software we don't have a single clue what will happen let alone to how reproduce issues.
@nathandyer The bluray rips are usually remuxxing rather than reencodings. Which means the format of the encoding is dependent on how the content was distributed.
So in order for av1 to become the torrent default, the content would have to be distributed as such already, or to rencode/transcode the content and incur quality loss.
