Diese Seite ist eine Übersetzung. Maßgeblich ist die englische Fassung: English

Live-Beispiele

Sehen Sie einem Schwarm bei der Arbeit zu, in jedem Profil

Jedes Beispiel ist ein echter HypSwarm-Lauf auf einem echten Protokoll: Plätze nehmen Arbeitsaufträge aus dem Protokoll, schreiben Ergebnisse und Behauptungen über es, werden bei Überbehauptungen abgelehnt und geprüft, bevor irgendetwas zählt. Öffnen Sie eines, und es wird ab dem ersten Ereignis abgespielt — laufende Modell- und Werkzeugaufrufe, der wachsende Graph, das sich klärende Board. Erkunden Sie dann seine Phasen, seinen Graphen, seine Belege und seinen Bericht.

Wissenschaft · Facts from the record

Does A beat B

Zwei Analysten und ein Kritiker stellen eine Evaluationsbehauptung auf die Probe. Das Instrument führt jeden Wert vor jeder Prüfung erneut aus, und der Bericht wird gegen das Protokoll geprüft.

Plätze
analyst, stats, critic, lead
Lauf
14 Modellaufrufe · 14 Werkzeugaufrufe · 12 s · geklärt
Protokoll
80 Ereignisse · 29 Knoten · keine Ablehnungen
Beim Laufen zusehen
Software · Change report

Importer keeps quoted commas

Tests zählen nur, wenn das Instrument sie ausführt. Ein „besteht“ eines Testers, geschrieben vor diesem Lauf, wird abgelehnt, neu gemacht und angenommen, sobald der Laborlauf eintrifft.

Plätze
implementer, tester, reviewer, lead
Lauf
16 Modellaufrufe · 14 Werkzeugaufrufe · 16 s · geklärt
Protokoll
81 Ereignisse · 28 Knoten · 1 Schreibvorgang abgelehnt und dann neu geschrieben
Beim Laufen zusehen
Trading · Desk note

Mean reversion after a 3 % five-day drop

Ein Backtest auf einem zurückgehaltenen Zeitfenster, mit Gebühren und Slippage. Ein Ergebnis ohne Kosten wird abgelehnt, bevor es zur These werden kann.

Plätze
quant, risk, lead
Lauf
14 Modellaufrufe · 13 Werkzeugaufrufe · 16 s · geklärt
Protokoll
56 Ereignisse · 21 Knoten · 1 Schreibvorgang abgelehnt und dann neu geschrieben
BACKTEST_WITHOUT_COSTS
Beim Laufen zusehen
Wissen · Sourced brief

Three facts, sourced

Drei Fakten, jeder mit einem Quellknoten und einer Behauptung, die ihn zitiert. Eine Behauptung ohne etwas dahinter wird abgelehnt.

Plätze
researcher, fact_checker, lead
Lauf
26 Modellaufrufe · 23 Werkzeugaufrufe · 27 s · geklärt
Protokoll
84 Ereignisse · 29 Knoten · 3 Schreibvorgänge abgelehnt und dann neu geschrieben
EVIDENCE_MISSING
Beim Laufen zusehen
Optimierung · Solution report

Assign six customers to three depots at minimum cost

Zielwert, Zulässigkeit und eine Lücke. Ein Zielwert ohne Zulässigkeitsprüfung wird abgelehnt, und „optimal“ braucht eine Schranke, die ihn erreicht.

Plätze
modeller, solver, verifier, lead
Lauf
14 Modellaufrufe · 13 Werkzeugaufrufe · 19 s · geklärt
Protokoll
59 Ereignisse · 21 Knoten · 1 Schreibvorgang abgelehnt und dann neu geschrieben
OBJECTIVE_WITHOUT_FEASIBILITY
Beim Laufen zusehen
Verknüpfte Protokolle

London's water, 1854–1866: did the finding hold?

Drei Protokolle, jedes mit eigener Kette und eigenem Gremium, verbunden durch fixierte Referenzen. Eine Synthese fixiert Behauptungen aus zwei anderen Protokollen, und eines davon fixiert das dritte – so zeichnet der Graph alle drei zusammen, jedes für sich verifiziert.

Protokolle
3 Bundles · 102 Ereignisse · 44 Knoten
Referenzen
4 fixierte Referenzen, jede gegen das Protokoll geprüft, das sie nennt
Zusammen ansehen

Die Läufe nutzen die geskripteten Modelle von HypSwarm, kosten also nichts und laufen jedes Mal gleich ab; führen Sie einen mit einem echten Modell mit python run.py --model <id> aus. Bauen Sie diese Seiten mit dev/site_examples.py neu. Jedes Bundle verifiziert sich für sich: verifizieren Sie eines.