Kera | Deterministic Systems Language and Compiler

Uudelleen rakennettu toimittajakohtaisesti

Koodausagentti ja operaattorin apuri. Demomittarit ovat havainnollistavia.

Pääte, haku, lint, testi, git ja paljon muuta.

Muistaa koodikantasi ja tiimisi kontekstin.

Erikoistuneet agentit tekevät yhteistyötä eri osa-alueilla.

Jokainen vaihe tallennetaan aikaleimoilla.

Käytännöt, tarkistukset ja testit ajetaan aina.

Tarkista diffit, pyydä muutoksia, lopullinen hyväksyntä.

Toista mikä tahansa istunto bitti bitiltä, kun jotain on tarkistettava.

Erota guard + rajoita uudelleenyritykset

Autonomiset agentit, jotka kirjoittavat koodia ja pitävät kirjaa

käsittelemään verkon aikakatkaisuja, 5xx-vastauksia ja idempotentteja ehtoja. Puhdas apufunktio, täysin yksikkötestattu.

käsittelemään verkon aikakatkaisuja, 5xx-vastauksia ja idempotenttiturvallisia ehtoja. Puhdas apufunktio, täysin yksikkötestattu.

yksi muuttunut solmu avaa uudelleen vain sen vaikutusalueen

vaatimattomia yksinumeroisia parannuksia joillakin bittikohtaisilla poluilla

selkeitä keskisuuria parannuksia yhteenlaskuissa ja aktivaatioissa

vahvoja suuria parannuksia useilla matriisi- ja vektoripoluilla

vertailukelpoiset solut pysyvät näkyvissä, eikä niitä poisteta

mitä tulee mahdolliseksi, kun merkitys säilyy

matriisikertolasku tulee sisään kymmenen tunnetun faktan kanssa

jokainen tavanomainen laskentavaihe pudottaa useita kortteja

silmukat, osoittimet, aritmetiikka säilyvät

Core Native toimii Rust-natiivilla suorituksella

Core Kera-päällä paljastaa graafi- ja kääntäjäkerrokset

Natiivi-kaistaa ei ole tehty näyttämään rikkinäiseltä

siemenellinen tuottaa yhden hajautusarvon siementä kohti

yksi solmu epäonnistuu ja palautuu tarkistuspisteestä

määrittelemätön verkkoreuna estetään suunnittelun aikana

pinta hyväksytään ennen kuin se suoritetaan

jokainen raja sisältää selkeät ominaisuudet ja käyttäjän hallintalaitteet

Ei suoraa Kera-pääsyä hallinnoidussa Fabricissa

Sama semanttinen graafi tuotetaan valitsemasi rajan sisällä.

raakagraafi suorittaa jokaisen ajokerran erikseen

kolme väliarvoa poistettu, kaksi aluetta yhdistetty, yksi arvo säilytetty laitteella

säästöpalkki laskee käynnistykset, varaukset, siirrot ja poistetut tavut

työ, jota ei koskaan tarvitse olla olemassa

jokainen torni kantaa julkaisuun liittyvää testipenkin sinettiä, ei keksittyä laitteistoa

operaatiotunnisteet katoavat jokaisessa IR-vaiheessa

tunnisteet säilyvät kohdekohtaiseen konekoodiin asti

avoimet kumppaniprojektit sijaitsevat kaupallisen rajan ulkopuolella

tavanomainen kaista kopioi kuuden muistitilan yli

Kera-yhden omistajan graafista koneeseen -ketju

ominaisuudet etenevät vain varsinaisesti lisensoidun kaistan kautta

vie tuloksena syntyvän järjestelmän ihmisille

kognitio, organisaatiot, tieto, laskenta

tekoälyoperaatiot, koulutus, päättely, palvelu

graafi, suunnittelija, suora lähetys, suoritusaika

jokainen suunnitelma linkittää takaisin samaan graafin tiivisteeseen

se, mitä työ saa koskettaa, on ilmoitettu

sama työkortti on sovitettu eri suunnitelmalla jokaiselle

suvereniteetti riippuu koko kokoonpanosta, ei pelkästään maantieteestä

hallinta näkyvän sovelluksen alapuolella

käyttäjä näkee yllä sovitun Fabric-ominaisuuden

hallinnoitu Fabric julkisella Dweve Mesh -verkossa; ei suoraa Kera-pääsyä

Fabric julkisella Mesh-verkossa sovitun käsittelyrajan sisällä

jotkin vaiheet ovat selvästi nopeampia kuin tavallinen reitti

muutama tapaus on tällä hetkellä samaa luokkaa nopeudeltaan

lyhyempi palkki tarkoittaa vähemmän odottelua

yksi tehtävä kulkee pitkän mutkan käännöslaatikoiden läpi

Kera-reitti pysyy yhtenä selkeänä suunnitelmana työstä koneelle

ohjelmiston ei pitäisi kiertää pitkän kaavan kautta

paketit kulkevat tavalliseen tapaan seitsemän huoneen läpi

tieto pysyy lähellä siellä, missä sitä tarvitaan

vähemmän väliaikaisia tuloksia ja matkoja

offline-järjestelmä voi kieltää verkkoyhteyden

Core sekä Kera lisenssin sallimissa paikoissa

Fabric ja tuotteet ovat Coren yläpuolella

Kera sisältyy lisenssin sallimissa paikoissa

syvempi reitti lisenssin sallimissa paikoissa

Coren päällä lisenssin sallimissa paikoissa

ulkoiset laitteistot ja käyttöjärjestelmät ovat reunalla

resepti, joka kulkee ihmiseltä toiselle, menettää tarkoituksensa

Kerassa tarkoitus pysyy kiinni vaiheissa

keittiö voi silti tehdä järkeviä valintoja

vähemmän viiveitä ja pienempi virrankulutus

tiukka tehtävä antaa saman kuvion joka kerta

siemenellinen tehtävä toistaa yhtä variaatiota

ei tahattomia muutoksia toisella koneella

sovelluksen pinta pysyy ystävällisenä ja yksinkertaisena

leikkauskuva paljastaa Kera-suunnitelman ja koneen työn alla

tavallisessa käytössä ei ole Kera-säätimiä

oranssit solut merkitsevät mitatut voitot

reunustetut solut merkitsevät keskeneräisen analyysin

tarkista, mitkä tosiasiat aiheuttivat eron

tuntemattomat pakettisolut pysyvät hahmoteltuina, kunnes paketointi on valmis

Core-toiminnon solmu siirtyy Kera-suunnitelmaan

suunnittelu, fuusiointi ja laskeminen seuraavat

kun Keraa ei ole, Core pysyy Rust-pohjaisena

tiukka korjaa aritmetiikan ja järjestyksen

siemenperustainen toistaa vaihtelun siemenen mukaan

LLVM-kaista yksinkertaisesti puuttuu, ei ole yliviivattu teatraalisesti

LLVM IR -vaihetta ei ole keskellä. Jokainen vaihe pitää graafin ja operaation semantiikan saatavilla.

valittu polku kirjoitetaan suorituslokitietueeseen

efektiset solmut kulkevat kyvykkyysporttien läpi

ilmoittamaton kyvykkyys hylätään varmennuksessa

erilliset alueet, joissa on materialisoituja välituloksia

graafi säilyy kaikissa myöhemmissä vaiheissa

jokainen palkki sisältää tarkan testialueen sirun, ei keksittyä laitteistoa

tulokset vaihtelevat laitteiston mukaan, julkaistu testipenkityksen kanssa

graafi tarkastetaan jokaisessa vaiheessa

jokainen lähetys käyttää eri vektorileveyttä

vaikuttaa vain muutettuun esivanhemmistoon

uudet hajautusarvot leviävät vain muutetun esivanhemmiston kautta

muuttumattomat aligraafit säilyttävät identiteettinsä

tunnus ylittää isäntä-, laite- ja etätilat

suunnittelija pitää arvon siellä, mihin se kuuluu

suunnittelijalla on koko graafi näkyvissä

yleiset elinalueet ilman operaatiokontekstia

avaaminen, vektorin leveys ja spillit valittu operaatiosta

jokainen kohde sisältää oman luodun artefaktinsa

tarkista, rakenna, tarkastele, suunnittele, aja, varmista

graafi-inspector näyttää tyypit ja efektit

tekaistua benchmark-tulostetta ei näytetä

jokainen kenttä syöttää suunnittelijan päätöksen

toteutumat, jotka suunnittelijalla on edelleen

sijoittaa arvon isäntään tai laitteeseen

yhteinen syy on säilytetty semanttinen informaatio

Kera pitää operaatiot, vaikutukset, omistajuuden ja liikkeen näkyvillä lähdegraafista kohdesuoritukseen. Lue arkkitehtuuri, tarkastele graafin IR:ää tai tuo meille tuotantopolku, joka on jo optimoitu LLVM:n kautta.

Renkaallinen allreduce, tarkistuspisteen palautus

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

Kera on staattisesti tyypitetty järjestelmäkieli, jossa on graafipohjainen, sisältöosoitteellinen IR. Se kääntää ohjelmat .keg-tiedostoiksi, operaatioiden suunnatuiksi syklittömiksi graafeiksi, ja suorittaa ne CPU:lla, GPU:lla, FPGA:lla ja WASM:lla. Kera käyttää mukautettua koodigenerointia x86-64:lle, ARM64:lle ja RISC-V:lle LLVM:n sijaan, rekisteriallokoinnilla ja SIMD-ytimen valinnalla. Sivuvaikutukset seurataan, ja Rust-tyylinen omistajuus kattaa isäntä-, laite-, kiinnitetyn ja yhtenäisen muistin. Projekti on Rust-työtila, jossa on hajautettu suoritus, kyvykkyyspohjainen turvallisuus ja LSP-työkalut.

Tuo operaatiot, muodot, kohde, liput ja determinismivaatimukset, joita käytät tuotannossa. Vertaamme tuotettua polkua ja näytämme, missä graafin säilyttäminen muuttaa tulosta.

Yksi graafi. Suoritus suunniteltu kohteelle.

Kera yhdistää graafipohjaisen järjestelmäkielen, sisältöosoitteellisen IR:n, kääntäjän, JIT:n ja heterogeenisen suoritusjärjestelmän. Se pitää tyypit, vaikutukset, omistajuuden, dataflow'n, muistitilat ja suorituskäytännön näkyvillä tuottaen kohdekohtaisia suunnitelmia tuetuille CPU-, GPU-, FPGA- ja WebAssembly-polkuille. LLVM ei ole käännösketjun keskiössä.

Yksi graafi. Suunnitelma joka kohteelle.

Kera hinnoitellaan erikseen lisensoiduille käyttöönotoille. Keskustele kanssamme kohdeportfoliosta, eristetystä toiminnasta ja erikseen valituista lähde-, tarkastus- tai teknologiansiirto-oikeuksista.

Laskenta säilyttää identiteettinsä koneelle.

Tekoäly, robotiikka, rahoitus, tiede, pelit

Natiivi konekieli mukautetun JIT-kääntäjän kautta

Dweve-tekoälyn päättely- ja simulointityökuormat

Ohjelmointikieli johdonmukaiseen, nopeaan laskentaan

Ohjelmisto kulkee usein niin monen käännöskerroksen läpi, että tietokone ei enää näe työtä kokonaisuutena. Kera pitää laskennan järjestettynä yhtenä graafina ja valmistelee sitten suoritussuunnitelman työtä tekevälle koneelle. Tämä voi poistaa tarpeettomia vaiheita, vähentää siirtoa ja jättää selkeämmän kirjauksen siitä, mitä todella ajettiin.

Dweve Kera on graafipohjainen järjestelmäkieli ja kääntäjä deterministiseen laskentaan heterogeenisellä laitteistolla. Sen staattisesti tyypitetty, sisältöosoitteinen välikieli pitää operaation näkyvänä suunnittelun läpi ja tuottaa sitten suorituksen CPU:lle, GPU:lle, FPGA:lle ja WebAssemblylle. Graafi pysyy ohjelmana.