Debian: Gunnar Wolf Gets PhD, Collabora Update, Joachim Breitner Dives Deep
-
Gunnar Wolf ☛ Gunnar Wolf: The author has been doctored.
Almost exactly four years after I started with this project, yesterday I presented my PhD defense.
-
Collabora ☛ MediaTek Genio update: Kernel, Debian 13 images, and KernelCI
Towards the end of 2024, MediaTek and Collabora started on a journey to improve upstream support for MediaTek Genio devices. Here's where things stand.
-
Joachim Breitner: Extrinsic termination proofs for well-founded recursion in Lean
A few months ago I explained that one reason why this blog has become more quiet is that all my work on Lean is covered elsewhere.
This post is an exception, because it is an observation that is (arguably) interesting, but does not lead anywhere, so where else to put it than my own blog…
-
Thorsten Alteholz ☛ Thorsten Alteholz: My Debian Activities in February 2025
Debian LTS
This was my hundred-twenty-eighth month that I did some work for the Debian LTS initiative, started by Raphael Hertzog at Freexian. During my allocated time I uploaded or worked on: [...]