[ginnungagap]

> He hasn't done any harm to anyone.

Reading posts from former employees and plagiarism accusations (look up Matthew Cook) suggests otherwise.

I remember this being discussed on HN before as well, even though the search function is not bringing up anything.

[mklarmann]

I worked with Matthew Cook at ETH Zürich after he left wolfram for that reason. Cooks proof of the Turing completeness of the 110 rule [1] is in my opinion the only interesting piece in the new kind of science book. The dispute emerged from wolfram handling this not with science in mind, but capitalism. Putting an NDA on the publication of cook, to frame himself as the source.

[1]: https://en.wikipedia.org/wiki/Rule_110