Firefox got maniac
Update 2018-11-06: it was a fontconfig bug that is fixed in version 2.13.1-2. I can confirm that with this version all is back to normal, finally. I don’t know what, I don’t know why,...
生も死もひとつのブランコの分岐点においてゆらゆらそのゆれをほほえんで見ているしかないのですね。
Update 2018-11-06: it was a fontconfig bug that is fixed in version 2.13.1-2. I can confirm that with this version all is back to normal, finally. I don’t know what, I don’t know why,...
I have been using aptly for several years publishing all kinds of repositories for different developments. The other day, when I wanted to update my calibre repository (see previous post) I realized that aptly...
I have written here several times about Calibre, as well as my trials to get RAR support into the non-free part of Debian, mostly because I have also a few cbr files that I...
The Vegetarian by Han Kang (한강) is a rough, dark, and intriguing story about two families onto which a series of strange events inflicts irreparable damage. Set in modern day Korea it draws a...
Over the last weekend I have finally finished The Rise of the Tomb Raider. As I wrote exactly 4 month ago when I started the game, I am a complete newby to these kind...
It is now more than a year that I took over tlcontrib from Taco and provide it at the TeX Live contrib repository. It does now serve old TeX Live 2017 as well as...
I have been struggling with getting TensorFlow running on Debian/sid for quite some time. The main problem is that the CUDA libraries installed by Debian are CUDA 9.1 based, and the precompiled pip installable...
A new set of TeX Live binaries has been uploaded to Debian, based on the Subversion status as of 7 September (rev 48586). Aim was mostly fixing a bug of (x)dvipdfm(x) introduced by a...
The rise of Kubernetes as one of the most important tools for devops engineers and developers is out of discussion. But until I moved into my current company I never had any chance to...
Exactly one month has passed since the last TeX Live for Debian update, so here we are with the usual bunch. Besides the usual updates to macros and font packages, this time I also...
Some time ago we released CafeOBJ 1.5.8 with some new features and bugfixes for the inductive theorem prover CITP. We are still struggling with SBCL builds on Windows, which suddendly started to produce corrupt...
I just say one thing … I hate irrelevant policies. Now I have to either patch 59 files in TeX Live, or write a script that goes through a few Gb of data to...
Most of Japan is on summer vacation now, only a small village in the north resists the siege, so I am continuing my reports on DebConf. See DebConf 18 – Day 1 and DebConf...
I first have to admit I am no a JavaScript or TypeScript expert, but the moment I wanted to implement some generic functionality (Discrete Interval Encoding Tree with additional data and that is merged...
This blog continues Part 1, Part 2, and Part 3 of our series on software specification and verification with CafeOBJ. In the last part we have made our first steps with CafeOBJ, learned how...
Although I have already returned from this year’s DebConf, I try to continue to write up my comments on the talks I have attended. The first one was DebConf 18 – Day 1, here...