0

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...

0

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...

0

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...

0

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...

2

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...

0

Plex Home Theater for Debian/sid

I am long time user of Plex, on my laptop, on my TV via RasPlex, on my iPhone. It is a great product. Recently even ChromeCast works with it, so it is the perfect...

0

Mona Lisa (Neil Jordan, 1986)

Sometimes there are movies that leave you thinking about different interpretations over and over again. Yesterday evening, we watched one of them, Neil Jordan‘s Mona Lisa from 1986. Described as classy kitsch by the...

0

TeX Live/Debian – new binaries in experimental

TeX Live has a yearly release schedule, and while normal packages are updated on a daily basis, updates to binaries are not done during one year. But development continues in our TeX Live svn...

8

Sony VAIO and UEFI – what a lie

Sony seems to believe they can ignore the UEFI standards. As I have written in the  on booting, Sony messes up the EFI boot setting on every boot. I did a hard core test,...

1

Debian/TeX Live 2014.20140717-1

About a month has passed and there is a new upload of Debian/TeX Live, the second upload after the . Most important is a fix to thumbpdf which wasn’t working anymore due to a...

0

Kobo firmware 3.5.0 and kobohack

Kobo has shipped another update of the firmware for their devices, new version is 3.5.0. Most important fix it seems is for the “light-on-after-sleep” bug, which botched my battery a few times. Another fix...