Correctness as spectrum not as binary in distributed system
Show HN: Correctness as spectrum not as binary in distributed system
Correctness as spectrum not as binary in distributed system is a company in show hn launch.
Profile
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 machine model and it’s assumptions. Networks can drop or reorder messages, clock drift, nodes can fail in mid operations and network partitions can occur. These are normal conditions, not rare edge cases.
As a business in show hn launch, Correctness as spectrum not as binary in distributed system is listed here with the public details available about it.
It is recorded at the Show HN launch stage.
| Sector | Show HN launch |
|---|---|
| Stage | Show HN launch |
Website: archetechmes.vercel.app/blog/correctness-as-spectrum
Browse related
Create a free account