John Oliver and news in Japan
Yesterday evening I was enjoying several features by John Oliver, mostly about the upcoming election in the US (Scandals), but also one of the best features I have heard from him on Guantánamo. It...
Reload: Android 7.0 Nougat – Root – Pokemon Go
Ok, it turned out that a combinations of updates has broken my previous guide on playing Pokemon GO on a rooted Android device. What has happened that the October security update of the Android...
Debian/TeX update October 2016: all of TeX Live and Biber 2.6
Finally a new update of many TeX related packages: all the texlive-* including the binary packages, and biber have been updated to the latest release. This upload was delayed by my travels around the...
オーストリアの卵カップ
少し前はじめて赤ちゃんを連れてオーストリアの家族を訪ねてきた。そのとき、母から昔の卵カップをもらった。オーストリアでの朝食のときゆで卵を食べたかったら、頼むとき普通に何分を聞かれてる。という意味は柔らかくて、中身はまだちょっと温泉卵みたいない感じ（４−５分）、又は固い友語（１０分）。もちろん、自分の希望のとおり何分を決められる。
Fixing packages for broken Gtk3
As mentioned on sunweaver’s blog Debian’s GTK-3+ v3.21 breaks Debian MATE 1.14, Gtk3 is breaking apps all around. But not only Mate, probably many other apps are broken, too, in particular Nemo (the file...
Android 7.0 Nougat – Root – PokemonGo
UPDATE 20161008 This blog is outdated, please see the updated version: Reload: Android 7.0 Nougat – Root – Pokemon Go Since my switch to Android my Nexus 6p is rooted and I have happily...
Farewell academics talk: Colloquium Logicum 2016 – Gödel Logics
Today I had my invited talk at the Colloquium Logicum 2016, where I gave an introduction to and overview of the state of the art of Gödel Logics. Having contributed considerably to the state...
Yukio Mishima: Patriotism (憂国)
A masterpiece by Yukio Mishima – Patriotism – the story of love and dead. A short story about the double suicide of a Lieutenant and his wife following the Ni Ni Roku Incident where...
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...
TUG 2016 – Day 4 – Books, ooh Books (and Boats)
Talks have been finished, and as a special present to the participants, Pavneet has organized an excursion that probably was one of the best I ever had. First we visited the Toronto Reference Library...
