|
|
|
|
|
|
by baq
59 days ago
|
|
|
The problem is implementing anything approximately twice is a hard sell… this is no longer true, though - TLA+ models are cheap now. You should be using them when writing any sort of distributed systems, which is basically everything nowadays. |
|
|