Some years ago, it was announced that Microsoft had done a deal with Donald Knuth and the American Mathematical Society and had bought the rights to TeX. It was slightly worrying until you noticed that the announcement was dated 1 April.
Now I see that the company which has fought a long and bitter war against open source software is to buy GitHub, according to the BBC news. And April is long past.
When Microsoft bought Skype, I found it would no longer run on my Linux laptop. So should we be worried that they have bought GitHub? I don’t use it myself, but a lot of the excellent free software that I do use, such as GAP, is now developed there. Are they buying it to destroy the competition, as the railways did to the canal network in Britain in the nineteenth century?
I have great admiration for the boss of Microsoft, but nothing but fear and loathing for his company.