Ein wirklich kurzer Hinweis und etwas Werbung für das kommende Jahr, kurz nach Weihnachten:

Ich habe dieses Jahr beim Advent of Code mitgemacht und die 12 Rätsel jeweils in C gelöst.

Dabei habe ich selbstverständlich meine Lösungen Open-Source auf GitHub veröffentlicht: https://github.com/PaulGoldschmidt/advent-of-code-2025

Ich kann absolut dafür Werben, in Zukunft auch beim AoC teilzunehmen: Dabei wird eine kleine Geschichte in mehreren Rätseln (die letzten Jahre immer 24 Rätsel, jetzt 12 mit zwei Teilen) erzählt. Die Aufgaben sind vergleichbar mit vielen Leetcode-Ideen, von Sortieralgorithmen zu linearer Algebra und glorifizierter Matrixmathematik.

Besonders schwer fand ich dabei den zweiten Teil des zehnten Tages, bei dem ein komplexes Gleichungssystem gelöst werden sollte: Hier habe ich erst bruteforcing ausprobiert, aber nach drei Tagen des auslasten genau eines CPU-Kerns auf meinem Server und keinem Fortschritt nach Maschine 10 wurde ich auf die Lösung über Z3 (ein SMT-Solver), welcher ein Gauss-Löser für das Gleichungssystem implementiert. Ich implementierte so einen Gauss-Löser ohne Z3 einbinden zu müssen, damit konnte ich nach wirklich einiger Arbeit und gigantisch viel Debugging eine die Rechenzeit auf 1500 ms herunterbrechen.

Dabei sei gesagt, dass mit etwas mehr Optimierung und tatsächlicher Einbindung von Z3 eine Lösung in mindestens 250 millisekunden auch möglich ist, so in der Lösung von Lukas Kollmer zu finden.

Der zweite Teil von Tag 11 war auch eine Debugging-Challange, die ich erst durch einen Post im AoC 2025 Reddit mir richtig visualisieren und lösen konnte. Dabei hatte ich nicht von Anfang an verstanden, dass es auch Ringschlüsse in dem Aufbau geben kann. Die Lösung war dann auf einmal, wie das so häufig ist, gar nicht mehr so schwer :).