In distributed system correctness is not about a program being complied well with the computer and it’s network, it’s only correctness can be only specified by it’s definition, assumptions and failure model. One of the area in which we can see this happen is when system breaks the idea of single...
Source: [Hacker News](https://archetechmes.vercel.app/blog/correctness-as-spectrum)