Bei meinen podcasts ist nun endlich die Viernummer erschienen. Endlich mal in einer richtig guten Tonqualität - wie ich finde - nachdem ich herausgefunden haben, wie man den Rauschfilter richtig bedient. Lasst euch verzaubern von Gedanken zum Thema Modelchecking, meinem Tagesablauf und einem Programmierwettbewerb.