Naica Mine is a beautiful place, wish I could be inside some day. I've read that is not accessible to public in general due to constant water flow that has to be drained and a very high humidity.
Mick (OP) responds to this assumption in the Quora comments:
I just read that. This guy certainly wasn't Ken Thompson. But this happened to me in 1991, seven years after the date of publication you posted, and the "login" portion did the exact same thing Ken was describing as far as the secret password. This was probably Thompson's genius idea implemented by the grad student. The mechanism was very different though in the compiler, but the outcome was still a poisoned compiler.
I had heard of self-modifying compiler before, too or I probably wouldn't have thought to look there myself. I'm not surprised to see Thompson behind the original idea.
I don't doubt the story's plausibility, but I'm left wondering how the student could have replaced the compiler with his own. Usually you need root in order to mess around with the system like that.
I thought of the 'trusting trust' paper just as I reached the paragraph about the compiler.
As an ex-PHB rather than a programmer, I think perhaps that Dr Phelps could have had taken a bit more interest in the project &c. Perhaps had a look at the code now and again as simply asked "why does this look so unlike other people's code?". Might have sent a shot across the bows of the bad apple.
This. I wonder what made the graduate so angry to go to such extreme lengths to protect his code. And why nobody noticed it - did they even have the right to fix the code?
I've used plotly.js the last months (about 3 or 4), the needs of my application are basic: pie chart, bar chart and line chart.
I first tried Chart.js, very easy to work with, but some situations make me change to plotly:
-The user needed numbers to be outside the pie chart when the space is limited.
-The user print the chart so svg is better than canvas for this purpose
Plotly has plenty of configuration options and is well documented on https://plot.ly/javascript/reference/ but for me, the most useful part is the playground (You need a plotly account). You can make your layout for a chart, view the JSON layout object and apply it on your project.
The experience has been positive to me.