correctness – Jessitron

Safety and Progress

September 14, 2019 by jessitron

At Papers We Love conference, Dr Heidi Howard described requirements for distributed consensus: Safety and Progress. In distributed consensus, multiple servers decide on some value and then report that to their clients. Safety means that the clients never learn about different values; the consensus is all correct and consistent. Progress means that clients do eventually … Read moreSafety and Progress

Certainty, Uncertainty, or the worst of both

June 29, 2019 by jessitron

Des Cartes looked for certainty because he wanted good grounds for knowledge, a place of fixity to build on, to make predictions. Juarrero counters that uncertainty allows for novelty and individuation. In software, we like to aim for certainty. Correctness. Except in machine learning or AI; we don’t ask or expect our algorithms to be … Read moreCertainty, Uncertainty, or the worst of both