1

Debian/TeX Live updates 20181009

MOre than a month has passed, and we went through a CVE and some other complications, but finally I managed to build and upload a new set of packages of TeX Live for Debian....

7

TeX Live Database as Graph Database

For a presentation at the Neo4j User Meeting in Tokyo I have converted the TeX Live Database into a Graph Database and represented dependencies between all kind of packages as well as files and...

1

TLCockpit v1.0

Today I released v1.0 of TLCockpit, the GUI front-end for the TeX Live Manager tlmgr. If you are looking for a general introduction to TLCockpit, please see the blog introducing it. Here I only...

15

Firefox got maniac

I don’t know what, I don’t know why, but Firefox behaves completely maniac on one of my computers. Opening simple tabs beats up 4 Web Content threads to nearly 100% CPU time, switching tabs...

3

Calibre and rar support – again

I have written here several times about Calibre, as well as my trials to get RAR support into the non-free part of Debian, mostly because I have also a few cbr files that I...

1

Sharp did it again

I have written about a certain Sarah Sharp (now Sage Sharp) and their attacks on Linus. As everyone knows by now, the Linux Kernel Team has decided to adopt a Code of Conduct –...

0

Han Kang: The Vegetarian

The Vegetarian by Han Kang (한강) is a rough, dark, and intriguing story about two families onto which a series of strange events inflicts irreparable damage. Set in modern day Korea it draws a...

5

Gaming: Rise of the Tomb Raider

Over the last weekend I have finally finished The Rise of the Tomb Raider. As I wrote exactly 4 month ago when I started the game, I am a complete newby to these kind...

1

TeX Live contrib updates

It is now more than a year that I took over tlcontrib from Taco and provide it at the TeX Live contrib repository. It does now serve old TeX Live 2017 as well as...

0

Marko Lukša: Kubernetes in Action

The rise of Kubernetes as one of the most important tools for devops engineers and developers is out of discussion. But until I moved into my current company I never had any chance to...

1

Debian/TeX Live updates 20180824

Exactly one month has passed since the last TeX Live for Debian update, so here we are with the usual bunch. Besides the usual updates to macros and font packages, this time I also...

0

CafeOBJ 1.5.8 released

Some time ago we released CafeOBJ 1.5.8 with some new features and bugfixes for the inductive theorem prover CITP. We are still struggling with SBCL builds on Windows, which suddendly started to produce corrupt...