We need an accounting system for cognitive debt (raw.githubusercontent.com) 1 points by mikaelaast 12d ago ↗ HN
[–] russfink 12d ago ↗ Interesting - but at what point could “n version programming” step in? I speak of using alternative models as verifiers. [–] mikaelaast 12d ago ↗ 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.
[–] mikaelaast 12d ago ↗ 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.
2 comments
[ 3.3 ms ] story [ 15.5 ms ] thread