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...
Microsoft’s failed attempt on Debian packaging
Just recently Microsoft Open R 3.5 was announced, as an open source implementation of R with some improvements. Binaries are available for Windows, Mac, and Linux. I dared to download and play around with...
Git and Subversion collaboration
Git is great, we all know that, but there are use cases where there completely distributed development model does not shine (see here and here). And while my old git svn mirror of TeX...
Hyper Natural Deduction
After quite some years of research, my colleague Arnold Beckmann and my paper on Hyper Natural Deduction has finally been published in the Journal of Logic and Computation. This paper was the difficult but...
Docker, cron, environment variables, and Kubernetes
I recently mentioned that I am running cron in some of the docker containers I need for a new service. Now that we moved to Kubernetes and Rancher for deployment, I moved most of...
Specification and Verification of Software with CafeOBJ – Part 3 – First steps with CafeOBJ
This blog continues Part 1 and Part 2 of our series on software specification and verification with CafeOBJ. We will go through basic operations like starting and stopping the CafeOBJ interpreter, getting help, doing...
Gaming: Lara Croft – Rise of the Tomb Raider: 20 Year Celebration
I have to admit, this is the first time that I playing something like this. Somehow, Lara Croft – Rise of the Tomb Raider was on sale, and some of the trailers were so...
MySql DataTime/TimeStamp fields and Scala
In one of my work projects we use Play Framework on Scala to provide an API (how surprising ;-). For quite some time I was hunting after lots of milliseconds, time the API answer...
Gaming: The House of Da Vinci
Recently the gaming time has dropped close to zero, but The House of Da Vinci was just perfectly suited to my low time burst play mode. A game in the style of the Room...
Debian/TeX Live 2018.20180505-1
The first big bunch of updates of TeX Live 2018. During the freeze for DVD production, several bugs have been found and fixed. In particular compatibility of csqoutes with the shiny new LaTeX release,...
