halting problem :: page 2

Older posts

1. More documentation changes, March 17, 2021 — In which I report about the status of gi-docgen
2. Documentation changes, February 19, 2021 — In which I talk about a new tool to generate the API reference for GTK
3. Type instances, June 02, 2020 — In which we talk about derivable types that are not GObject
4. Another layer, August 15, 2019 — In which I announce a new release of Graphene
5. More little testing, June 01, 2019 — In which I announce that Graphene moved to a new testing API
6. (New) Adventures in CI, April 13, 2019 — In which I talk about test reports with GitLab CI
7. A little testing, March 14, 2019 — In which I present a small testing framework for C code
8. Episode 2.a: Building GNOME, February 24, 2019 — A side episode! Building GNOME is complicated; releasing GNOME is even worse. We’re going to see what tools GNOME developers used to build GNOME 2.
9. Episode 2.2: Release Day, February 14, 2019 — The GNOME 2 release process meant re-evaluating everything that makes a desktop environment: from its design, to the design of all of its applications, to the release process, to the interaction of settings and preferences.
10. Episode 2.1: On Brand, January 24, 2019 — A wild GTK major API change appears! It uses better text and icon rendering. It’s super effective! GNOME dons flame retardant pants. It’s not very effective!