Monthly Archive: August 2016
ESSLLI 2016 Course: Algebraic Specification and Verification with CafeOBJ
During this year’s ESSLLI (European Summer School in Logic, Language and Information) I was teaching a course on Algebraic Specification and Verification with CafeOBJ. Now that the course is over I can relax a...
Gaming: Deus Ex Go
Long flights and lazy afternoons relaxing from teaching, I tried out another game on my Android device, Deus Ex Go. It is a turn based game in the style of the Deus Ex series...
イタリアのボーゼンの美しい山
今年の夏北イタリアのボーゼンで行うESSLLI 2016で教えって居る。毎日の午前中講義があるので、なかなか長いエクスカーションができなかったけど、一日の午後ボーゼンの近くのハイクをした。
Debian/TeX Live 2016.20160819-1
A new – and unplanned – release in quick succession. I have uploaded testing packages to experimental which incorporate tex4ht into the TeX Live packages, but somehow the tex4ht transitional updated slipped into sid,...
Suki Kim – Without You, There Is No Us
A book that goes further behind the walls that surround North Korea than anything else I have seen. Suki Kim managed to squeeze herself, American-Korean, into a English teaching job at the Pyongyang University...
Debian/TeX Live 2016.20160805-1
TUG 2016 is over, and I have returned from a wonderful trip to Toronto and Maine. High time to release a new checkout of the TeX Live packages. After that I will probably need...