self-verifying

generates self-verifying digital ob3ects

Kompression von Grund auf: LZ77 und Huffman im Browser, mit einer Karte, die zeigt, was jedes Zeichen eines Textes an Bits kostet.

Fachwerk mit wandernder Last: Stabkraefte aus dem Knotengleichgewicht, Einflusslinien, Nullstaebe

Zwei Pendel, ein Bit Unterschied: Lyapunov-Exponent gemessen, Vorhersagehorizont ausgerechnet, Integratoren verglichen

Nim mit beweisbarer Gewinnformel und Tic-Tac-Toe vollstaendig geloest: Minimax, Alpha-Beta und ein Prueflauf, der die Theorie erschoepfend nachrechnet

Das wiederholte Gefangenendilemma: zehn Strategien im Rundenturnier, Rauschen, Evolution - und die Einladungsschwelle gemessen gegen ihre Herleitung

Vier interaktive Blätter über Struktur, die aus lokalen Regeln fällt: Wave Function Collapse, Wellengleichung, Physarum, Lenia. Je eine self-contained HTML-Datei, keine Abhängigkeiten.

Sortiernetze: feste Vergleichsfolgen, die jede Eingabe ordnen - mit dem 0-1-Prinzip gegen alle Anordnungen geprueft und einer Suche, die das bekannte Optimum trifft

Origami als Geometrie: Kawasaki, Maekawa, das Miura-Muster mit einem Freiheitsgrad - und alle Faltungen eines Papierstreifens erschoepfend gezaehlt

Elliptische Kurven zum Anfassen: Punktaddition, Diffie-Hellman und secp256k1 in einer HTML-Datei

Pruefstand fuer Zufallsgeneratoren im Browser: Chi-Quadrat, Korrelation, Gitterfuellung - und ein drehbarer Wuerfel, in dem RANDU als 15 Ebenen sichtbar wird.

Sammelseite: fuenfzehn eigenstaendige Blaetter, je eine HTML-Datei mit eingebautem Prueflauf

Eine kleine Sprache vom Zeichen bis zur laufenden Maschine: Lexer, Pratt-Parser, Bytecode, Stapelmaschine mit Schritt-Debugger

41 Jahre Heiz- und Kuehlgradtage fuer Wien, Graz und Innsbruck aus ERA5-Tagestemperaturen. Eine einzelne HTML-Datei.

Annuitaet, Tilgungsplan und Effektivzins zum Ansehen: Zins gegen Tilgung, Sondertilgung, drei Kreditarten, alles auf den Cent nachgerechnet

IEEE 754 zum Anfassen: Bitfeld, exakte Dezimalentwicklung per BigInt, Abstaende der darstellbaren Zahlen und ein Messgeraet fuer Summationsfehler. Eine einzelne HTML-Datei.

Wahlverfahren nachgerechnet: drei Sieger aus einem Stapel, Condorcet-Zyklus, Alabama-Paradox

Fluessigkeit in Echtzeit: Tinte zum Ruehren, Karmansche Wirbelstrasse, Taylor-Green-Zerfall gegen die Theorie und die Strouhal-Zahl gegen die Literatur

Der Regenbogen aus Strahlengaengen: Brechung, Fresnel, der Winkel als Extremum, Alexanders dunkles Band - und ein Himmel aus 256000 gespurten Strahlen

Minenraeumer mit Brettern, bei denen jeder Zug logisch erzwungen ist - der Loeser wird gegen die erschoepfende Aufzaehlung aller Minenlagen geprueft