Replies (1)

• @phnt@fluffytail.org 2026-05-02 15:02

  @icon_of_computational_sin@mstdn.starnix.network >yes, it does exist, but that is not the point. It does not, even your industry doesn't have such properties, nor does aeronautics which does math proofs only for certain absolutely critical pieces of software. You can never have a trustworthy vendor or software unless you fully audit every piece of it and prove correctness of it. Linux will never have that, seL4 only proved the microkernel. >Some software is better than the other But none is fully trustworthy at the scale we are talking. >Monoculture is among the worst things to have happened in tech. This has been known for a long while, if you look up articles from early to mid 2000s, they argue that Microsoft monoculture is toxic. And yet the nerd herd has managed only to replace one monoculture with another. Agreed. >By the standards of the time described above, most big tech software today would be classified as malware, whether intentionally so or not. By my definition IPv6 is malware, because it autoconfigs interfaces without me telling it to do so (via running an autoconfig service on the network). It does something I never asked it to do.

  Open ##2686529