CafeOBJ 1.5.0 released
Yesterday we have finally released CafeOBJ 1.5.0. This marks a great step forward in a long development history of this algebraic specification and verification language. To quote from our README: CafeOBJ is a new...
Kobo firmware 3.8.0 and kobohack-j 140823 and library patching
After a retracted firmware (3.5.0), an intermediate firmware (3.7.0) targetting the new unit H2O, there is now a new firmware for all devices (3.8.0). This firmware includes support that was previously available in patched...
Plex Home Theater for Debian/sid
I am long time user of Plex, on my laptop, on my TV via RasPlex, on my iPhone. It is a great product. Recently even ChromeCast works with it, so it is the perfect...
Mona Lisa (Neil Jordan, 1986)
Sometimes there are movies that leave you thinking about different interpretations over and over again. Yesterday evening, we watched one of them, Neil Jordan‘s Mona Lisa from 1986. Described as classy kitsch by the...
TeX Live/Debian – new binaries in experimental
TeX Live has a yearly release schedule, and while normal packages are updated on a daily basis, updates to binaries are not done during one year. But development continues in our TeX Live svn...
Sony VAIO and UEFI – what a lie
Sony seems to believe they can ignore the UEFI standards. As I have written in the on booting, Sony messes up the EFI boot setting on every boot. I did a hard core test,...
Debian/TeX Live 2014.20140821-1
After my well earned summer break, here another round of updates to the TeX Live packages, with lots of new and updated packages. Packages are on the way to the servers and should arrive...
Katsuhiko Takahashi – The Case of the Sharaku Murders
Recently, in the Japan Times I am getting to my door every day, I found a book review that stirred my interest: Katsuhiko Takahashi (高橋克彦) – The Case of the Sharaku Murders (写楽殺人事件), for...
ポヴィドル・ゴラーチェとラッテッラ
ウイーンにいる間にいつもいろんな事を食べているし、飲んでいるし、時にアイスクリーム。今回はアイスクリームじゃなくて、他の特色なお菓子と飲み物を紹介する：「Powidlgolatsche」（ポヴィドル・ゴラーチェ）と「Lattella」（ラッテッラ）
小川山のマルチ：セレクションとレモンルート
先週末３年ぶり小川山へ行ってきた。石川のめっこ山岳会の３人といつものＭさんと一緒に、金沢から金曜日遅く出発し、夜の一時頃到着。Ｓさんはずっと運転してくれて、少しだけ宴会で素敵な週末が始まる。
ウイーンの名物：あんずたけ・ゼンメル入りだんご
キノコが大好きな僕は、日本の立派なキノコをよく食べているけど、日本のキノコとヨーロッパのキノコが全く違うなので、ウイーンの出張の時、友人からウイーンの名物「あんずたけ・ゼンメル入りだんご」を作ってくれた。
Debian/TeX Live 2014.20140717-1
About a month has passed and there is a new upload of Debian/TeX Live, the second upload after the . Most important is a fix to thumbpdf which wasn’t working anymore due to a...
Happy and sad day
Today I had a very happy and a very sad day: The happy part was that one friend of mine finally became full professor, and another got a permanent position. Big congratulations to the...
Kobo firmware 3.5.0 and kobohack
Kobo has shipped another update of the firmware for their devices, new version is 3.5.0. Most important fix it seems is for the “light-on-after-sleep” bug, which botched my battery a few times. Another fix...
