This is a post about how to get OS X to dual boot happily with Arch Linux. The reason that I post this is because I »
Note: I have mostly written this up as a reference to myself, so that I don't forget about it, and hopefully as a quick guide to »
Apologies if you have been waiting with baited breath for the next post. I have spent the past couple of weeks writing exams, starting a new »
Writing small composable functions is a great way to build up a powerful and flexible system. This is becoming a more popular strategy for designing software »
This is the second article about implementing basic data types from first principles using generic data-types. You can find the first article here. This second article »
This is something that I ended up doing on a whim yesterday. I have been playing with the coq (https://coq.inria.fr/) theorem prover and, »
I don't know about you, but I find it extremely frustrating when I'm working in the terminal, pop open a second terminal to run a second »
This post is more of a reference for when I need to build emacs from source again on the university machines. It is a fairly quick »
This post is a short post on how to Synchronise Office 365, and all accompanying Services with the Os X System. Below are posted a series »
Having very recently moved to spacemacs, I can immediately see the advantages it provides. Being a dedicated accolite of the cult of vi, and have faithfully »