Über Problem Forge

Was wir gemacht haben

Ganz nüchtern beschrieben, was es hier gibt: Jeder Monat bringt zwölf neue Exemplare von zehn klassischen Problemen. Dazu gibt es ein Problem des Monats (dessen Schwierigkeit wild schwanken wird) mit weiteren zwölf Exemplaren. Die übliche Rangliste gibt es als Ansporn, und alles ist mit Standardwerkzeugen lösbar (wenn man genug Zeit hat). Das heißt: Alle gewerteten Probleme haben garantiert Lösungen. Außerdem gibt es ein oder mehrere Prämienprobleme – ein Preis, meist ein sehr bescheidenes Honorar, geht an die erste berechtigte Person (oder das erste Team), die zu einem davon eine richtige Lösung sendet.

Es wurde außerordentlich viel Mühe aufgewendet, um den unausgesprochenen Wettbewerb so fair wie möglich zu machen.

Lösungen sind kodiert; nichts hier verlangt, dass jemand Code hochlädt oder erklärt, wie er auf seine Antworten gekommen ist. Genauso haben wir außerordentlich sorgfältig verborgen, wie wir hinter den Kulissen alles gemacht haben. Jeder kann selbst entscheiden, was er ausprobieren will und wie er vorgehen will. Die Registrierung ist kostenlos – allerdings behalten wir uns vor, Gebühren für jede Nutzung zu verlangen, die über reine Freizeitzwecke hinausgeht. Wir zeigen keine Werbung und verkaufen keine Daten. Was genau wir über die Teilnehmer speichern, warum und wie lange, steht in den Datenschutzhinweisen. (Kurz zusammengefasst: Wir speichern so wenig wie möglich.)

Warum wir es gemacht haben

Es gibt ein Sprichwort: Große Lehrer lehren nicht, sie motivieren. Diese Challenge-Website wurde von vielen großartigen Lern-Websites inspiriert, die Übungen anbieten, mit denen man in Programmiersprachen, Datenstrukturen und Algorithmen sicherer wird. Die sind spitze. Die gesamte Sammlung an Rätseln, Kniffen und Herausforderungen, die online verfügbar ist, ist über Jahrzehnte gewachsen. Das meiste davon haben Freiwillige mit viel Liebe gestaltet. Natürlich sind sich Profis nicht immer einig, was solche Rätsel im Vergleich zu den Fähigkeiten wert sind, die sie jeden Tag einsetzen; trotzdem entsprach eine Auswahl dieser atomaren Herausforderungen eine Zeit lang typischen Fragen aus Vorstellungsgesprächen bei Firmen wie Alphabet, Amazon, Apple, ... (Die vollständige Liste enthält vielleicht auch das eine oder andere seltene Unternehmen, das nicht mit dem Buchstaben A anfängt.)

Diese Websites haben Profis definitiv geholfen, den Einstieg zu finden, voranzukommen und sich einen Vorsprung zu verschaffen.

Wenn es nicht um Bildung oder Geld geht, kann es um künstlerisches Können gehen. Nicht jeder nutzt diese Angebote auf dieselbe Weise, doch das Streben nach einer eleganten Lösung wird meist zu einem festen Bestandteil des Spiels.

Übrigens: Die unausgesprochenen Wettbewerbe sind definitiv Spiele. Das heißt Spaß. Loslassen. Vielleicht Übermut oder Laune. Für alle, die so denken wie wir, liegt eine gewisse Freude darin, herauszufinden, wie man ein Problem formuliert, dessen Antwort eine Huffman-Kodierung ist, ohne offensichtlich zu machen, dass eine Huffman-Kodierung die Antwort ist.

Hoffentlich liegt noch mehr Freude darin, solche Knoten und Kniffe zu entwirren.

In gewisser Weise ist die Erklärung, warum es diese Website gibt, genau so einfach: Wir lieben dieses Zeug. Alles davon. Da Problemlösen zur Unterhaltung eher eine Nische ist, erwarten wir in diesem Punkt keinen Konsens. Kurz gesagt erwarten wir aber eine widerwillige, vorläufige Zustimmung zu den folgenden vagen Behauptungen: Diese Websites sind immer noch sehr wertvoll (zumindest für einige von uns); viele Teilnehmer profitieren immer noch von dem, was sie bieten; und bis vor sehr kurzer Zeit haben die Wettbewerbsaspekte bestimmter anderer Websites viele regelmäßig motiviert, sich neue Fähigkeiten anzueignen.

Hier ist eine Metapher, über die du eine Weile nachdenken kannst: Wenn jemand mit einem Sportwagen beim örtlichen Leichtathletikverein auftaucht und alle lokalen Rekorde pulverisiert, ist das für die Athleten schon ein bisschen entmutigend. Vielleicht gibt es einen erkennbaren Unterschied zwischen dem Besitz eines Ferrari und jahrelangem Training für Marathons. Wie auch immer, es gibt noch eine mögliche Antwort: Vielleicht haben wir diese Arena geschaffen, weil Sportwagen-Fans eine andere Art von Wettbewerb brauchen. (Denk vielleicht an die Rallye Dakar, nicht an Runden auf einer gepflegten Formula-One-Strecke.)

Wenn die Metapher bei dir nicht so recht zündet: Der unglückliche gesellschaftliche Wandel, über den wir hier reden müssen, dreht sich um eine winzige Verschiebung in der Wahrnehmung des Wortes motivieren. Milde gesagt hat die weite (und wachsende) Verbreitung von LLMs die Landschaft in diesem Bereich ein wenig verschoben. Jedenfalls ist das wohl die mildeste Darstellung einiger der Kontroversen um LLMs (und um den ganzen Hype und das ganze Aufgeblasene drumherum), die wir hinbekommen. Vielleicht besteht anderswo die richtige Antwort auf all diesen Lärm und dieses Drama in einem langen, streitlustigen Essay, den man in den Wind der sozialen Medien wirft.

So läuft das hier einfach nicht; stattdessen haben wir ein Spiel entworfen.

(Ja, „wer nur einen Hammer hat, ...“ Berechtigte Kritik. Dazu stehen wir.)

Du kannst die Ressourcen hier nutzen, um LLMs im Wettbewerb zu bewerten.

Du kannst die Ressourcen hier nutzen, um Prompting-Fähigkeiten im Wettbewerb zu bewerten.

Wenn dir danach ist, bist du herzlich eingeladen zu zeigen, was Menschen ohne LLMs schaffen.

Rechtlicher Hinweis: Dies ist individuelles Benchmarking, das nur zur Unterhaltung angeboten wird. Formales Benchmarking für andere Zwecke wird vielleicht künftig angeboten, ist aber während des Betatests ausdrücklich unerwünscht.

Was dich zur Teilnahme motivieren könnte

Wir haben keine Ahnung, was dich persönlich motiviert. Die Welt ist groß und beherbergt viele Menschen mit unterschiedlichen Gedanken. In der Soße der Argumente sind Klümpchen, und das Ganze ist sehr unordentlich. Laut einem befreundeten politischen Ökonomen neigen Meinungen dazu, sich zu polarisieren und sich an Preispunkten auszurichten. Die eine Seite will, dass die Preise steigen; die andere will, dass sie fallen. (Wir haben diese Erklärung auch nicht ganz verstanden.) Jedenfalls brachte uns das auf den Gedanken, Schiedsrichter in einem größeren Tauziehen zu sein, und dabei kam Folgendes heraus:

Wenn du in Sachen KI etwas zu beweisen hast, ist das hier vielleicht der richtige Ort dafür.

Wir könnten ein wenig über die Teams spekulieren, die sich gerade bilden. Vielleicht glaubst du, dass Menschen bald nie wieder eine Programmiersprache anfassen müssen. Vielleicht steht eine Beleidigung à la „Mein LLM ist besser als dein LLM“ im Raum, die nach einer Antwort verlangt, und du willst dir einen Platz für das Duell leihen.

Oder vielleicht siehst du Prompting als Fähigkeit oder hältst es einfach für eine andere Form des Programmierens. Vielleicht denkst du, dass die erfolgreichen Ingenieure von morgen lernen müssen, die neuen Werkzeuge wirksam einzusetzen.

Nicht wenige Leute meinen, die Menschheit müsse all den schrecklichen Veränderungen den Stecker ziehen, solange wir es noch können. Fairerweise muss man sagen: Viele Szenarien, die im letzten Jahrhundert in Literatur und Film durchgespielt wurden, enden tatsächlich mit Robotern an der Macht (oder knapp besiegt von cleveren Menschen). Also wollen vielleicht, ganz vielleicht, einige von euch diese Schlacht schon früh proben und ihre Strategien ordnen. Apropos: Ein Programm von Hand zu schreiben, das ein von KI erzeugtes Artefakt übertrifft, ist vielleicht so schwierig, wie du denkst, vielleicht auch nicht. (Die schwierigere Aufgabe könnte sein, deine Forschung und deinen Code aus den riesigen Ansaugventilen der großen Plagiatsmaschine herauszuhalten.) Oder es ist alles ganz einfach: Du willst ein paar übrige Tokens aufbrauchen, für die du schon Geld ausgegeben hast. Schließlich gibt es da noch die Prämien. (Auch unser befreundeter politischer Ökonom hat das angemerkt: „Geld ist gut; man kann es gegen Waren und Dienstleistungen eintauschen.“ Unsere wohlüberlegte Antwort ganz am Ende eines langen Gesprächs über Geld: „Stimmt, Lottoscheine sind die bessere Wette, aber wo bleibt da der Spaß?“)

Wir könnten endlos über all diese Sichtweisen reden. Lass uns stattdessen ein paar harte Daten sammeln.

Was jemanden motivieren könnte, mehr zu tun

Noch mehr vages Gerede darüber, dass wir keine Gedanken lesen können. Wenn Problemlösen zur Unterhaltung schon eher eine Nische ist, dann ist das Stellen von Problemen zur Unterhaltung eine Nische in der Nische. Jeden Monat brauchen wir neues Material für das Problem des Monats. Wie bei jedem neuen Projekt brauchen wir auch bei kleineren Dingen Hilfe. Ganz oben auf dieser Liste stehen genaue Übersetzungen. Wir suchen keine Freiwilligen, aber wenn du Interesse hast, haben wir auch Interesse. Schick uns einfach eine E-Mail, dann machen wir einen Termin für ein Gespräch aus.

Leider solltest du uns niemals Ideen schicken. Aus rechtlichen Gründen. Alles, was uns geschickt wird, gilt stillschweigend als an uns freigegeben. Lass es einfach. Auf einer anderen Ebene wird der Plan für die künftige Entwicklung der Website neue Wege eröffnen. Es wird eine Möglichkeit geben, schwierige Probleme zu veröffentlichen und Prämien auszuschreiben. Wenn du herausfindest, was hier wirklich vor sich geht, siehst du vielleicht viele Gründe weit jenseits reiner Unterhaltung, Rätsel zu erstellen, die andere lösen sollen.

Und schließlich: Donuts bekommt man nicht im Baumarkt. Wir verdienen offensichtlich kein Geld. Also versuch bitte gar nicht erst, uns übers Ohr zu hauen.

Wer die Website betreibt

Problem Forge wird von Problem Forge, LLC betrieben. Das ist unser Zirkus, und das sind unsere Affen.

Kontakt: admin@problemforge.com.

Übrigens: Das Prüfprogramm ist Open Source (MIT). Problemdateien und Antworten sind gemeinfrei (CC0). Der Rest der Website ist urheberrechtlich geschützt.

Danksagung

Das Logo ist ein Amboss. Gerald G hat ihn gezeichnet und zuerst auf Openclipart geteilt. Wir haben ihn aus der Datei „Anvil, labelled en.svg“ auf Wikimedia Commons genommen, wo Andy Dingley Beschriftungen ergänzt hat. Die Startseite zeigt ihn mit den Beschriftungen, übersetzt. Das kleine Logo lässt sie weg und ist zugeschnitten. Der Urheber hat die Zeichnung unter CC0 1.0 Universal gemeinfrei gemacht. Eine Nennung ist nicht nötig, aber wir nennen ihn trotzdem und sagen danke.

Die Leiterzeichnungen neben den Sprossen jedes Problems beruhen auf einer Originalzeichnung von Esme Susan Van Wieren, © 2015, und wurden mit ihrer Erlaubnis bearbeitet.

Unterstützung

Problem Forge wird von seinen Spielern und Sponsoren unterstützt. Siehe Mit Unterstützung von.

Verwirrt?

Neu hier? Lies Erste Schritte. Weiteren Lesestoff zu den klassischen Problemen findest du unter Literatur. Du denkst daran, KI zu nutzen? Lies Über den Einsatz von KI.