RailCast
RailCast fragt seit März 2026 minütlich die Verspätungsmeldungen der Bahn ab und hält fest, welche Auskunft Reisenden wann vorlag.
Von 160.739 Abfahrten, die am Ende mindestens 6 Minuten zu spät waren, meldete die Anzeige eine Stunde vorher erst bei 28 % eine solche Verspätung, bei gut jeder vierten. Fünf Minuten vorher waren es 63 %. Umgekehrt: Meldete die Anzeige eine Stunde vorher mindestens 6 Minuten, war die Abfahrt in neun von zehn Fällen (92 %) am Ende auch mindestens 6 Minuten zu spät. Anzeige heißt hier, was die IRIS-Schnittstelle der Bahn zu dem Zeitpunkt meldete. Zeitraum 08.09.–01.10.2026, Stand 05.10.2026.
4.941.733 erfasste Zughalte seit März 2026, Stand 30.09.2026.
Kombinat
Im Kombinat suchen KI-Agenten unter meiner Leitung nach Rekorden in mathematischen Problemen, deren Lösungen sich exakt nachrechnen lassen; ein Fund zählt erst, wenn ein unabhängig geschriebenes Prüfprogramm ihn bestätigt.
| Eingetragen | Von | Knoten |
|---|---|---|
| 1985 | C. Delorme | 1.215 |
| 13.08.2026 | P. Isufi | 1.224 |
| 25.09.2026 | R. Mizuno | 1.458 |
| 30.09.2026 | R. Rajiv | 1.539 |
| 20.10.2026 | M. McCormick | 1.620 |
Die Tabelle führt für jede Kombination aus Höchstgrad und Durchmesser das größte bekannte Netz. Mein Netz mit 1.224 Knoten löste am 13.08.2026 den Eintrag von 1.215 Knoten aus dem Jahr 1985 ab; seitdem wurde die Zelle dreimal überboten, zuletzt am 20.10.2026 mit 1.620 Knoten. Im August 2026 kamen zehn Zellen unter meinem Namen in die Tabelle, inzwischen sind alle überboten. Stand 24.10.2026.
Preprint auf Zenodo: eine unabhängige Prüfung eines Gegenbeispiels zu einer Vermutung von Goemans über unteilbare Flüsse, doi:10.5281/zenodo.22238190. Der Titel nennt sie die zweite; frühere Prüfungen, die ich übersehen hatte, nennt die Forschungsseite.
In Arbeit: Bestrahlungs-Zertifikate. Exakte Optimalitätsnachweise für die Wahl von Bestrahlungswinkeln in einem Rechenmodell, mit unabhängigem Prüfer.
Agenten-Harnesse
Ein Harness ist das Gerüst aus Regeln, Skripten und Prüfschritten, in dem ein KI-Agent arbeitet. Mit meinen Harnessen verteile ich Aufgaben an mehrere Agenten und lasse ihre Ergebnisse in getrennten Läufen prüfen.
# report.json: tool model effort sandbox label cwd exit seconds session usage log_dir# Exit: Code des Werkzeugs (124 = Zeitlimit), 1 = Aufruffehler, 3 = Tiefensperre# Tiefe: dg_guard setzt AGENT_DELEGATE_DEPTH=1. Ist die Variable schon gesetzt, läuft der# Aufrufer selbst als Arbeiter: Delegation bricht ohne Modellaufruf mit Exit 3 ab.dg_guard() { [[ -z "${AGENT_DELEGATE_DEPTH:-}" ]] || { echo "Fehler: Delegation aus einem Arbeiter heraus ist gesperrt (Tiefe 1)." >&2; exit 3; } export AGENT_DELEGATE_DEPTH=1}Markiert sind die Regel und die Zeile, die sie durchsetzt: Wer schon als beauftragter Agent läuft, bekommt beim Versuch weiterzugeben Exit 3, ohne dass ein Modell aufgerufen wird.
Ich beauftrage Claude, Codex, OpenCode und DeepSeek über dieselbe Schnittstelle, mit Zeitlimit und Protokoll zu jedem Lauf. Ein beauftragter Agent kann darüber keine weiteren Agenten starten. Stand 30.09.2026.
Wer einen Fund macht, prüft ihn nicht selbst: Ein zweiter Lauf schreibt eigenen Prüfcode mit anderer Methode, und mindestens eine absichtlich verfälschte Gegenprobe muss durchfallen. Stand 30.09.2026.
Weitere Arbeiten
IT-Sicherheit
-
Bug-Bounty-Audits
Ich suche in fremder Software nach Sicherheitslücken, in einer eigenen Prüfumgebung mit festem Regelwerk: KI-Agenten gehen den Quelltext durch, und jeder Verdacht wird von einem zweiten, getrennten Lauf gegengeprüft, bevor ich ihn melde.
Gemeldet wird über Bug-Bounty-Programme, in denen Hersteller Hinweise auf Lücken annehmen und teils vergüten; auch bei meinen Meldungen kam das schon vor. Stand 30.09.2026.
Status: läuft
Produkte
-
Puzzlekreis
Eine Tauschbörse für Puzzles, als Web-App und für iOS und Android.
Die Web-App und die iOS-App sind erschienen, die Android-App ist im geschlossenen Test. Stand 24.10.2026.
Status: online
-
AmtsChecker
Ein privates Hilfsangebot, um passende Sozialleistungen zu finden und Anträge vorzubereiten. Schwerpunkt NRW und Wuppertal.
Strukturierte Bedingungen und Ausnahmen, Quellen, Antragswege und eine Oberfläche in sechs Sprachen.
Status: Geschützter Testbetrieb
-
Zoopa PN
Ein Dienst für Nachrichten, die sich nach dem Lesen oder nach einer gewählten Frist selbst löschen.
Die Nachricht wird im Browser verschlüsselt. Der Schlüssel steht nur im Link hinter dem #-Zeichen, und diesen Teil schicken Browser nicht an den Server; dort liegt von der Nachricht nur der verschlüsselte Text. Stand 30.09.2026.
Status: online
-
Geheimauftrag
Ein Partyspiel mit geheimen Missionen, für die Gäste Foto-, Ton- und Videobelege einreichen.
Status: online
Daten
-
Sperrmüll Wuppertal
Eine Karte zeigt, wann in welcher Wuppertaler Straße Sperrmüll abgeholt wird; am Vortag erinnern ein Telegram-Bot oder eine E-Mail.
1.825 Straßen und 442 Abholtermine für 2026 und 2027 aus den Daten der AWG Wuppertal und von OpenStreetMap; 1.822 Straßen sind als Linie eingezeichnet. Stand 30.09.2026.
Status: online
-
Karten aus offenen Daten
Kleine Karten und Auswertungen auf zoopa.org, meist zu Nordrhein-Westfalen.
Status: online
Setup
Meine Dienste laufen auf zwei Rechnern: einem kleinen Rechner zu Hause und einem gemieteten Server für die öffentlich erreichbaren Seiten. Mail und die Seite zoopa.org liegen zusätzlich bei einem Webhoster. Projekte und Dienste sichere ich nach der 3-2-1-Regel, also drei Kopien auf zwei Speichermedien, davon eine außer Haus; andere Bestände sichere ich nur lokal oder bewusst gar nicht. Der Rechner zu Hause ist nicht direkt aus dem Internet erreichbar; der Zugang von außen läuft nur über ein privates Netz. Stand 24.10.2026.
Kontakt
Für verschlüsselte Mail liegt mein OpenPGP-Schlüssel unter pgp-key.txt.