We need an accounting system for cognitive debt

We need an accounting system for cognitive debt(raw.githubusercontent.com)

4 points by mikaelaast 3 days ago | 2 comments

russfink 3 days ago |

Interesting - but at what point could “n version programming” step in? I speak of using alternative models as verifiers.

mikaelaast 3 days 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.

russfink 3 days ago |

Interesting - but at what point could “n version programming” step in? I speak of using alternative models as verifiers.

mikaelaast 3 days 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.