Author Archives: Sean
I manage a small cluster at work and occasionally students get their IP address banned by entering the wrong password when logging into the cluster. I don’t fix the problem often enough to remember how to do it, so I … Continue reading
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.