We need an accounting system for cognitive debt

Y	Hacker News new \| ask \| show \| jobs

	We need an accounting system for cognitive debt (raw.githubusercontent.com)
	4 points by mikaelaast 28 days ago

1 comments

russfink 28 days ago

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

link

mikaelaast 28 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.

link