3 points | by mikaelaast 11 hours ago
2 comments
Interesting - but at what point could “n version programming” step in? I speak of using alternative models as verifiers.
That’s very intriguing. I guess it would involve specifying a mental model in clear enough terms for it to be comparable to an already verified model, or something.
Interesting - but at what point could “n version programming” step in? I speak of using alternative models as verifiers.
That’s very intriguing. I guess it would involve specifying a mental model in clear enough terms for it to be comparable to an already verified model, or something.