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...
Replacing a lost Yubikey
Some weeks ago I lost my purse with everything in there, from residency card, driving license, credit cards, cash cards, all kind of ID cards, and last but not least my Yubikey NEO. Being...
TeX Live 2018 pretest started
Preparations for the release of TeX Live 2018 have started a few days ago with the freeze of updates in TeX Live 2017 and the announcement of the official start of the pretest period....
Debian/TeX Live 2017.20180305-1
TeX Live 2017 has received its final update just the other day and we are moving forward to start the period of testing leading up to the release of TeX Live 2018. Thus, this...
Ten Mincho – Great font and ugly Adobe
I recently stumbled upon a very interesting article by Ken Lunde (well known from CJKV Information Processing book) on a new typeface for Japanese called Ten Mincho, designed by Ryoko Nishizuka and Robert Slimbach....
CafeOBJ 1.5.7 released
Yesterday we released CafeOBJ 1.5.7 with lots of changes concerning the inductive theorem prover CITP, as well as fixes to make CafeOBJ work with current SBCL. The documentation has gained a few more documents...
Debian updates: CafeOBJ, Calibre, Html5-parser, LaTeXML, TeX Live
The last few days have seen a somehow quite unusual frenzy of uploads to Debian from my side. Mostly due to the fact that while doing my tax declaration (btw, a huge pain here...
Disappointing visitors
I recently realized that one of my blog post on Writing Japanese in LaTeX gets a disproportionate number of visitors. It turned out that most of them are not really interested in LaTeX, but...
Debian/TeX Live 2017.20180225-1
To my big surprise, the big rework didn’t create any havoc at all, not one bug report regarding the change. That is good. OTOH, I took some time off due to various surprising (and...
In memoriam Staszek Wawrykiewicz
We have lost a dear member of our community, Staszek Wawrykiewicz. I got notice that our friend died in an accident the other day. My heart stopped for an instant when I read the...
2018 and CD burning still painful
Ok, we are in 2018, and for the first time in ages I wanted to burn a Audio CD, and dared to think about CD_TEXT. You know what – it is hard as in...
Continuous integration testing of TeX Live sources
The TeX Live sources consists in total of around 15000 files and 8.7M lines (see git stats). It integrates several upstream projects, including big libraries like FreeType, Cairo, and Poppler. Changes come in from...
TLCockpit v0.8
Today I released v0.8 of TLCockpit, the GUI front-end for the TeX Live Manager tlmgr. I spent the winter holidays in updating and polishing, but also in helping me debug problems that users have...
