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,...
Onyx Boox Note 10.3 – first impressions
I recently go my hands on a new gadget, the Onyx Boox Note. I have now owned a Kindle Paperwhite (2nd gen), a Kobo Glo, a Kobo GloHD, and now the Onyx Boox Note....
Docker, cron, mail and logs
If one searches for “docker cron“, there are a lot of hits but not really good solutions or explanations how to get a running system. In particular, what I needed/wanted was (i) stdout/stderr of...
TeX Live 2018 released
I guess everyone knows it already, Karl has released TeX Live 2018 officially just when I was off for some mountaineering, but perfectly in time for the current BachoTeX meeting. The DVDs are already...
Analysing Debian packages with Neo4j – Part 3 Getting data from UDD into Neo4j
In the first part and the second part of this series of articles on analyzing Debian packages with Neo4j we gave a short introduction to Debian and the life time and structure of Debian...
Specification and Verification of Software with CafeOBJ – Part 2 – Basics of CafeOBJ
This blog continues Part 1 of our series on software specification and verification with CafeOBJ. Availability of CafeOBJ CafeOBJ can be obtained from the website cafeobj.org. The site provides binary packages built from Linux,...
Analysing Debian packages with Neo4j – Part 2 UDD and Graph DB Schema
In the first part of this series of articles on analyzing Debian packages with Neo4j we gave a short introduction to Debian and the life time and structure of Debian packages. The current second...
TeX Live 2018 for Debian
TeX Live 2018 has hit Debian/unstable today. The packages are based on what will be (most likely, baring any late desasters) on the TeX Live DVD which is going to press this week. This...
Specification and Verification of Software with CafeOBJ – Part 1 – Introducing CafeOBJ
Software bugs are everywhere – the feared Blue Screen of Death, the mobile phone rebooting at the most inconvenient moment, games crashing. Most of these bugs are not serious problems, but there are other...
Analysing Debian packages with Neo4j – Part 1 – Debian
Overview on the blog series The Ultimate Debian Database UDD collects a variety of data around Debian and Ubuntu: Packages and sources, bugs, history of uploads, just to name a few. The database scheme...
TeX Live 2018 (pretest) hits Debian/experimental
TeX Live 2017 has been frozen and we have entered into the preparation phase for the release of TeX Live 2018. Time to update also the Debian packages to the current status. The other...
