Kera | Deterministic Systems Language and Compiler

Agent de codare și asistență pentru operatori. Metricile demonstrative sunt ilustrative.

Terminal, căutare, lint, test, git și altele.

Își amintește contextul bazei de cod și al echipei.

Agenți specializați colaborează pe diferite domenii.

Fiecare pas este înregistrat cu marcaje temporale.

Politicile, verificările și testele rulează întotdeauna.

Revizuiește diffs, solicită modificări, aprobă final.

Redă orice sesiune bit cu bit când ceva necesită revizuire.

Citește retry.ts, a depistat bug-ul de timeout

Agenți autonomi care scriu cod și păstrează dovezi

pentru a gestiona timeout-uri de rețea, răspunsuri 5xx și condiții sigure pentru idempotență. Helper pur, complet testat unitar.

un nod modificat recheie doar ascendența sa afectată

câștiguri modeste de o singură cifră pe unele căi bitwise

câștiguri medii clare pe adunări și activări

câștiguri mari puternice pe mai multe căi matriceale și vectoriale

celulele de paritate rămân vizibile, nu sunt șterse

ce devine posibil când sensul supraviețuiește

o multiplicare de matrice intră cu zece fapte cunoscute

fiecare etapă convențională de reducere elimină mai multe cărți

Core Native rulează pe execuție nativă Rust

Core pe Kera dezvăluie straturile de graf și compilator

banda nativă nu este făcută să pară stricată

un nod eșuează și se restaurează din checkpoint

o margine de rețea nedeclarată este blocată în timpul planificării

suprafața este aprobată înainte de rulare

fiecare limită are capacități și controale de operator explicite

Fără acces direct la Kera în Fabric gestionat

Același graf semantic este emis în orice limită alegeți.

graful brut rulează fiecare trecere separat

trei intermediari eliminați, două regiuni fuzionate, o valoare păstrată pe dispozitiv

o bară de economii numără lansările, alocările, transferurile și octeții eliminați

lucrare care nu trebuie să existe niciodată

fiecare turn poartă un sigiliu de publicare cu harness-ul, fără hardware inventat

etichetele operațiunilor dispar la fiecare etapă IR

etichetele supraviețuiesc până la codul mașină specific țintei

proiectele companion deschise se află în afara graniței comerciale

calea convențională copiază prin șase spații de memorie

un token de proprietate urmează fiecare mișcare

un lanț convențional cu mai mulți proprietari

lanțul Kera cu un singur proprietar, de la graf la mașină

granița driverului extern rămâne la margine

proprietățile se propagă doar prin banda efectiv licențiată

cogniție, organizații, cunoaștere, calcul

operațiuni AI, instruire, inferență, servire

graf, planificator, emitere directă, runtime

fiecare plan trimite înapoi la același hash de graf

mașina primește muncă modelată pentru ea

aceeași fișă de sarcină este adaptată cu un plan diferit pentru fiecare

suveranitatea depinde de configurarea completă, nu doar de geografie

utilizatorul vede mai sus capacitatea Fabric convenită

Fabric gestionat pe Mesh public Dweve; fără acces direct la Kera

Fabric pe Mesh public în cadrul graniței sale de procesare contractate

unii pași rulează mult mai rapid decât ruta obișnuită

câteva cazuri sunt în prezent similare ca viteză

o bară mai scurtă înseamnă mai puțin timp de așteptare

o sarcină face un drum lung și sinuos prin casete de traducere

ruta Kera rămâne un plan clar de la sarcină la mașină

software-ul nu ar trebui să o ia pe drumul cel lung

o etapă modificată creează o nouă amprentă

planul de mașină selectat este înregistrat

coletele trec prin șapte încăperi în mod obișnuit

informațiile rămân aproape de locul unde sunt necesare

elimină ceea ce nu a fost niciodată necesar

mai puține rezultate temporare și deplasări

un sistem offline poate refuza accesul la rețea

salvează rezultatele pe care le poate păstra

Fabric și produsele se află deasupra Core

Kera este inclus acolo unde există licență

traseul mai profund, unde există licență

hardware-ul extern și sistemele de operare se află la margine

o rețetă transmisă din mână în mână își pierde scopul

bucătăria poate face în continuare alegeri sensibile

pașii care se potrivesc sunt tratați ca unul singur

fără muncă de zgârieturi folosită o singură dată

Mai puțină așteptare, mai puțină energie

mai puține întârzieri și consum mai mic de energie

același rezultat susținut de fiecare dată

O singură echipă care răspunde pentru el

propriul său traseu rapid este mereu acolo

traseul mai profund, acolo unde este licențiat

nu este necesară nicio conexiune externă

o sarcină strictă oferă același model de fiecare dată

o sarcină cu variații prestabilite repetă o singură variantă

o sarcină creativă permite modele diferite

nicio modificare accidentală pe alt dispozitiv

interfața aplicației rămâne prietenoasă și simplă

o secțiune decupată dezvăluie planul Kera și munca mașinii de dedesubt

nu există comenzi Kera în utilizarea obișnuită

primești un comportament mai rapid și mai stabil

celulele portocalii marchează câștigurile măsurate

celulele conturate marchează analiza în așteptare

benchmark pe build-ul pe care îl folosești

inspectează ce fapte au produs diferența

dovezile pe care se sprijină afirmațiile

celulele de pachete necunoscute rămân conturate până la finalizarea ambalării

un nod de operațiune Core intră în planul Kera

urmează planificarea, fuziunea și reducerea

unde Kera lipsește, Core rămâne nativ Rust

banda LLVM este pur și simplu absentă, nu tăiată teatral

un singur deținător, de la un cap la altul

Nicio etapă IR LLVM nu se află în centru. Fiecare pas păstrează disponibile semantica grafului și a operațiilor.

calea selectată este scrisă în registrul de execuție

nodurile cu efecte trec prin porțile de capabilități

o capabilitate nedeclarată este respinsă de verificator

ordonarea nu poate fi încălcată în tăcere

regiuni separate cu intermediari materializați

o singură regiune, valori păstrate local

nu doar fluxuri de instrucțiuni mai scurte

graficul este păstrat în toate etapele ulterioare

nu o vizualizare temporară a optimizatorului

multiplicare matriceală Q16.16 și Q31.32

fiecare bară poartă o etichetă exactă de domeniu de testare, fără hardware inventat

rezultatele diferă în funcție de hardware, publicate împreună cu cadrul de testare

fiecare emitere folosește o lățime de vector diferită

transparent în privința suportului per țintă

noile hash-uri se propagă doar prin ascendența afectată

subgrafurile neschimbate își păstrează identitatea

tokenul traversează spațiile host, device și remote

planificatorul păstrează valoarea acolo unde îi este locul

planificatorul are întregul graf în vedere

intervale de viață generice fără contextul operației

intervale de viață modelate de contextul grafului

dezalinierea, lățimea vectorială și spill-urile alese din operație

fiecare țintă își poartă propriul artefact emis

verifică, construiește, inspectează, planifică, rulează, verifică

inspectorul de graf arată tipurile și efectele

nu este afișată nicio ieșire de benchmark fabricată

fiecare câmp alimentează o decizie a planificatorului

fapte pe care planificatorul le are în continuare

dimensionează bufferele și lățimea vectorială

stabilește durata de viață și reutilizarea

cauza comună este informația semantică reținută

Kera menține operațiile, efectele, proprietatea și mișcarea vizibile de la graficul sursă până la execuția pe țintă. Citește arhitectura, inspectează IR-ul graficului sau adu-ne o cale de producție deja optimizată prin LLVM.

Calcul direct. Graficul rămâne programul.

x86-64 (SSE2/AVX2/AVX-512), ARM64 (NEON), RISC-V (Vector)

Kera este un limbaj de sisteme cu tipare statică, cu un IR nativ pe graf, adresat pe conținut. Compilează programe în fișiere .keg, grafuri aciclice direcționate de operații, și le execută pe CPU, GPU, FPGA și WASM. Kera folosește generare de cod personalizată pentru x86-64, ARM64 și RISC-V, nu LLVM, cu alocare de registre și selecție de nuclee SIMD. Efectele secundare sunt urmărite, iar proprietatea în stil Rust acoperă memoria gazdă, de dispozitiv, fixată și unificată. Proiectul este un workspace Rust cu execuție distribuită, securitate bazată pe capabilități și instrumente LSP.

Adu operația, formele, ținta, flagurile și cerințele de determinism pe care le folosești în producție. Vom compara calea emisă și vom arăta unde păstrarea graficului schimbă rezultatul.

Un singur graf. Execuție planificată pentru țintă.

JIT personalizat, fără dependență de LLVM

Kera combină un limbaj de sisteme nativ pe graf, un IR adresat pe conținut, un compilator, un JIT și un sistem de execuție eterogen. Menține tipurile, efectele, proprietatea, fluxul de date, spațiile de memorie și politica de execuție vizibile, producând planuri specifice țintei pentru căile CPU, GPU, FPGA și WebAssembly acceptate. LLVM nu este în centrul lanțului de compilare.

Un singur graf. Un plan pentru fiecare țintă.

Kera este prețuit separat pentru implementările licențiate. Vorbește cu noi despre portofoliul de ținte, operarea izolată și orice drepturi de sursă, revizuire sau transfer de tehnologie selectate separat.

Calculul își păstrează identitatea până la mașină.

Cod mașină nativ printr-un compilator JIT personalizat

Sarcini de inferență și simulare AI Dweve

Limbaj de programare pentru calcul consistent și rapid