If at work you “have” to work with windows clients and are using linux shell-like tools like git, you probably know this problem: You want to open a shell from the Windows File Explorer, then do some actions, change directories and then again open a Windows File Explorer from the shell at your current location.… Read more Open Windows Explorer from shell and vice-versa
There are different types of graph notations. Here I’d like to present a nice and compact way in the form of a Vertex Lists and Edge Lists, which I came across during my studies at the MSE in Zurich. [Note: All graph images shown in this post have been taken from graphical representations of graphs… Read more Graph Notation
Let’s just quickly print out the PDF and go to bed. That was my initial plan. However, the task turned out to be significantly more difficult. I started the printing job and did some other stuff, until the job was done. Times where one had to sit next to the 9-needle printer connected to one’s… Read more How to deal with black printing PDFs?