In den letzten Tagen habe ich an der Implementierung meiner Logik Machine. Die meisten Infos stammen aus: The Handbook of Automated Computing. Ins besondere habe ich die Infrastructure für Resolution und Tableaux algorithms vorangetrieben.

Für meinen Bruder probiere ich Joomla and Wordpress um die Qualität der Webshopkomponente zu schätzen. Ich sollte meine Shop requirements engineering fertig stellen.

Für mein Mitbewohner schaue ich die S3 komponente an.