self-verifying

generates self-verifying digital ob3ects

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

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

Arena-Spiel in Echtzeit im Browser: ausweichen, schiessen, aufsteigen. Fester Zeitschritt und gesaeter Zufall — derselbe Lauf laesst sich Tick fuer Tick wiederholen und nachrechnen. Eine einzelne HTML-Datei.

Needleman-Wunsch und Smith-Waterman zum Zusehen: Matrix, Rueckweg und der Beweis gegen alle Ausrichtungen

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

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

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.

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

UTF-8 von Hand: wie aus jedem Unicode-Zeichen seine Bytes werden

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

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

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

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

Perkolation: die Schwelle 0,5927 selbst gemessen, und aus der Schaerfe des Uebergangs faellt der kritische Exponent 4/3 heraus

B+-Baum mit gezaehlten Seitenzugriffen: Index gegen vollstaendigen Durchlauf, und wo der Planer irrt

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

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

Jede Weltkarte luegt, nur verschieden: Kartenprojektionen mit gemessener Flaechen- und Winkelverzerrung

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