Charlie Harvey

What’s all this then?

My name is Charlie Harvey and this is my website. I like computer geekery, drinking cider and trying to overthrow capitalism. I seem to be doing rather better with the first two.

Sometimes I make things like the Daily Mail story generator, sometimes I blog and sometimes I just stare blankly into space.

Portrait of Charlie Harvey

Recent blogs

  • Quick tip: Close hung SSH sessions and other escape sequences

    Quick tip: Close hung SSH sessions and other escape sequences cover image

    Here is a quick SSH tip that I only discovered a month or two ago despite years of using SSH on a daily basis. When SSH freezes, as can sometimes happen if the network connection drops, it is possible to kill the connection more elegantly than just by closing the terminal tab (my previous way of dea

  • Solving binary puzzles with Haskell

    Solving binary puzzles with Haskell cover image

    I first came across binary puzzles in early 2013 after finding a book of them in a Belgian supermarket. And I believe that I've now published the first solver for binary puzzles written in Haskell. The puzzles are a little like sudoku. You get a grid which contains a number of ones and zeros and y

  • December 2016 reading

    December 2016 reading cover image

    This is a pretty comprehensive 'brief' history of the Anglo-Saxons - from the decline of the Romano-British culture in (what we now call) England up until the arrival of the Normans and indeed beyond. Hindley investigates

  • November 2016 Reading

    November 2016 Reading cover image

    This novel was one of a trove I inherited from my parents, a gift for my mother on her 20th birthday. It tells the story of a weaver, formerly a religious nonconformist and now miser, who discovers a meaning in life other than gold when an orphan c

  • Au revoir Twitterfeed. Bonjour RSSTwit.

    Au revoir Twitterfeed. Bonjour RSSTwit. cover image

    A few weeks ago, I received an email from Twitterfeed’s founder, a chap called Mario. In unnecessarily jolly prose, it announced the demise of the service which turned RSS feeds into Tweets and recommended moving to dlvr.it or Buffer. We’re writing to let you know that Twitterfeed wi

More blogs »