The Talos Principle – Solving puzzles using SAT solvers
After my last post on , there was a sale of The Talos Principle, so I got it and started playing. And soon I got stuck at these kind of puzzles where one has...
After my last post on , there was a sale of The Talos Principle, so I got it and started playing. And soon I got stuck at these kind of puzzles where one has...
Here we go, I just uploaded 15 packages to the Debian archive that brings TeX Live in Debian up to the 2015 release (and a bit newer)! Uploaded packages are asymptote, biber, context, context-modules,...
has been released, and normal operation with daily updates has started. During the freeze time and afterwards I have made a few changes to the TeX Live Manager (tlmgr) that I want to highlight...
There are many translation plugins available for WordPress, and most of them deal with translations of articles. This might be of interest for others, but not for me. If you have a blog with...
Ok, I have to admit, I sometimes do game – and recently I finished Portal. Quite old (released in 2007), but still lots of fun. I started playing it about one year ago, off...
I have uploaded ptex2pdf to CTAN. Changes are mainly about how files are searched and extensions are treated. ptex2pdf now follows the TeX standard, that is: first check if the passed in filename can...
As with all the previous versions, I have prepared a mega update for the Kobo firmware 3.16.0, including all my favorite patches and features. Please see details for , and . As before, the...
After long time of waiting we finally released TeX Live 2015. Get some champagne, and ready to party! Get it via downloading the net-installer, by obtaining a DVD, or downloading the iso. Besides the...
日本語の先生は正岡子規の下記の有名な俳句を読ませてくれた:「柿くへば
鐘が鳴るなり
法隆寺」日本語のクラスの後、自転車での通勤しながら、解釈を考えた。そして、妻の意見と感覚を尋ねた。全然違う解釈その結果をここに述べる。
まず、句の言葉の説明
Last weekend Hermann Zapf, one of the greatest font designers and typographers of our times, has passed away at the age of 96. Much has been written about his life, his immense sphere of...
While updating the TeX Live package for Debian for the upcoming 2015 release, one of my aims was to convert as much as possible of the TeX configuration infrastructure to use dpkg triggers. We...