Kera | Deterministic Systems Language and Compiler

Kodavimo agentas ir operatoriaus pagalba. Demonstraciniai rodikliai yra iliustratyvūs.

Terminalas, paieška, lint, testai, git ir kt.

Prisimena jūsų kodų bazę ir komandos kontekstą.

Specializuoti agentai bendradarbiauja įvairiose srityse.

Kiekvienas veiksmas įrašomas su laiko žymomis.

Politikos, patikros ir testai visada vykdomi.

Peržiūrėkite pakeitimus, prašykite pakeitimų, galutinis patvirtinimas.

Atkurkite bet kurią sesiją bitas po bito, kai reikia peržiūros.

Autonominiai agentai, kurie rašo kodą ir saugo įrašus

kad būtų tvarkomi tinklo laiko limitai, 5xx atsakymai ir idempotentiškai saugios sąlygos. Gryna pagalbinė funkcija, visiškai padengta testais.

vienas pakeistas mazgas iš naujo raktuoja tik savo paveiktą kilmę

kuklūs vienženkliai laimėjimai kai kuriuose bitiniuose keliuose

aiškūs vidutiniai laimėjimai sudėtyse ir aktyvacijose

stiprūs dideli laimėjimai keliose matricos ir vektoriaus takuose

lygiaverčiai langeliai lieka matomi, neištrinami

matricos daugyba įeina su dešimt žinomų faktų

kiekvienas įprastas mažinimo etapas išmeta kelias kortas

Core Native veikia Rust vietiniu vykdymu

Core Kera atskleidžia grafiko ir kompiliatoriaus sluoksnius

Vietinis kelias nėra sukurtas taip, kad atrodytų sugedęs

griežtas režimas sukuria stabilų maišos kodą

režimas su sėkla sukuria po vieną maišos kodą kiekvienai sėklai

vienas mazgas sugenda ir atsistato iš kontrolinio taško

nedeklaruotas tinklo kraštas blokuojamas planavimo metu

kiekviena riba turi aiškias galimybes ir operatoriaus valdiklius

Nėra tiesioginės „Kera“ prieigos valdomame „Fabric“

Tas pats semantinis grafas pateikiamas bet kurioje pasirinktoje riboje.

neapdorotas grafikas kiekvieną eigą vykdo atskirai

pašalinti trys tarpiniai rezultatai, sujungti du regionai, viena reikšmė palikta įrenginyje

taupymo juosta skaičiuoja paleidimus, paskirstymus, perkėlimus ir pašalintus baitus

kiekvienas bokštas turi paskelbto su įrankių rinkiniu ženklą, be išgalvotos aparatinės įrangos

operacijų etiketės išnyksta kiekviename IR etape

etiketės išlieka iki tikslinei mašinai skirto mašininio kodo

atviri palydoviniai projektai yra už komercinės ribos

įprastas kelias kopijuoja per šešias atminties erdves

nuosavybės ženklas seka kiekvieną judėjimą

Kera vieno savininko grafo į mašiną grandinė

išorinio tvarkyklės riba lieka prie krašto

savybės plinta tik per faktiškai licencijuotą juostą

pažinimas, organizacijos, žinios, skaičiavimas

AI operacijos, mokymas, išvadų darymas, aptarnavimas

grafas, planuoklis, tiesioginis išvedimas, vykdymo laikas

kiekvienas planas susieja su tuo pačiu grafo maišos kodu

kas darbui gali būti paliesta, yra nurodyta

ta pati darbo kortelė pritaikyta su skirtingu planu kiekvienai

suverenumas priklauso nuo visos sąrankos, ne tik geografijos

naudotojas mato sutartą „Fabric“ galimybę aukščiau

valdomas „Fabric“ viešajame „Dweve Mesh“ tinkle; be tiesioginės „Kera“ prieigos

„Fabric“ viešajame „Mesh“ tinkle pagal sutartą apdorojimo ribą

kai kurie žingsniai veikia daug greičiau nei įprastas kelias

viena užduotis ilgai vingiuoja per vertimo langelius

Kera maršrutas lieka vienu aiškiu planu nuo užduoties iki mašinos

programinė įranga neturėtų eiti ilguoju keliu

pakeistas žingsnis sukuria naują piršto atspaudą

užfiksuota, kuri mašinos planas buvo pasirinktas

siuntos įprastai keliauja per septynias patalpas

neprisijungus veikianti sistema gali atsisakyti tinklo prieigos

vėliau neatsiranda jokios paslėptos prieigos

išsaugo rezultatus, kuriuos gali saugoti

išorinė aparatinė įranga ir operacinės sistemos yra pakraštyje

receptas, perduodamas per žmones, praranda savo paskirtį

Kera paskirtis lieka pritvirtinta prie žingsnių

virtuvė vis tiek gali priimti protingus sprendimus

ne bendrinė versija, pataisyta pabaigoje

žingsniai, kurie tinka kartu, atliekami kaip vienas

jokio juodraščio darbo, kuris naudojamas vieną kartą

mažiau delsų ir mažesnis energijos suvartojimas

tas pats palaikomas rezultatas kiekvieną kartą

darbas gauna savo unikalų identifikatorių

niekada jo nesirenka ir nesukonfigūruoja

griežta užduotis kiekvieną kartą duoda tą patį rezultatą

kūrybinė užduotis leidžia skirtingus rezultatus

jokio atsitiktinio pakeitimo kitame įrenginyje

programos paviršius išlieka draugiškas ir paprastas

pjūvis atskleidžia Kera planą ir mašinos darbą žemiau

oranžinės ląstelės žymi išmatuotus laimėjimus

kontūrinės ląstelės žymi laukiamą analizę

patikrinkite, kurie faktai lėmė skirtumą

nežinomi paketo langeliai lieka aprašyti, kol pakavimas nėra baigtas

pagrindinės operacijos mazgas patenka į Kera planą

seka planavimas, suliejimas ir nuleidimas

kai Kera nėra, Core lieka Rust gimtąja kalba

LLVM juosta tiesiog nėra, ne teatrališkai perbraukta

vienas savininkas, nuo pradžios iki pabaigos

LLVM IR etapas nėra centre. Kiekvienas žingsnis išlaiko grafiko ir operacijų semantiką prieinamą.

pasirinktas kelias įrašomas į vykdymo įrašą

pagrindinės sistemos galimybių tikrinimas

vienas mazgas sugenda ir atkuriamas iš kontrolinio taško

poveikio mazgai praeina per pajėgumų vartus

nepatvirtintas pajėgumas yra atmetamas tikrintuvo

eilės tvarka negali būti tyliai pažeista

atskiri regionai su materializuotais tarpiniais rezultatais

vienas regionas, reikšmės išlaikomos lokaliai

grafas išlaikomas visose vėlesnėse stadijose

kiekviena juosta turi tikslų testų apimties žetoną, be išgalvotos aparatinės įrangos

rezultatai skiriasi priklausomai nuo aparatinės įrangos, paskelbti su bandymų stendu

kiekvienas išleidimas naudoja skirtingą vektorių plotį

sąžiningai dėl palaikymo kiekvienai platformai

nauji maišos kodai plinta tik per paveiktą kilmę

nepakeisti pomedžiai išlaiko savo tapatybę

ženklas kerta pagrindinės sistemos, įrenginio ir nuotolinės erdves

planuoklis palieka reikšmę ten, kur jai vieta

bendrosios gyvavimo ribos be operacijos konteksto

gyvavimo ribos, suformuotos pagal grafiko kontekstą

išskleidimas, vektoriaus plotis ir išmetimai, parinkti iš operacijos

kiekvienas tikslas turi savo išsiųstą artefaktą

tikrinti, kurti, tikrinti, planuoti, paleisti, patikrinti

grafų inspektorius rodo tipus ir efektus

nerodoma jokia suklastota etaloninė išvestis

kiekvienas laukas maitina planuotojo sprendimą

faktai, kuriuos planuotojas vis dar turi

nustato buferių dydžius ir vektoriaus plotį

patalpina reikšmę pagrindiniame įrenginyje arba įrenginyje

apibrėžia gyvavimo trukmę ir pakartotinį naudojimą

bendra priežastis yra išlaikyta semantinė informacija

Kera išlaiko operacijas, efektus, nuosavybę ir judėjimą matomus nuo šaltinio grafiko iki tikslinio vykdymo. Skaitykite architektūrą, apžiūrėkite grafiko IR arba atneškite mums gamybos kelią, kuris jau buvo optimizuotas per LLVM.

Tiesioginis skaičiavimas. Grafikas lieka programa.

Žiedo allreduce, kontrolinių taškų atkūrimas

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

Kera yra statiškai tipizuota sistemų kalba su grafiku pagrįstu, turinio adresuojamu IR. Ji kompiliuoja programas į .keg failus, operacijų nukreiptus aciklinius grafus, ir vykdo juos CPU, GPU, FPGA ir WASM. Kera naudoja pasirinktinį kodo generavimą x86-64, ARM64 ir RISC-V, o ne LLVM, su registrų paskirstymu ir SIMD branduolių parinkimu. Šalutiniai efektai yra stebimi, o Rust stiliaus nuosavybė apima pagrindinės, įrenginio, prisegtos ir vieningos atminties sritis. Projektas yra Rust darbo sritis su paskirstytu vykdymu, galimybėmis pagrįstu saugumu ir LSP įrankiais.

Grafiku pagrįstas IR. Pasirinktinis JIT.

Atneškite operaciją, formas, tikslą, vėliavėles ir determinizmo reikalavimus, kuriuos naudojate gamyboje. Palyginsime išvestą kelią ir parodysime, kur grafiko išlaikymas keičia rezultatą.

Vienas grafikas. Vykdymas suplanuotas tikslui.

Pasirinktinis JIT, be LLVM priklausomybės

Kera sujungia grafiku pagrįstą sistemų kalbą, turinio adresuojamą IR, kompiliatorių, JIT ir heterogeninę vykdymo sistemą. Ji išlaiko tipus, efektus, nuosavybę, duomenų srautus, atminties erdves ir vykdymo politiką matomus, kartu kurdama tikslui pritaikytus planus palaikomiems CPU, GPU, FPGA ir WebAssembly keliams. LLVM nėra kompiliacijos grandinės centre.

Vienas grafikas. Planas kiekvienam tikslui.

Kera licencijuotoms diegtims kainuojama atskirai. Pakalbėkite su mumis apie tikslų portfelį, izoliuotą veikimą ir bet kokias atskirai pasirinktas šaltinio, peržiūros ar technologijų perdavimo teises.

Skaičiavimas išlaiko savo tapatybę mašinai.

AI, robotika, finansai, mokslas, žaidimai

Vietinis mašininis kodas per pasirinktinį JIT kompiliatorių

Dweve AI išvadų ir simuliacijų darbo krūviai

Programavimo kalba nuosekliam, greitam skaičiavimui

Programinė įranga dažnai praeina per tiek vertimo sluoksnių, kad kompiuteris nebeįžvelgia darbo kaip visumos. Kera išlaiko skaičiavimą organizuotą kaip vieną grafą, tada parengia vykdymo planą mašinai, kuri atlieka darbą. Tai gali pašalinti nereikalingus žingsnius, sumažinti judėjimą ir palikti aiškesnį įrašą apie tai, kas iš tikrųjų buvo vykdyta.

Dweve Kera yra grafų sistemos kalba ir kompiliatorius deterministiniam skaičiavimui heterogeninėje įrangoje. Jos statiškai tipizuota, turinio adresuota tarpinė reprezentacija išlaiko operaciją matomą per planavimą, tada generuoja vykdymą CPU, GPU, FPGA ir WebAssembly. Grafas lieka programa.

Bendrosios paskirties kompiliatorius turi tarnauti visoms programų rūšims. Jo platumas riboja, kaip giliai jis gali suprasti specializuotą operaciją, kai frontendas ją nuleido į ciklus, rodykles ir bendrąją aritmetiką, ir jokia vėlesnė stadija negali atkurti to, ką tas nuleidimas pašalino.