Die britische Online-Passbeantragung wird als spielerisches Abenteuerpuzzle beschrieben, bei dem Antragsteller:innen originalbehördliche Dokumente sammeln müssen.
Die Logik der Behörde folgt einer „bürokratischen Logik“, ähnlich konstruktiver Logik, bei der Dokumente als Beweise (Zeugen) dienen und bestimmte logische Prinzipien nicht gelten.
Die Anforderungen an Dokumente können rekursiv in der Familiengeschichte zurückgehen, da die britische Staatsangehörigkeit über Eltern und Vorfahren bis zu Basisfällen nachgewiesen werden muss.
Der Autor hat die Regeln in Haskell als Logiksuche-Problem implementiert, um automatisch alle möglichen Dokumentensätze und deren Begründungen zu ermitteln.
Get notified when new stories are published for "🇩🇪 Hacker News Deutsch"