14

Switching from iOS to Android

This article starts a series of blogs on my ventures into Android land after having used iOS devices for 6 years. I have never been a strong believer in the Apple ecosystem, and my...

1

Debian/TeX Live 2015.20160215-1

About one month has passed and here is the usual updated of TeX Live packages for Debian. While I am not really calling for testers at the moment, building of preliminary packages for TeX...

1

OpenPHT 1.5.1 for Debian/sid

I have updated the openpht repository with builds of OpenPHT 1.5.1 for Debian/sid for both amd64 and i386 architecture. For those who have forgotten it, OpenPHT is the open source fork of Plex Home...

1

Debian/TeX Live 2015.20160117-1 and biber 2.3-1

About one month has passed and here is the usual updated of TeX Live packages for Debian, this time also with an update to biber to accompany the updated version of biblatex. Nothing spectacular...

石川県の元旦 0

石川県の元旦

今年の元旦を久しぶりに石川に過ごした。休みがあまりない日本人の妻はいつも冬休みの時どこかの旅行したいけど、今回の年末年始はちょっと特別なので石川になった。

5

Gaming: Portal Stories: Mel

The last days, after about 20 hours of gameplay, I have finally finished Portal Stories: Mel, the single player mod for Portal 2. After having played and , I have to say this one...

草津温泉への小旅 0

草津温泉への小旅

年末の前2泊3日群馬県の草津温泉へ行ってきた。昔々、本当に大昔、11年前論理学のセミナーのためはじめて草津温泉へ訪ねた後3回行った事があるけど、妻は行った事ない。だから去年末石川県の悪天候から逃げて、晴れてる草津温泉の観光を楽しんでいってきた。

3

Ian Buruma: Wages of Guilt

Since moving to Japan, I got more and more interested in history, especially the recent history of the 20th century. The book I just finished, Ian Buruma (Wiki, home page) Wages of Guilt –...

0

筒井康隆の家族八景

家族八景を読み終えた。長い時間がかかった。僕に対して、筒井康隆氏の日本語は難しい(ちょっと古い?)。複雑な漢字単語が多いし、文の形も非常な形だし、内容も結構複雑なので、僕の日本語のチェレンジになった。

6

10 years TeX Live in Debian

I recently dug through my history of involvement with TeX (Live), and found out that in January there are a lot of “anniversaries” I should celebrate: 14 years ago I started building binaries for...

4

Fighting with IPv6

During the last weeks I finally got my hands dirty with IPv6. A comment on my blog and an email informed me that my server (hosting this blog) is not reachable via IPv6, albeit...