Gaming: Rise of the Tomb Raider
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...
TeX Live contrib updates
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...
TensorFlow on Debian/sid (including Keras via R)
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...
Debian/TeX Live binaries update 2018.20180907.48586-1
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...
Marko Lukša: Kubernetes in Action
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...
Debian/TeX Live updates 20180824
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...
CafeOBJ 1.5.8 released
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...
#!/usr/bin/env != /usr/bin/perl
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...
台湾の新竹でのDebConf 2018
Debian Developers Conferenceは毎年開催され、今年は7月29日から8月5日の日程で、台湾の新竹で開催されました。2000年に設立して以来、この年次会議がアジアで開催されたのは初めてでした。
DebConf 18 – Day 3
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...
TypeScript’s generics – still a long way to go
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...
Specification and Verification of Software with CafeOBJ – Part 4 – Modules
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...
DebConf 18 – Day 2
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...
DebConf 18 – Day 1
This year’s DebConf happens to be the first in Asia, in Hsinchu, Taiwan. And also for me the first DebConf I ever participated. I arrived on Saturday night from Japan, and will try to...
Debian/TeX Live 2018.20180724-1
After more than two months finally an update to TeX Live in Debian again. I was a bit distracted by work, private life, travels, and above all the update to texdoc which required a...
Microsoft fixed the Open R Debian package
I just got notice that Microsoft has updated the Debian packaging of Open R to properly use dpkg-divert. I checked the Debian packaging scripts and they now properly divert R and Rscript, and revert...
