wiki/concepts/non_deterministic_computation.md history