Call for real-world scenarios prevented by RB practices

Dan Shearer dan at
Sat Mar 26 09:25:47 UTC 2022

On Sat, Mar 26, 2022 at 10:06:21AM +0100, Dan Shearer wrote:

> [...] for example, none of these are a defence again Ken Thompson's famous 1984 paper
> despite some of the best minds in computer science working on it.

... and yes, I was aware you were on this list David, and apparently writing
about your excellent Diverse Double-Compiling work just as I was writing the
above :-) Nevertheless my point stands I think, that none of the approaches I
listed address the fundamental trust problem. And we certainly don't see good
solutions being adopted to the issues of unbounded complexity, or why it takes
a stack multiple millions of lines of lines of code high to present me with a
dialogue box that says "Hello". These are human problems, not really technical ones.

Dan Shearer
dan at

More information about the rb-general mailing list