Author: Matthias Kempka

We recently moved our continuous integration builds to a new server. The builds are set up self-contained or have only little dependencies to files outside their workspace. So it shouldn't be a big deal: Just set up the new projects in your CI server and copy over the settings from the old projects, right? And if you then get an error that even Google knows only 2...

Read More

This semester my wife gives a lecture in theoretical computer science at the KIT (Karlsruhe Institute of Technology). The current topic is decidability and therefor the students learn about the halting problem. The whole topic is rather dry and good examples for illustration are always welcome. One example I liked is the question whether a program is a virus or not. As a proof, you could...

Read More