Kera | Deterministic Systems Language and Compiler

Asistent pro kódování a provoz. Demo metriky jsou ilustrativní.

Terminál, vyhledávání, lint, testy, git a další.

Pamatuje si vaši kódovou základnu a kontext týmu.

Specializovaní agenti spolupracují napříč oblastmi.

Každý krok je zaznamenán s časovým razítkem.

Pravidla, kontroly a testy se vždy spouští.

Prohlédněte si diffy, vyžádejte změny, finální podpis.

Přehrát jakoukoli relaci bit po bitu, když je třeba něco zkontrolovat.

Přečíst retry.ts, nalezena chyba s timeoutem

Autonomní agenti, kteří píší kód a vedou záznamy

pro zpracování síťových timeoutů, odpovědí 5xx a idempotentně bezpečných podmínek. Čistá pomocná funkce, plně pokrytá testy.

změněný uzel přegeneruje klíče pouze svého dotčeného předků

skromné jednociferné zisky na některých bitových cestách

jasné střední zisky u sčítání a aktivací

silné velké zisky u několika maticových a vektorových cest

buňky s paritou zůstávají na mapě, nejsou smazány

matricové násobení vstupuje s deseti známými fakty

každá konvenční fáze snižování zahazuje několik karet

Core Native běží na nativním provádění v Rustu

Core na Kera odhaluje vrstvy grafu a kompilátoru

nativní dráha není vytvořena tak, aby vypadala rozbitá

jeden uzel selže a obnoví se z kontrolního bodu

nedeklarovaná hrana sítě je blokována během plánování

každá hranice nese explicitní sadu schopností a ovládací prvky operátora

Žádný přímý přístup ke službě Kera ve spravovaném prostředí Fabric

Stejný sémantický graf je emitován v rámci kterékoliv hranice, kterou si zvolíte.

surový graf spouští každý průchod zvlášť

tři mezivýsledky odebrány, dvě oblasti sloučeny, jedna hodnota ponechána na zařízení

úsporný pruh počítá spuštění, alokace, přenosy a odebrané bajty

každá věž nese pečeť zveřejnění s testovacím prostředím, žádný vymyšlený hardware

popisky operací se v každé fázi IR ztrácejí

popisky přežívají až do cílového strojového kódu

otevřené doprovodné projekty stojí mimo komerční hranici

konvenční pruh kopíruje přes šest paměťových prostorů

řetězec Kera s jedním vlastníkem od grafu ke stroji

hranice externího ovladače zůstává na hraně

vlastnosti se šíří pouze přes lane, který je skutečně licencován

AI operace, trénování, inference, servírování

graf, plánovač, přímá emise, běhové prostředí

každý plán odkazuje na stejný hash grafu

stejná karta práce je přizpůsobena jiným plánem pro každý

suverenita závisí na celém nastavení, ne jen na geografii

uživatel vidí výše dohodnutou schopnost Fabric

spravovaný Fabric na veřejném Dweve Mesh; bez přímého přístupu Kera

Fabric na veřejném Mesh v rámci smluvní hranice zpracování

některé kroky běží mnohem rychleji než obvyklá cesta

několik případů je v současnosti podobně rychlých

jeden úkol prochází dlouhou klikatou cestou překladovými boxy

trasa Kera zůstává jedním jasným plánem od zakázky ke stroji

zaznamenává se, který strojový plán byl vybrán

balíky procházejí sedmi místnostmi obvyklým způsobem

informace zůstávají blízko tam, kde jsou potřeba

offline systém může odmítnout přístup k síti

žádný skrytý přístup se neobjeví později

externí hardware a operační systémy jsou na okraji

kuchyně stále může dělat rozumná rozhodnutí

kroky, které se hodí k sobě, se řeší jako jeden

jeho vlastní rychlá cesta je vždy k dispozici

předvídatelný úkol opakuje jednu variantu

rozhraní aplikace zůstává přátelské a jednoduché

řez odhaluje plán Kera a strojovou práci pod ním

v běžném používání nejsou žádné ovládací prvky Kera

buňky s obrysem označují čekající analýzu

zkontrolujte, která fakta způsobila rozdíl

buňky neznámých balíčků zůstávají neuvedené, dokud není dokončeno sestavení balíčků

uzel operace Core vstupuje do plánu Kery

kde Kera chybí, zůstává Core nativní v Rustu

dráha LLVM prostě chybí, není teatrálně přeškrtnutá

Žádná fáze LLVM IR nestojí uprostřed. Každý krok zachovává sémantiku grafu a operací.

vybraná cesta je zapsána do záznamu o provedení

uzly s efekty procházejí branami schopností

nedeklarovaná schopnost je odmítnuta ověřovatelem

samostatné oblasti s materializovanými mezivýsledky

jedna oblast, hodnoty uchovávané lokálně

graf je uchován napříč všemi pozdějšími fázemi

každá lišta nese přesný čip testovacího rozsahu, žádný vymyšlený hardware

výsledky se liší podle hardwaru, zveřejněno s testovacím rámcem

upřímný ohledně podpory pro jednotlivé cíle

nové hashe se šíří pouze přes ovlivněné předky

nezměněné podgrafy si zachovávají svou identitu

token přechází mezi hostitelským, zařízením a vzdálenými prostory

obecné živé intervaly bez kontextu operace

živé intervaly tvarované kontextem grafu

rozbalení, šířka vektorů a spill vybrané z operace

každý cíl nese svůj vlastní vygenerovaný artefakt

zkontrolovat, sestavit, prozkoumat, naplánovat, spustit, ověřit

žádný vymyšlený výstup benchmarku se nezobrazuje

umísťuje hodnotu na hostiteli nebo zařízení

společnou příčinou je zachovaná sémantická informace

Kera udržuje operace, efekty, vlastnictví a pohyb viditelné od zdrojového grafu až po cílové provedení. Přečtěte si o architektuře, prozkoumejte graf IR, nebo nám přineste produkční cestu, která již byla optimalizována přes LLVM.

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

Kera je staticky typovaný systémový jazyk s grafově nativním, obsahově adresovaným IR. Kompiluje programy do souborů .keg, orientovaných acyklických grafů operací, a spouští je na CPU, GPU, FPGA a WASM. Kera používá vlastní generování kódu pro x86-64, ARM64 a RISC-V místo LLVM, s alokací registrů a výběrem SIMD jader. Vedlejší efekty jsou sledovány a vlastnictví ve stylu Rustu pokrývá hostitelskou, zařízení, připnutou a jednotnou paměť. Projekt je Rust workspace s distribuovaným prováděním, bezpečností založenou na schopnostech a nástroji LSP.

Přineste operaci, tvary, cíl, příznaky a požadavky na determinismus, které používáte v produkci. Porovnáme emitovanou cestu a ukážeme, kde zachování grafu mění výsledek.

Jeden graf. Provádění naplánované pro cíl.

Kera kombinuje grafově nativní systémový jazyk, obsahově adresovaný IR, kompilátor, JIT a heterogenní prováděcí systém. Udržuje typy, efekty, vlastnictví, datové toky, paměťové prostory a politiku provádění viditelné, přičemž vytváří plány specifické pro cíl pro podporované cesty CPU, GPU, FPGA a WebAssembly. LLVM není středem kompilačního řetězce.

Kera je cenově oddělena pro licencovaná nasazení. Mluvte s námi o portfoliu cílů, izolovaném provozu a jakýchkoli samostatně zvolených právech na zdroj, revizi nebo přenos technologií.

Výpočet si zachovává svou identitu až k stroji.

Nativní strojový kód prostřednictvím vlastního JIT kompilátoru

Pracovní zátěže AI inference a simulací Dweve

Programovací jazyk pro konzistentní a rychlý výpočet

Software často prochází tolika překladovými vrstvami, že počítač již nevidí úlohu jako celek. Kera udržuje výpočet organizovaný jako jeden graf a poté připraví plán provádění pro stroj, který práci dělá. To může odstranit zbytečné kroky, snížit pohyb a zanechat jasnější záznam o tom, co skutečně proběhlo.

Dweve Kera je grafově nativní systémový jazyk a kompilátor pro deterministický výpočet na heterogenním hardwaru. Jeho staticky typovaná, obsahově adresovaná mezireprezentace udržuje operaci viditelnou během plánování a poté generuje kód pro CPU, GPU, FPGA a WebAssembly. Graf zůstává programem.

Univerzální kompilátor musí sloužit všem druhům softwaru. Jeho šíře omezuje, jak hluboce může porozumět specializované operaci, jakmile ji frontend převede na smyčky, ukazatele a generickou aritmetiku, a žádná pozdější fáze nemůže obnovit to, co toto převedení odstranilo.

Identita operace, algoritmy, záměr balení, očekávané tvary, determinismus a vlastnictví paměti se mohou rozptýlit mezi nástroji před finální optimalizací. Cena spočívá v každé užitečné volbě, která se stane nemožnou poté, co výpočet zapomene, čím byl.

Násobení matic se stane anonymními smyčkami.

Očekávané tvary tenzorů a vektorů zmizí.

Pravidla paměti hostitele a zařízení padají.

je to pamatování si, k čemu instrukce slouží

Kera udržuje tyto skutečnosti připojené k operaci.

Kera reprezentuje výpočet jako typovaný graf. Operace zůstává operací místo toho, aby se příliš brzy stala anonymním nízkoúrovňovým kódem. Její vstupy, výstupy, tvary, efekty, vlastnictví, paměťové prostory a politika provádění zůstávají k ní připojené.

Uchovaný kontext umožňuje Kerovi vybírat z operace samotné, slučovat související práci napříč grafem a plánovat přesun z deklarovaného vlastnictví. Generický řetězec musí tyto skutečnosti odvozovat z nízkoúrovňových vzorů poté, co jsou ztraceny, což je důvod, proč může stejný zdroj zkompilovat do velmi odlišného chování stroje v závislosti na tom, kolik významu přežilo cestu.

Vektorový logaritmus zůstává vektorovým logaritmem

Deklarovaný profil s pevnou řádovou čárkou je zachován

Zachování významu záleží pouze tehdy, pokud Kera dokáže přeměnit jej na jiný plán.

Konvenční kompilátor často optimalizuje poté, co byl program rozdělen do vrstev, z nichž každou vlastní jiný nástroj. Optimalizuje lokální reprezentaci, kterou obdrží. Kera může naplánovat výpočet jako celý graf před tím, než jej vygeneruje.

Tento širší pohled umožňuje Kerě sloučit operace, odstranit mezivýsledky a přenosy, udržet data v jednom paměťovém prostoru a vybrat cílově specifická jádra. Kera také může zabránit tomu, aby zbytečná práce vůbec vznikla.