After 15 years, I finally made time to revive my 1980s HP-41CV calculator: by repairing bad contacts and adding a USB power cable, it now is back as my daily desk calculator.

Continue reading

LiveReload is magic. As the authors describe it:

The Web Developer Wonderland

(a happy land where browsers don't need a Refresh button) -- LiveReload

What does it do? It's a browser plugin that automatically refreshes a page when the server tells it to. On the other side, we have a web …

Continue reading

When working with data, you sometimes need to view the data and give input on how to continue. However, a simple

plot([1,2],[1,2])
answer = raw_input()

will not work: the plot GUI will block while the raw_input() is waiting. The following is a (admittedly hacky) solution to this problem: run raw_input() in a seperate thread, and poll the GUI using waitforbuttonpress():

Continue reading

There are several posts describing how to get git pull using git-http-backend working on shared hosting, for example this post by mobiphil. However, following those steps, I was left with an unclear 'code 22' error when pushing.

In this post, I will describe shortly how I set-up git on my shared hosting account in a way that does allow pushing.

Continue reading