Manually starting ssh-agent to use it in a (remote) terminal session

Posted on Thu 22 June 2017 in misc • Tagged with linux, ssh

ssh-agent can be used to unlock an ssh private key and therefore prevent having to …

Continue reading

Python networkx (graph library) example

Posted on Tue 06 June 2017 in misc • Tagged with python, algorithms, graph

This is just for me to look it up again later:

 4 …

Continue reading

Music for working / learning (updated)

Posted on Sat 27 May 2017 in misc • Tagged with music

Some nice music on youtube and soundcloud:

Continue reading


Posted on Thu 17 July 2014 in misc

Welcome to the new website. I've created the new page mainly as an excuse for …

Continue reading