Sony VAIO Touchpad toggling
Often traveling on trains and flights, I am used to type a lot during these time. Unfortunately, my Vaio Pro13 is a bit fragile, means that under normal typing, the weight of my hands...
Often traveling on trains and flights, I am used to type a lot during these time. Unfortunately, my Vaio Pro13 is a bit fragile, means that under normal typing, the weight of my hands...
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...
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...
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...
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...
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...
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’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...
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...
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...
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...