TeX Live 2026 released
Get the Champagne ready, we have released the final images of TeX Live 2026. Nothing spectacularly new in this version, but improvements across that bank, and a new player: `xdvipsk`, an extended dvips with
There and back again
生も死もひとつのブランコの分岐点においてゆらゆらそのゆれをほほえんで見ているしかないのですね。
Latest posts
CafeOBJ 1.6.2 released
We have released version 1.6.2 of CafeOBJ, an algebraic specification and verification language. It has been a long time since we made a formal release. There has been an internal release that really never
Arch Linux: Fix gcr-agent interfering with ssh/gpg-agent
I finally found the reason why my ssh authentication socket provided by gpg-agent wasn t used by programs started from the desktop environment (KDE in my case, but this is irrelevant). The problem is, not
SASL-XOAUTH2 etc for Arch Linux
I recently found myself in need of reading and sending emails from an MS Outlook server. To that end, I have packaged the sasl-xoauth2 (upstream, AUR package) tool for AUR, as well as have
Debian TeX Repo Stats
After having worked about 18 years on getting Debian users a great TeX experience, things have turned sour between Debian and me. So I think it is time to look a bit at my
TeX Live 2023 released
Get the Champagne ready, we have released the final images of TeX Live 2023. The biggest change in this year s release is the switch to 64bit Windows binaries, and renaming the binary directory from
End of support and updates to the KDE/Plasma Debian builds
It has been many years that I have provided up-to-date builds of KDE/Plasma for Debian stable, testing, unstable. It is now more than a year that I don t use Debian anymore. Time to send
FFmpeg – tips and tricks
Over the years, and in particular with preparing videos of a conference for publication on YouTube, I have accumulated a few reminders how to do things with FFmpeg. It is such a fantastic beast
KDE/Plasma for Debian – Update 2022/11
Monthly update on KDE/Plasma on Debian: Updates to Frameworks and KDE Gears Short summary of recent changes and updates: Frameworks updated to 5.99.0 Plasma 5.24 LTS (repo plasma524) has been updated to the latest
Debian complaining to KDE …
So now some Debian boohoos are complaining about my blog which is aggregated at Planet KDE, directly to KDE, how nice. They were bothered by the following statement: Usual disclaimer: (1) Considering that I
KDE/Plasma for Debian – Update 2022/8
Monthly update on KDE/Plasma on Debian: Updates to Frameworks and KDE Gears I have packaged KDE Gears 22.08 as well as the latest frameworks, and Plasma got a point release. The status is as
Enrico Zini on DAM and “responsability”
The one single person within Debian who has worked for years to get me ostracized and thrown out of Debian is Enrico Zini. Probably because I made a joke about him and his
KDE/Plasma for Debian – Update 2022/7
(Update 2022-07-14: Plasma 5.25 now also available for Debian/stable) Long time I haven t posted a lot about KDE/Plasma for Debian, most people will know the reason. But I have anyway updated my repos at
Modern world
Just got reminded of this great short movie! How befitting.
Key validity extension of OBS repository
Yesterday, the signing key of my OBS repositories has expired (I didn t know they do). I have the validity extended now. To fix errors with access to the repos, please download the updated key