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.
Assistenza per agenti di codifica e operatori. Le metriche demo sono illustrative.
Terminale, ricerca, lint, test, git e altro.
Ricorda il tuo codebase e il contesto del team.
Agenti specializzati collaborano su diversi ambiti.
Ogni passaggio è registrato con timestamp.
Politiche, controlli e test vengono sempre eseguiti.
Rivedi le diff, richiedi modifiche, approvazione finale.
Riproduci qualsiasi sessione bit per bit quando qualcosa richiede revisione.
Leggi retry.ts, individuato bug di timeout
Agenti autonomi che scrivono codice e tengono traccia
per gestire timeout di rete, risposte 5xx e condizioni idempotent-safe. Helper puro, completamente testato.
un nodo modificato riassegna solo la sua ascendenza interessata
guadagni modesti a una cifra su alcuni percorsi bitwise
guadagni chiari e medi su addizioni e attivazioni
guadagni forti e ampi su diversi percorsi di matrici e vettori
le celle di parità di livello restano in vista, non eliminate
cosa diventa possibile quando il significato sopravvive
una moltiplicazione di matrici entra con dieci fatti noti
ogni fase di abbassamento convenzionale scarta diverse carte
Core Native esegue su esecuzione nativa Rust
Core su Kera rivela i livelli di grafo e compilatore
il percorso Nativo non è reso per sembrare rotto
un nodo fallisce e ripristina dal checkpoint
un bordo di rete non dichiarato viene bloccato durante la pianificazione
la superficie viene approvata prima di essere eseguita
ogni confine include capacità esplicite e controlli operatore
Nessun accesso diretto a Kera in Fabric gestito
Lo stesso grafo semantico viene emesso all'interno del confine che scegli.
il grafico grezzo esegue ogni passaggio separatamente
tre intermedi rimossi, due regioni fuse, un valore mantenuto sul dispositivo
una barra di risparmio conta avvii, allocazioni, trasferimenti e byte rimossi
ogni torre porta il sigillo di pubblicazione con harness, nessun hardware inventato
le etichette delle operazioni cadono a ogni fase IR
le etichette sopravvivono fino al codice macchina specifico della destinazione
i progetti compagni aperti si trovano al di fuori del confine commerciale
il percorso più profondo è concesso in licenza
la corsia convenzionale copia attraverso sei spazi di memoria
un token di proprietà segue ogni movimento
un trasferimento illegale viene rifiutato
una catena convenzionale a più proprietari
la catena Kera a proprietario singolo da grafo a macchina
il confine del driver esterno rimane al bordo
le proprietà si propagano solo attraverso la corsia effettivamente concessa in licenza
porta il sistema risultante alle persone
cognizione, organizzazioni, conoscenza, calcolo
operazioni AI, training, inferenza, serving
ogni piano rimanda allo stesso hash del grafo
il programma mantiene la propria identità
nulla del compito si perde lungo il percorso
la macchina riceve un lavoro modellato per lei
ciò che il lavoro può toccare è dichiarato
la stessa scheda di lavoro viene adattata con un piano diverso per ciascuna
la sovranità dipende dalla configurazione completa, non solo dalla geografia
l'utente vede sopra la capacità Fabric concordata
Fabric gestito sulla Mesh pubblica di Dweve; nessun accesso diretto a Kera
Fabric sulla Mesh pubblica all'interno del suo confine di elaborazione contrattuale
alcuni passaggi sono molto più veloci del percorso abituale
alcuni casi sono attualmente simili in velocità
una barra più corta significa meno attesa
un'attività fa un lungo zig-zag attraverso le scatole di traduzione
il percorso Kera resta un piano chiaro dal lavoro alla macchina
il software non dovrebbe fare il giro lungo
la macchina riceve il lavoro fatto per lei
la scheda lavoro porta la propria impronta
una fase modificata crea una nuova impronta
viene registrato quale piano macchina è stato selezionato
i pacchi attraversano sette stanze nel modo consueto
le informazioni restano vicine a dove servono
rimuovi ciò che non è mai stato necessario
un sistema offline può rifiutare l'accesso alla rete
nessun accesso nascosto appare in seguito
Fabric e i prodotti si trovano sopra Core
il percorso più profondo, dove concesso in licenza
hardware esterno e sistemi operativi si trovano al limite
una ricetta passata di mano in mano perde il suo scopo
in Kera lo scopo resta legato ai passaggi
la cucina può ancora fare scelte sensate
niente viene sminuzzato in pezzi sciolti
non una versione generica aggiustata alla fine
Una registrazione chiara di cosa è stato eseguito
i passaggi che si incastrano sono gestiti come uno
nessun lavoro provvisorio usato una volta
lo stesso risultato supportato ogni volta
il suo percorso veloce è sempre presente
più veloce, con una registrazione chiara
un compito rigoroso produce sempre lo stesso schema
un compito con seme ripete una variazione
un compito creativo consente schemi diversi
nessuna modifica accidentale su un'altra macchina
la superficie dell'app resta semplice e amichevole
una sezione trasversale rivela il piano Kera e il lavoro della macchina sottostante
non ci sono controlli Kera nell'uso ordinario
ricevi un comportamento più rapido e stabile
le celle arancioni indicano vittorie misurate
le celle con contorno indicano analisi in sospeso
ispeziona quali fatti hanno prodotto la differenza
le celle dei pacchetti sconosciuti restano delineate finché il packaging non è definitivo
un nodo di operazione Core entra nel piano Kera
seguono pianificazione, fusione e abbassamento
dove Kera è assente, Core rimane nativo Rust
il rigoroso corregge aritmetica e ordinamento
creativo consente la variazione prevista
la corsia LLVM è semplicemente assente, non barrata in modo teatrale
Nessuna fase IR LLVM si trova al centro. Ogni passaggio mantiene disponibili la semantica del grafo e delle operazioni.
il percorso selezionato viene scritto nel registro di esecuzione
la ring all-reduce collega le partizioni
un nodo fallisce e viene ripristinato dal checkpoint
i nodi con effetti passano attraverso i gate delle capacità
una capacità non dichiarata viene rifiutata dal verificatore
l'ordinamento non può essere infranto silenziosamente
regioni separate con intermedi materializzati
una regione, valori mantenuti localmente
il grafico è conservato in ogni fase successiva
non una vista temporanea dell'ottimizzatore
ogni barra porta un chip esatto di test-scope, nessun hardware inventato
i risultati variano in base all'hardware, pubblicati con l'harness
il grafico viene ispezionato a ogni passaggio
il percorso ISA selezionato viene registrato
ogni emissione usa una larghezza vettoriale diversa
i nuovi hash si propagano solo attraverso l'antenato interessato
i sottografi invariati mantengono la loro identità
il token attraversa spazi host, dispositivo e remoti
il planner mantiene il valore dove deve stare
il pianificatore ha l'intero grafo in vista
Cronologia dell'allocazione dei registri
intervalli di vita generici senza contesto operativo
intervalli di vita modellati dal contesto del grafo
srotolamento, larghezza vettoriale e spill scelti dall'operazione
un'architettura di ottimizzazione diversa
ogni target porta il proprio artefatto emesso
controlla, compila, ispeziona, pianifica, esegui, verifica
l'ispettore del grafo mostra tipi ed effetti
non viene mostrata alcuna uscita di benchmark inventata
ogni campo alimenta una decisione del pianificatore
sceglie il kernel e il percorso di accuratezza
dimensiona i buffer e la larghezza vettoriale
posiziona il valore su host o dispositivo
definisce l'ambito di vita e il riutilizzo
una vittoria dalla scelta dell'algoritmo
la causa comune è l'informazione semantica conservata
Kera mantiene visibili operazioni, effetti, proprietà e movimento dal grafo sorgente all'esecuzione sul target. Leggi l'architettura, ispeziona l'IR del grafo o portaci un percorso di produzione già ottimizzato tramite LLVM.
Calcolo diretto. Il grafo resta il programma.
x86-64 (SSE2/AVX2/AVX-512), ARM64 (NEON), RISC-V (Vector)
Kera è un linguaggio di sistemi tipizzato staticamente con un IR graph-native e content-addressed. Compila programmi in file .keg, grafi aciclici diretti di operazioni, e li esegue su CPU, GPU, FPGA e WASM. Kera usa generazione di codice personalizzata per x86-64, ARM64 e RISC-V invece di LLVM, con allocazione dei registri e selezione dei kernel SIMD. Gli effetti collaterali sono tracciati e la proprietà in stile Rust copre memoria host, device, pinnata e unificata. Il progetto è un workspace Rust con esecuzione distribuita, sicurezza basata sulle capacità e tooling LSP.
Porta l'operazione, le forme, il target, i flag e i requisiti di determinismo che usi in produzione. Confronteremo il percorso emesso e mostreremo dove mantenere il grafo cambia il risultato.
Un grafo. Esecuzione pianificata per il target.
JIT personalizzato, nessuna dipendenza da LLVM
Kera combina un linguaggio di sistemi graph-native, un IR content-addressed, un compilatore, un JIT e un sistema di esecuzione eterogeneo. Mantiene visibili tipi, effetti, proprietà, dataflow, spazi di memoria e policy di esecuzione, producendo piani specifici per i percorsi CPU, GPU, FPGA e WebAssembly supportati. LLVM non è al centro della catena di compilazione.