Kera | Deterministic Systems Language and Compiler

Aġent tal-kodifikazzjoni u assistenza għall-operatur. Il-metriċi tad-dimostrazzjoni huma illustrattivi.

Terminal, tfittxija, lint, test, git, u aktar.

Jiftakar il-kodiċi tiegħek u l-kuntest tat-tim.

Aġenti speċjalizzati jikkollaboraw fuq diversi oqsma.

Kull pass jiġi rreġistrat bi timbri tal-ħin.

Politiki, kontrolli, u testijiet dejjem jimxu.

Irrevedi d-diffs, itlob bidliet, iffirma finalment.

Irriproduċi kwalunkwe sessjoni bit għal bit meta xi ħaġa teħtieġ reviżjoni.

Aġenti awtonomi li jiktbu kodiċi u jżommu r-reċevuti

biex jimmaniġġja timeouts tan-netwerk, risponsi 5xx, u kundizzjonijiet idempotenti-sikuri. Helper pur, ittestjat kompletament.

L-algoritmi jiggruppaw skont it-tip ta' data

Matriċi ta' kapaċitajiet li tista' tiskrollja

bidla f'nodu wieħed terġa' tagħmel il-keys biss fl-antenat affettwat tiegħu

qligħ modest ta' ċifra waħda fuq xi toroq bitwise

qligħ ċar medju fuq żidiet u attivazzjonijiet

qligħ qawwi kbir fuq diversi toroq tal-matriċi u tal-vettori

ċelloli ta' parità fil-livell jibqgħu viżibbli, mhux imħassra

familji ta' operazzjonijiet mhux relatati

dak li jsir possibbli meta t-tifsira tibqa' ħajja

multiplikazzjoni ta' matriċi tidħol b'għaxart fatti magħrufa

kull stadju konvenzjonali ta' tniżżil jarmi diversi karti

Core Native jaħdem fuq eżekuzzjoni nattiva ta' Rust

Core fuq Kera juri l-graff u l-livell tal-kompilatur

il-korsija Nattiva mhix magħmula biex tidher miksuba

b'żerriegħa jagħti hash wieħed għal kull żerriegħa

node wieħed ifalli u jirrestawra minn checkpoint

tarf ta' netwerk mhux iddikjarat jiġi mblukkat waqt l-ippjanar

kull konfini jġorr kapaċità u kontrolli tal-operatur espliċiti

L-ebda aċċess dirett għal Kera f'Fabric maniġġjat

L-istess graff semantiku jinħareġ fi kwalunkwe konfini li tagħżel.

il-graff mhux ipproċessat jaħdem kull pass separatament

tliet intermedji mneħħija, żewġ reġjuni magħqudin, valur wieħed miżmum fuq l-apparat

rail tal-iffrankar jgħodd tnedijiet, allokazzjonijiet, trasferimenti, u bytes imneħħija

kull torri jġorr siġill ta' pubblikazzjoni mal-harness, l-ebda hardware ivvintat

it-tikketti tal-operazzjonijiet jintilfu f'kull stadju tal-IR

it-tikketti jibqgħu sal-kodiċi tal-magna speċifiku għall-mira

proġetti kompanjuni miftuħa joqogħdu barra l-konfini kummerċjali

il-korsija konvenzjonali tikkopja fuq sitt spazji tal-memorja

trasferiment imneħħi huwa aktar mgħaġġel

il-katina ta' Kera b'sid wieħed mill-graff għall-magna

il-konfini tas-sewwieq estern jibqa' fit-tarf

il-proprjetajiet jinfirxu biss permezz tal-korsija li fil-fatt hija liċenzjata

konjizzjoni, organizzazzjonijiet, għarfien, komputazzjoni

operazzjonijiet tal-AI, taħriġ, inferenza, servizz

graff, ippjanatur, emissjoni diretta, runtime

kull pjan jorbot lura mal-istess hash tal-graff

il-magna tirċievi xogħol iffurmat għaliha

dak li x-xogħol jista' jmiss huwa ddikjarat

l-istess karta tax-xogħol hija mwaħħla b'pjan differenti għal kull waħda

is-sovranità tiddependi mill-issettjar sħiħ, mhux biss mill-ġeografija

l-utent jara l-kapaċità miftiehma ta' Fabric fuq nett

Fabric immaniġġjat fuq il-Mesh pubbliku ta' Dweve; l-ebda aċċess dirett għal Kera

ikkontrollat mill-organizzazzjoni tiegħek

Fabric fuq il-Mesh pubbliku fil-konfini tal-ipproċessar kuntrattwali tiegħu

xi passi jitħaddmu ħafna aktar malajr mir-rotta tas-soltu

ftit każijiet bħalissa huma simili fil-veloċità

biċċa xogħol waħda tieħu triq twila u mgħawġa minn kaxxi ta' traduzzjoni

ir-rotta ta' Kera tibqa' pjan ċar wieħed mix-xogħol sal-magna

il-magna tirċievi xogħol magħmul għaliha

il-karta tax-xogħol iġorr il-marka tas-swaba' tagħha stess

pass mibdul joħloq marka tas-swaba' ġdida

liema pjan tal-magna ntgħażel huwa rreġistrat

pakketti jgħaddu minn seba' kmamar bil-mod tas-soltu

l-informazzjoni tibqa' qrib fejn hemm bżonnha

sistema offline tista' tirrifjuta l-aċċess għan-netwerk

l-ebda aċċess moħbi ma jidher aktar tard

ir-rotta aktar profonda, fejn liċenzjata

hardware estern u sistemi operattivi joqogħdu fil-ġenb

riċetta li tgħaddi minn idejn għal oħra titlef l-għan tagħha

il-kċina xorta tista' tagħmel għażliet sensibbli

mhux verżjoni ġenerika msewwija fl-aħħar

diversi drabi aktar malajr fit-testijiet

l-ebda xogħol abbozz li jintuża darba biss

inqas dewmien u użu ta' enerġija aktar baxx

ix-xogħol jieħu l-marka tas-swaba' tiegħu stess

il-qadim u l-ġdid joqogħdu maġenb xulxin

it-triq mgħaġġla tagħha stess dejjem hemm

l-organizzazzjoni tiegħek iżżomm iċ-ċwievet

kompitu strett jagħti l-istess mudell kull darba

kompitu b'żerriegħa jirrepeti varjazzjoni waħda

kompitu kreattiv jippermetti mudelli differenti

qatgħa turi l-pjan Kera u x-xogħol tal-magna ta' taħt

m'hemm l-ebda kontrolli Kera fl-użu ordinarju

ċelluli oranġjo jimmarkaw rebħiet imkejla

ċelluli b'kontorn jimmarkaw analiżi pendenti

ispezzjona liema fatti pproduċew id-differenza

ċelloli ta' pakketti mhux magħrufa jibqgħu deskritti sakemm l-ippakkjar ikun finali

nodu ta' operazzjoni tal-Core jidħol fil-pjan ta' Kera

fejn Kera ma jkunx preżenti, Core jibqa' Rust nattiv

bis-sigill jirrepeti l-varjazzjoni għal kull sigill

kreattiv jippermetti varjazzjoni intenzjonata

il-korsija LLVM sempliċement nieqsa, mhux maqtugħa b’mod teatrali

L-ebda stadju IR LLVM ma joqgħod fiċ-ċentru. Kull pass iżomm is-semantika tal-graff u tal-operazzjoni disponibbli.

il-passaġġ magħżul jinkiteb fir-reġistru tal-eżekuzzjoni

ring all-reduce jgħaqqad il-partizzjonijiet

nodi b'effetti jgħaddu minn bibien tal-kapaċitajiet

kapaċità mhux iddikjarata tiġi rrifjutata mill-verifikatur

reġjuni separati b'intermedji materjalizzati

mhux biss sekwenzi iqsar ta' struzzjonijiet

il-graff jinżamm matul kull stadju aktar tard

kull bar iġorr ċippa eżatta tal-iskop tat-test, l-ebda hardware ivvintat

ir-riżultati jvarjaw skont il-hardware, ippubblikati mal-harness

kull emess juża wisa' ta' vettur differenti

hashes ġodda jippropagaw permezz tal-antenati affettwati biss

subgrafi mhux mibdula jżommu l-identità tagħhom

it-token jaqsam l-ispazji tal-host, tal-apparat, u remoti

il-planner iżomm il-valur fejn jappartjeni

il-pjanifikatur għandu l-graff kollu quddiemu

Kronoloġija tal-allokazzjoni tar-reġistri

meded ta' ħajja ġeneriċi mingħajr kuntest tal-operazzjoni

meded ta' ħajja ffurmati mill-kuntest tal-graff

unrolling, wisa' tal-vettur, u spills magħżula mill-operazzjoni

arkitettura differenti ta' ottimizzazzjoni

iċċekkja, ibni, spezzjona, ippjana, mexxi, ivverifika

l-ispezzjoni tal-graff turi t-tipi u l-effetti

l-ebda output ta' benchmark ivvintat ma jintwera

kull qasam jitma' deċiżjoni tal-ippjanatur

mhux baħar ta' struzzjonijiet mingħajr tipi

jiddaqqas il-buffers u l-wisa' tal-vettur

ipoġġi l-valur fuq il-host jew l-apparat

il-kawża komuni hija l-informazzjoni semantika miżmuma

Kera iżomm l-operazzjonijiet, l-effetti, is-sjieda, u l-moviment viżibbli mill-graff tas-sors sat-twettiq fil-mira. Aqra l-arkitettura, spezzjona l-IR tal-graff, jew ġibilna mogħdija ta' produzzjoni li diġà ġiet ottimizzata permezz ta' LLVM.

Kalkolu dirett. Il-graff jibqa' l-programm.

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

Kera huwa lingwa ta' sistemi b'tip statiku b'IR grafika u b'indirizzar tal-kontenut. Jikkompila programmi f'fajls .keg, graffs diretti aċikliċi ta' operazzjonijiet, u jeżegwihom fuq CPU, GPU, FPGA, u WASM. Kera juża ġenerazzjoni ta' kodiċi personalizzata għal x86-64, ARM64, u RISC-V minflok LLVM, b'allokazzjoni ta' reġistri u għażla ta' kernels SIMD. L-effetti sekondarji huma traċċati, u s-sjieda stil Rust tkopri memorja host, device, pinned, u unifikata. Il-proġett huwa workspace Rust b'eżekuzzjoni distribwita, sigurtà bbażata fuq kapaċitajiet, u għodod LSP.

Ġib l-operazzjoni, il-forom, il-mira, il-flags, u r-rekwiżiti ta' determinism li tuża fil-produzzjoni. Aħna nqabblu l-mogħdija emessa u nuru fejn iż-żamma tal-graff tbiddel ir-riżultat.

Graff wieħed. Eżekuzzjoni ppjanata għall-mira.

JIT personalizzat, l-ebda dipendenza fuq LLVM

Kera jgħaqqad lingwa ta' sistemi grafika, IR b'indirizzar tal-kontenut, kompilatur, JIT, u sistema ta' eżekuzzjoni eteroġenja. Iżomm tipi, effetti, sjieda, dataflow, spazji tal-memorja, u politika ta' eżekuzzjoni viżibbli waqt li jipproduċi pjanijiet speċifiċi għall-mira għal mogħdijiet appoġġjati ta' CPU, GPU, FPGA, u WebAssembly. LLVM mhuwiex fiċ-ċentru tal-katina ta' kompilazzjoni.

Kera huwa pprezzat separatament għal skjeramenti liċenzjati. Kellemna dwar il-portafoll tal-miri, operazzjoni iżolata, u kwalunkwe drittijiet ta' sors, reviżjoni, jew trasferiment ta' teknoloġija magħżula separatament.

Il-kalkolu jżomm l-identità tiegħu mal-magna.

AI, robotika, finanzjament, xjenza, logħob

Kodiċi tal-magna nattiv permezz ta' kompilatur JIT personalizzat

Tagħbijiet ta' inferenza u simulazzjoni AI ta' Dweve

Lingwa ta' programmar għal kalkolu konsistenti u veloċi

Is-softwer spiss jgħaddi minn tant saffi ta' traduzzjoni li l-kompjuter ma jibqax jara x-xogħol kollu kemm hu. Kera jżomm il-kalkolu organizzat bħala graff wieħed, imbagħad iħejji pjan ta' eżekuzzjoni għall-magna li qed tagħmel ix-xogħol. Dan jista' jneħħi passi bla bżonn, inaqqas il-moviment, u jħalli rekord aktar ċar ta' dak li fil-fatt ġie eżegwit.

Dweve Kera hija lingwa ta' sistemi u kompilatur bbażata fuq graffs għal komputazzjoni deterministika fuq hardware eteroġenju. Ir-rappreżentazzjoni intermedja tagħha, statikament tipizzata u indirizzata bil-kontenut, iżżomm l-operazzjoni viżibbli matul l-ippjanar, u mbagħad temetti eżekuzzjoni għal CPU, GPU, FPGA u WebAssembly. Il-graff jibqa' l-programm.