Author Archives: Sean
The World Cup is almost upon us and so it’s time to make some predictions…
My three year old asked me a pretty interesting question this morning, “how many sleeps is it until next Easter?”
Could Jack Dawson (Leonardo DiCaprio) and Rose DeWitt Bukater (Kate Winslet) from the motion picture ‘Titanic’ both have survived by both floating on the door? (Clearly there are a load of spoilers in this article – but the film did … Continue reading
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.