Kera | Deterministic Systems Language and Compiler
Dweve Kera is a graph-native systems language and compiler for deterministic computation across heterogeneous hardware, with content-addressed .keg graphs.
Coding-Agent und Operator-Unterstützung. Demokennzahlen sind illustrativ.
Terminal, Suche, Lint, Test, Git und mehr.
Merkt sich Ihre Codebasis und den Teamkontext.
Spezialisierte Agenten arbeiten fachübergreifend zusammen.
Jeder Schritt wird mit Zeitstempeln aufgezeichnet.
Richtlinien, Prüfungen und Tests laufen immer.
Diffs prüfen, Änderungen anfordern, endgültige Freigabe.
Jede Sitzung bitgenau wiedergeben, wenn etwas überprüft werden muss.
retry.ts lesen, Timeout-Fehler aufgespürt
Guard extrahieren + Wiederholungen begrenzen
Autonome Agenten, die Code schreiben und Belege aufbewahren
zur Behandlung von Netzwerk-Timeouts, 5xx-Antworten und idempotent-sicheren Bedingungen. Reine Hilfsfunktion, vollständig unit-getestet.
Ein geänderter Knoten schlüsselt nur seine betroffene Abstammung neu
bescheidene einstellige Gewinne bei einigen bitweisen Pfaden
deutliche mittlere Gewinne bei Additionen und Aktivierungen
starke große Gewinne bei mehreren Matrix- und Vektor-Pfaden
Paritätszellen bleiben sichtbar, nicht gelöscht
was möglich wird, wenn Bedeutung überlebt
eine Matrixmultiplikation geht mit zehn bekannten Fakten ein
jede herkömmliche Absenkungsstufe verwirft mehrere Karten
Schleifen, Zeiger, Arithmetik bleiben erhalten
die Bedeutung ist bereits verloren gegangen
Core Native läuft auf Rust-nativer Ausführung
Core auf Kera zeigt Graph- und Compiler-Ebenen
die Native-Spur soll nicht kaputt wirken
Der Graph ist über vier Knoten partitioniert
Ein Knoten fällt aus und stellt aus dem Checkpoint wieder her
eine nicht deklarierte Netzwerkkante wird während der Planung blockiert
nichts versteckt sich unter einer Bibliothek
die Oberfläche wird genehmigt, bevor sie ausgeführt wird
Jede Grenze trägt explizite Fähigkeiten und Bedienereinstellungen
Kein direkter Kera-Zugriff in verwaltetem Fabric
Derselbe semantische Graph wird innerhalb der von Ihnen gewählten Grenze ausgegeben.
der Rohgraph führt jeden Durchlauf separat aus
drei Zwischenergebnisse entfernt, zwei Regionen fusioniert, ein Wert auf dem Gerät behalten
eine Sparschiene zählt Starts, Zuweisungen, Übertragungen und entfernte Bytes
jeder Turm trägt ein Veröffentlichungs-mit-Harness-Siegel, keine erfundene Hardware
Operationsbezeichnungen fallen in jeder IR-Stufe weg
Bezeichnungen überleben bis zum zielspezifischen Maschinencode
Offene Begleitprojekte liegen außerhalb der kommerziellen Grenze
die konventionelle Spur kopiert über sechs Speicherbereiche
eine entfernte Übertragung ist schneller
eine illegale Übertragung wird abgelehnt
eine herkömmliche Kette mit mehreren Eigentümern
die Kera-Kette von einem Eigentümer vom Graphen zur Maschine
die Grenze des externen Treibers bleibt an der Kante
Eigenschaften propagieren nur durch die tatsächlich lizenzierte Lane
enthalten, wo die Vereinbarung es verlangt
bringt das resultierende System zu den Menschen
Kognition, Organisationen, Wissen, Rechenleistung
Graph, Planner, direkte Ausgabe, Laufzeit
jeder Plan verlinkt zurück auf denselben Graph-Hash
ein Plan, der für die Maschine gemacht ist
nichts an der Aufgabe geht unterwegs verloren
die Maschine erhält Arbeit, die für sie geformt ist
die exakte Aufgabe trägt einen Fingerabdruck
wird angegeben, was die Arbeit berühren darf
Dieselbe Jobkarte wird für jede Maschine mit einem anderen Plan angepasst
Souveränität hängt vom vollständigen Setup ab, nicht nur von der Geografie
der Benutzer sieht oben die vereinbarte Fabric-Fähigkeit
verwaltetes Fabric auf dem öffentlichen Dweve-Mesh; kein direkter Kera-Zugriff
Fabric auf dem öffentlichen Mesh innerhalb seiner vertraglich festgelegten Verarbeitungsgrenze
Manche Schritte laufen deutlich schneller als der übliche Weg
Einige Fälle sind derzeit ähnlich schnell
Ein kürzerer Balken bedeutet weniger Wartezeit
eine Aufgabe schlängelt sich lang durch Übersetzungsboxen
der Kera-Weg bleibt ein klarer Plan vom Auftrag bis zur Maschine
die Maschine erhält Arbeit, die für sie gemacht ist
die Auftragskarte trägt ihren eigenen Fingerabdruck
ein geänderter Schritt erzeugt einen neuen Fingerabdruck
welcher Maschinenplan ausgewählt wurde, wird festgehalten
Pakete durchlaufen sieben Räume auf die übliche Weise
Informationen bleiben dort, wo sie benötigt werden
ein Offline-System kann den Netzwerkzugriff verweigern
kein versteckter Zugriff erscheint später
Ergebnisse speichern, die es behalten darf
Fabric und die Produkte sitzen über Core
externe Hardware und Betriebssysteme liegen am Rand
nicht die Roadmap eines anderen Unternehmens
Ein Rezept, das durch Menschen geht, verliert seinen Zweck
In Kera bleibt der Zweck an den Schritten hängen
Die Küche kann weiterhin sinnvolle Entscheidungen treffen
Arbeit, die für deine Maschine gemacht ist
keine generische Version, die am Ende angepasst wird
passende Schritte werden als eines behandelt
keine Entwurfsarbeit, die nur einmal verwendet wird
weniger Verzögerungen und geringerer Stromverbrauch
jedes Mal dasselbe unterstützte Ergebnis
der Auftrag erhält seinen eigenen Fingerabdruck
wählen es nie aus oder richten es nicht ein
schneller, mit einer klaren Aufzeichnung
eine strenge Aufgabe ergibt jedes Mal dasselbe Muster
eine festgelegte Aufgabe wiederholt eine Variation
eine kreative Aufgabe erlaubt verschiedene Muster
keine versehentliche Änderung auf einem anderen Gerät
die App-Oberfläche bleibt freundlich und einfach
ein Schnitt zeigt den Kera-Plan und die Maschinenarbeit darunter
es gibt keine Kera-Bedienelemente im normalen Gebrauch
Sie erhalten schnelleres, stabileres Verhalten
orangefarbene Zellen markieren gemessene Gewinne
umrandete Zellen markieren ausstehende Analyse
Benchmarken Sie den Build, den Sie verwenden
Prüfen Sie, welche Fakten den Unterschied verursacht haben
Belege, auf denen die Behauptungen beruhen
Unbekannte Paketzellen bleiben bis zum Abschluss der Paketierung umrissen
ein Core-Operationsknoten tritt in den Kera-Plan ein
Strikter, deterministischer, kreativer Diff
Strikt korrigiert Arithmetik und Reihenfolge
Deterministisch wiederholt Variation pro Seed
Die LLVM-Spur ist schlicht nicht vorhanden, nicht theatralisch durchgestrichen
Keine LLVM-IR-Stufe sitzt in der Mitte. Jeder Schritt hält Graph- und Operationssemantik verfügbar.
der ausgewählte Pfad wird in den Ausführungsdatensatz geschrieben
der tatsächliche Pfad wird aufgezeichnet
Verteilter Graph, eine Wiederherstellung
Ring-All-Reduce verbindet die Partitionen
effektbehaftete Knoten passieren Fähigkeits-Gates
eine nicht deklarierte Fähigkeit wird vom Verifizierer abgelehnt
Reihenfolge kann nicht stillschweigend gebrochen werden
getrennte Regionen mit materialisierten Zwischenergebnissen
Der Graph bleibt über alle späteren Stufen hinweg erhalten
jeder Balken trägt einen exakten Testumfangs-Chip, keine erfundene Hardware
Ergebnisse variieren je nach Hardware, mit dem Harness veröffentlicht
Der Graph wird bei jedem Schritt geprüft
Der ausgewählte ISA-Pfad wird aufgezeichnet
jede Emission nutzt eine andere Vektorbreite
für den tatsächlichen Prozessor emittieren
ehrlich bezüglich der Unterstützung pro Ziel
neue Hashes werden nur durch die betroffene Vorgängerlinie weitergegeben
unveränderte Teilgraphen behalten ihre Identität
das Token wechselt zwischen Host-, Geräte- und Remote-Räumen
der Planer behält den Wert an seinem Platz
Der Planer hat den gesamten Graphen im Blick
generische Lebensbereiche ohne Operationskontext
Lebensbereiche, geformt durch den Graphkontext
Entrollen, Vektorbreite und Spills, gewählt aus der Operation
jedes Ziel trägt sein eigenes emittiertes Artefakt
prüfen, bauen, inspizieren, planen, ausführen, verifizieren
Der Graph-Inspektor zeigt Typen und Effekte
Es wird keine erfundene Benchmark-Ausgabe angezeigt
Kausale Aufschlüsselung, drei Operationen
die gemeinsame Ursache ist erhaltene semantische Information
Kera hält Operationen, Effekte, Eigentum und Bewegung vom Quellgraphen bis zur Zielausführung sichtbar. Lesen Sie die Architektur, untersuchen Sie den Graphen-IR oder bringen Sie uns einen Produktionspfad, der bereits über LLVM optimiert wurde.
Direkte Berechnung. Der Graph bleibt das Programm.
Ring-Allreduce, Checkpoint-Wiederherstellung
x86-64 (SSE2/AVX2/AVX-512), ARM64 (NEON), RISC-V (Vector)
Kera ist eine statisch typisierte Systemsprache mit einem graphentypischen, inhaltsadressierten IR. Es kompiliert Programme zu .keg-Dateien, gerichteten azyklischen Graphen von Operationen, und führt sie auf CPU, GPU, FPGA und WASM aus. Kera verwendet eine eigene Codegenerierung für x86-64, ARM64 und RISC-V statt LLVM, mit Registerallokation und SIMD-Kernelauswahl. Seiteneffekte werden verfolgt, und Rust-artiges Eigentum erstreckt sich über Host-, Geräte-, gepinnten und einheitlichen Speicher. Das Projekt ist ein Rust-Workspace mit verteilter Ausführung, fähigkeitsbasierter Sicherheit und LSP-Tooling.
Bringen Sie die Operation, Formen, Ziel, Flags und Determinismus-Anforderungen mit, die Sie in der Produktion verwenden. Wir vergleichen den erzeugten Pfad und zeigen, wo das Beibehalten des Graphen das Ergebnis verändert.
Ein Graph. Ausführung für das Ziel geplant.
Kera vereint eine graphentypische Systemsprache, einen inhaltsadressierten IR, einen Compiler, einen JIT und ein heterogenes Ausführungssystem. Es hält Typen, Effekte, Eigentum, Datenfluss, Speicherräume und Ausführungsrichtlinie sichtbar und erstellt zielspezifische Pläne für unterstützte CPU-, GPU-, FPGA- und WebAssembly-Pfade. LLVM steht nicht im Zentrum der Compilerkette.