The Universe is Hostile to Computers

People interested in knowing more about Bitflip. "The Universe is Hostile to Computers" by Veritasium is good video. ▶ this video

in “Engineers investigating NASA’s Voyager 1 telemetry data” · View on HN

There is no software at all, it is all hardware. These are mere abstractions because the reality offers some guarantees which allows one to transfer one system onto another as if the underlying system didn't matter. Those guarantees allows one to speak of commonalities between one stuff and another. ref : The Universe is Hostile to Computers ▶ this video

in “Intelligence is not like height” · View on HN

> There's an extent to which I think this is reasonable. If I'm accused of fraud based on evidence recovered from a bank computer, it should not be the case that I can require the prosecution to prove that the bank's computers function correctly, and the evidence be thrown out in case the prosecution are unable to do so. So a poor individual with no resources should find experts to analyze a software he doesn't even have access to (I know, discovery, but the practical limitations often make it near impossible to find the error within a given time, like having the access only in an isolated room without the internet or your own software, or having an access only to printed source code on paper), rather than the prosecutor (the state) or the company that definitely have the resources? Obviously almost no one would go to jail then. But this would be because of a very low coding standard. You pretty much can't prove the validity of software, because somewhere around 99,99% just isn't coded in a language and regime that would guarantee being bug-free. Check out the video by Veritasium "The Universe is Hostile to Computers" [1] - how much software, do you think, has internal error correction implemented to deal with a possible cosmic ray flipping a bit? The solution is to have extensive logs of data, stored by independent actors, with a lot of redundancy or otherwise error detection and correction. I find it horrifying that someone as well versed in law as you is fine with putting

in “Fujitsu says it will pay compensation in UK Post Office scandal” · View on HN

In the Brazilian electronic voting system, there is no mechanism to check that the counting on each machine was performed correctly. Validation only occurs after that point. So if the machine somehow subtracts 256 votes from one candidate and transfers them to another, the total remains the same and this discrepancy isn't caught. It sounds ludicrous, but actually has happened before: ▶ this video This is just one example of how the Brazilian system isn't ideal. The criticism against it is very well supported by sound arguments, and it's a shame that it got politicised. It's a pure technical matter.

in “Brazilian hacker claims Bolsonaro asked him to hack into the 2022 voting system” · View on HN

A YouTube video on the subject : Veritasium - The Universe is Hostile to Computers ▶ this video Some of the same examples are in the article and the video.

in “The computer errors from outer space” · View on HN

It’s not about efficiency, think how many years a hard drive will last? 3 years. How many years a gold plate will last? thousands of years. Least reactive metal not for a reason lol Plus if there is a ion blast from a nearby supernova, it’ll erase all electronic storage devices on earth ▶ this video

in “Totenpass is a permanent digital storage drive made of solid gold” · View on HN