Author Archives: Sean
The lineup for the 2018 FIFA World Cup is now complete, and the teams have been sorted into pots ahead of the group stage draw on December 1st. All draws are not equally likely, so what teams is your team … Continue reading
How does a countries mean transfer spend relate to its UEFA coefficient?
No, this post isn’t 15 years late, Rio Ferdinand really did cost “more” than Paul Pogba…
The CentOS wiki page misses out a crucial step in setting up passwordless SSH.
After a spring clean I came across a talk I gave on the classification of complex reflection groups back in March 2011.
Sometimes I can’t find wireless networks which I know exist (on Ubuntu 16.04). Forcing the wireless interface to rescan fixes the problem.
Today is pancake day and it got me thinking about the fact that I remember the day falling on my birthday (March 7th) just once in my lifetime. How long will I have to wait until it next falls on … Continue reading
Sometimes I accidentally add lots of jobs to our SGE queue and want a quick way to delete them.
There was some discussion in my office today about the correlation between car insurance prices and where you live. The idea being that the prices are correlated with population density.