Kera | Deterministic Systems Language and Compiler

Agent za kodiranje i asistencija operatera. Demo metrike su ilustrativne.

Terminal, pretraga, lint, test, git i više.

Specijalizirani agenti surađuju na različitim područjima.

Svaki korak je zabilježen s vremenskim oznakama.

Pravila, provjere i testovi uvijek se izvode.

Pregledajte razlike, zatražite izmjene, konačno odobrenje.

Reproducirajte bilo koju sesiju bit po bit kada nešto treba pregled.

Pročitaj retry.ts, pronađen bug s vremenskim ograničenjem

Izdvoj zaštitu + ograniči ponovne pokušaje

Autonomni agenti koji pišu kod i vode evidenciju

za rukovanje mrežnim vremenskim ograničenjima, 5xx odgovorima i uvjetima sigurnim za idempotentnost. Čisti pomoćnik, potpuno jedinično testiran.

jedan promijenjeni čvor ponovno ključira samo svoje pogođeno porijeklo

skromni jednoznamenkasti dobici na nekim bitovnim putanjama

jasni srednji dobici na zbrajanjima i aktivacijama

snažni veliki dobici na nekoliko matričnih i vektorskih putanja

ćelije s razinom pariteta ostaju vidljive, ne brišu se

što postaje moguće kada značenje preživi

množenje matrica ulazi s deset poznatih činjenica

svaka konvencionalna faza spuštanja odbacuje nekoliko karata

Core Native radi na Rust-izvornom izvođenju

Core na Keri otkriva slojeve grafa i kompajlera

Izvorna traka nije napravljena da izgleda pokvareno

jedan čvor otkaže i obnovi se iz kontrolne točke

nedeklarirani rub mreže blokiran je tijekom planiranja

površina se odobrava prije nego što se pokrene

svaka granica nosi izričite mogućnosti i kontrole operatera

Nema izravnog pristupa Keri u upravljanom Fabricu

Isti semantički graf emitira se unutar granice koju odaberete.

uklonjena tri međukoraka, spojene dvije regije, jedna vrijednost zadržana na uređaju

traka uštede broji pokretanja, dodjele, prijenose i uklonjene bajtove

svaki toranj nosi pečat objave s okvirom, bez izmišljenog hardvera

oznake operacija nestaju u svakoj IR fazi

oznake preživljavaju do ciljnog strojnog koda

otvoreni prateći projekti nalaze se izvan komercijalne granice

konvencionalna traka kopira preko šest memorijskih prostora

Kera lanac od jednog vlasnika od grafa do stroja

granica vanjskog upravljačkog programa ostaje na rubu

svojstva se propagiraju samo kroz stvarno licenciranu traku

spoznaja, organizacije, znanje, računanje

AI operacije, treniranje, inferencija, posluživanje

svaki plan vodi natrag na isti hash grafa

ista kartica posla opremljena je različitim planom za svaki

suverenost ovisi o cijeloj postavi, ne samo o geografiji

korisnik vidi dogovorenu Fabric mogućnost iznad

upravljani Fabric na javnom Dweve Mesh; bez izravnog pristupa Kera

Fabric na javnom Mesh unutar svoje ugovorene granice obrade

neki koraci izvode se mnogo brže od uobičajenog puta

nekoliko slučajeva trenutno je slične brzine

jedan zadatak prolazi dug cik-cak kroz okvire za prijevod

Kera put ostaje jedan jasan plan od posla do stroja

softver ne bi trebao ići zaobilaznim putem

radna kartica nosi vlastiti otisak prsta

promijenjeni korak stvara novi otisak prsta

zabilježeno je koji je strojni plan odabran

paketi prolaze kroz sedam prostorija na uobičajen način

informacije ostaju blizu mjesta gdje su potrebne

uklonite ono što nikada nije bilo potrebno

izvanmrežni sustav može odbiti mrežni pristup

bez skrivenog pristupa koji se pojavljuje kasnije

vanjski hardver i operativni sustavi nalaze se na rubu

recept koji prolazi kroz ljude gubi svoju svrhu

kuhinja i dalje može donositi razumne odluke

ništa se ne rastavlja na labave dijelove

ne generička verzija prilagođena na kraju

koraci koji se uklapaju obrađuju se kao jedan

bez radnih bilješki koje se koriste jednom

manje kašnjenja i manja potrošnja energije

njegova vlastita brza putanja uvijek je tu

strog zadatak daje isti obrazac svaki put

zasijan zadatak ponavlja jednu varijaciju

kreativan zadatak omogućuje različite obrasce

površina aplikacije ostaje prijateljska i jednostavna

presjek otkriva Kera plan i strojni rad ispod

nema Kera kontrola u uobičajenoj upotrebi

narančaste ćelije označavaju izmjerene pobjede

obrubne ćelije označavaju analizu na čekanju

provjerite koje činjenice su proizvele razliku

nepoznate ćelije paketa ostaju ocrtane dok pakiranje nije konačno

gdje Kera nije prisutna, Core ostaje izvorno Rust

strogo popravlja aritmetiku i redoslijed

kreativno dopušta namjeravanu varijaciju

LLVM traka jednostavno je odsutna, nije teatralno prekrižena

Nema faze LLVM IR-a u središtu. Svaki korak zadržava dostupnu semantiku grafa i operacija.

odabrani put zapisuje se u evidenciju izvođenja

prstenasti all-reduce povezuje particije

jedan čvor otkaže i vraća se iz kontrolne točke

efektni čvorovi prolaze kroz kapacitetna vrata

neprijavljena sposobnost odbija verifikator

separate regions with materialised intermediates

svaka traka nosi točan čip opsega testa, bez izmišljenog hardvera

rezultati se razlikuju ovisno o hardveru, objavljeno s okvirom

svako emitiranje koristi različitu širinu vektora

iskreno o podršci po ciljnoj arhitekturi

novi hashovi šire se samo kroz nadređene čvorove na koje utječe

nepromijenjeni podgrafovi zadržavaju svoj identitet

token prelazi prostor domaćina, uređaja i udaljenog prostora

planer zadržava vrijednost tamo gdje joj je mjesto

generički rasponi života bez konteksta operacije

rasponi života oblikovani kontekstom grafa

odmotavanje, širina vektora i prelijevanje odabrani iz operacije

svaki cilj nosi vlastiti emitirani artefakt

provjeri, izgradi, pregledaj, planiraj, pokreni, provjeri

preglednik grafa prikazuje tipove i učinke

ne prikazuje se izmišljeni izlaz mjerenja

određuje veličinu međuspremnika i širinu vektora

smješta vrijednost na domaćina ili uređaj

ograničava životni vijek i ponovnu upotrebu

zajednički uzrok je zadržana semantička informacija

Kera održava operacije, učinke, vlasništvo i kretanje vidljivima od izvornog grafa do izvršenja na ciljnom sustavu. Pročitajte arhitekturu, pregledajte graf IR ili nam donesite proizvodni put koji je već optimiziran kroz LLVM.

Prstenasti allreduce, oporavak kontrolnih točaka

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

Kera je statički tipizirani sustavski jezik s graf-native, sadržajno adresiranim IR-om. Kompajlira programe u .keg datoteke, usmjerene acikličke grafove operacija, i izvršava ih na CPU-u, GPU-u, FPGA-u i WASM-u. Kera koristi prilagođeno generiranje koda za x86-64, ARM64 i RISC-V umjesto LLVM-a, s alokacijom registara i odabirom SIMD jezgri. Sporedni učinci se prate, a vlasništvo u stilu Rust-a obuhvaća host, uređaj, piniranu i jedinstvenu memoriju. Projekt je Rust radni prostor s distribuiranim izvršavanjem, sigurnošću temeljenom na mogućnostima i LSP alatima.

Donesite operaciju, oblike, cilj, zastavice i zahtjeve determinizma koje koristite u proizvodnji. Usporedit ćemo generirani put i pokazati gdje zadržavanje grafa mijenja rezultat.

Jedan graf. Izvršenje planirano za cilj.

Kera kombinira graf-native sustavski jezik, sadržajno adresirani IR, kompajler, JIT i heterogeni sustav izvršavanja. Zadržava tipove, učinke, vlasništvo, podatkovni tok, memorijske prostore i politiku izvršavanja vidljivima dok priprema planove specifične za cilj za podržane CPU, GPU, FPGA i WebAssembly putove. LLVM nije u središtu lanca kompajliranja.

Kera se zasebno naplaćuje za licencirane implementacije. Razgovarajte s nama o portfelju ciljeva, izoliranom radu i zasebno odabranim pravima na izvorni kod, pregled ili prijenos tehnologije.

Izračun zadržava svoj identitet do stroja.

Izvorni strojni kod putem prilagođenog JIT kompajlera

Dweve AI inferencija i simulacijska opterećenja

Programski jezik za dosljedno, brzo računanje

Softver često prolazi kroz toliko slojeva prevođenja da računalo više ne vidi posao kao cjelinu. Kera zadržava izračun organiziran kao jedan graf, a zatim priprema plan izvršenja za stroj koji obavlja posao. To može ukloniti nepotrebne korake, smanjiti kretanje i ostaviti jasniji zapis onoga što se stvarno izvršilo.

Dweve Kera je graf-nativni sustavski jezik i kompajler za determinističko računanje na heterogenom hardveru. Njegova statički tipizirana, sadržajno adresirana međupredstava održava operaciju vidljivom kroz planiranje, a zatim emitira izvršenje za CPU, GPU, FPGA i WebAssembly. Graf ostaje program.

Generički kompajler mora služiti svakoj vrsti softvera. Njegova širina ograničava koliko duboko može razumjeti specijaliziranu operaciju nakon što ju je frontend spustio u petlje, pokazivače i generičku aritmetiku, a nijedna kasnija faza ne može vratiti ono što je to spuštanje uklonilo.

Identitet operacije, algoritmi, namjera pakiranja, očekivani oblici, determinizam i vlasništvo nad memorijom mogu se raspršiti po alatima prije konačne optimizacije. Cijena je svaki koristan izbor koji postaje nemoguć nakon što računanje zaboravi što je bilo.

Množenje matrica postaje anonimne petlje.

Očekivani oblici tenzora i vektora nestaju.

Akumulator i namjera pakiranja su nestali.

Pravila memorije domaćina i uređaja otpadaju.

Kera zadržava te činjenice vezane uz operaciju.

Kera predstavlja računanje kao tipizirani graf. Operacija ostaje operacija umjesto da prerano postane anonimni niskorazinski kod. Njeni ulazi, izlazi, oblici, učinci, vlasništvo, memorijski prostori i politika izvršenja ostaju vezani uz nju.