Tag Archives: linux

Microsoft buys GitHub?

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 … Continue reading

Posted in software, technology | Tagged , , , | 5 Comments


Love them or hate them, most of us do both. Yesterday, in this short period of calm between academic trips, I decided to upgrade my laptop from Ubuntu 12.04LTS (“Precise Pangolin”) to Ubuntu 14.04LTS (“Trusty Tahr”). The LTS stands for … Continue reading

Posted in Uncategorized | Tagged , , , | 4 Comments


Today Queen Mary has migrated to a new, Microsoft-produced, mail system, called Office 365. I expected trouble, and put a note to this effect on my web page. Trouble has certainly come. The new mailer sees only half of my … Continue reading

Posted in the Web | Tagged , , | 13 Comments