Blogs

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

Have you ever come across an issue while developing an Eclipse-based application, go to export it and get an evil "Invalid character constant" message or something similar in your logs? This happens when you're developing an application that requires Unicode characters but your system file encoding is something other than you expect (i.e., on Macs it's usually MacRoman and on Windows it's Cp1252). When you...

Read More

I used what little free time I had over the holidays to catch up on the recent developments in source control management systems, which have been quite interesting to follow. Especially the arrival of Distributed Version Control Systems has caused quite a buzz in the software development industry. Somehow Eclipse as a whole totally missed the SVN boat. Only in the last year has there been...

Read More