Author: Norbert Preining
Japan’s missing workforce
Much has been written and proposed about the decreasing workforce in Japan. Immigration has been blown from the table by Abe’s government, despite the recommendation from its own committee. I will not add much...
CafeOBJ in Debian
After close to a month of waiting, our CafeOBJ packages have finally entered Debian! Not having all the build architectures at hand for testing, there have been a lot of build-failures, especially due to...
Haruki Murakami – South of the Border, West of the Sun
Another great book of Haruki Murakami (村上春樹) that I devoured in shortest time – South of the Border, West of the Sun (国境の南、太陽の西). It turns around the development from childhood to adulthood of the...
CafeOBJ 1.5.1 and binary builds
After recently, we released another version 1.5.1, which makes the Windows builds run on UNC path, too. We also improved our binary distribution mechanism and now provide ready built binaries for Windows, Mac, and...
TeX Live/Debian – complete update (binaries and packages) 9/2014
After a long business trip to Europe, here a big round of updates for all of TeX Live/Debian. Besides updating the usual bunch of packages from CTAN, this upload also brings a new set...
A ghost at JAIST
Today I got the booklet: JAIST Outline 2014-2015, and I found a very interesting table at the end of the pamphlet, listing the international staff members. Reading through it, I wondered what has happened...
Laurent Binet – HHhH
Laurent Binet’s HHhH – Himmlers Hirn heißt Heydrich – a great book about one of the many dark chapters of the Second World War, diluted by the author’s affectation and self-infatuations. The book tells...
Happy from Teheran
A group of young people from Teheran have been convicted for producing the following nice video of them dancing to the song “Happy” by Pharrell Williams. Convicted to 91 lashes and six months in...
UK’s train system – how stupid can it get?
These UK trains drive me crazy. This morning in particular South West Trains. So I have a off-peak return ticket. For those not comfortable with the UK train booking system: Getting a train ticket...
CafeOBJ 1.5.0 released
Yesterday we have finally released CafeOBJ 1.5.0. This marks a great step forward in a long development history of this algebraic specification and verification language. To quote from our README: CafeOBJ is a new...
Kobo firmware 3.8.0 and kobohack-j 140823 and library patching
After a retracted firmware (3.5.0), an intermediate firmware (3.7.0) targetting the new unit H2O, there is now a new firmware for all devices (3.8.0). This firmware includes support that was previously available in patched...