Kera | Deterministic Systems Language and Compiler
Dweve Kera is a graph-native systems language and compiler for deterministic computation across heterogeneous hardware, with content-addressed .keg graphs.
Kódolási ügynök és operátori segítség. A bemutató mérőszámok illusztratívak.
Terminál, keresés, lint, teszt, git és egyebek.
Megjegyzi a kódbázis és a csapat kontextusát.
Speciális ügynökök együttműködnek a különböző területeken.
A szabályzatok, ellenőrzések és tesztek mindig futnak.
Diffek áttekintése, változtatások kérése, végső jóváhagyás.
Bármely munkamenet bitre pontosan visszajátszható, ha valamit ellenőrizni kell.
retry.ts olvasása, időtúllépési hiba nyomon követése
Guard kivonása + újrapróbálkozások korlátozása
Autonóm ügynökök, amelyek kódot írnak és nyomot hagynak
hálózati időtúllépések, 5xx válaszok és idempotens-biztos feltételek kezelésére. Tiszta segédfüggvény, teljesen egységtesztelve.
egy megváltozott csomópont csak az érintett ősöket kulcsolja újra
szerény, egyjegyű nyereségek egyes bitenkénti útvonalakon
egyértelmű közepes nyereségek az összeadásoknál és aktivációknál
erős, nagy nyereségek több mátrix- és vektorútvonalon
a paritásos cellák láthatók maradnak, nem törlődnek
egymáshoz nem kapcsolódó műveletcsaládok
ami lehetségessé válik, ha a jelentés megmarad
minden hagyományos leengedési szakasz több kártyát ejt
A Core Native Rust-natív végrehajtáson fut
A Core a Kerán felfedi a gráf- és fordítórétegeket
a Natív sáv nem úgy van beállítva, hogy hibásnak tűnjön
a gráf négy csomópontra van particionálva
az egyik csomópont meghibásodik, és ellenőrzőpontból állítódik vissza
a nem deklarált hálózati él blokkolva van a tervezés során
a felület jóváhagyásra kerül, mielőtt futna
Dweve által üzemeltetett szolgáltatási határ
minden határ explicit képességet és kezelői vezérlőket hordoz
Nincs közvetlen Kera hozzáférés a felügyelt Fabricben
Ugyanaz a szemantikus gráf kerül kibocsátásra, függetlenül attól, melyik határt választja.
három köztes eltávolítva, két régió összeolvasztva, egy érték az eszközön marad
A megtakarítási sáv számolja az indításokat, foglalásokat, átviteleket és az eltávolított bájtokat
minden torony rendelkezik a keretrendszerrel együtt publikálási pecséttel, nincs kitalált hardver
a műveletcímkék minden IR-fázisnál eltűnnek
a címkék fennmaradnak a cél-specifikus gépi kódig
nyílt társprojektek a kereskedelmi határon kívül
a hagyományos sáv hat memóriaterületen másolja át
egy tulajdonosi token minden mozgást követ
a külső illesztőprogram határa az élen marad
a tulajdonságok csak a ténylegesen licencelt sávon keresztül terjednek
az így létrejövő rendszert az emberekhez juttatja
megismerés, szervezetek, tudás, számítás
AI-műveletek, tanítás, következtetés, kiszolgálás
gráf, tervező, közvetlen kibocsátás, futásidő
minden terv ugyanarra a gráf-hashre mutat vissza
a gép olyan munkát kap, amelyet hozzá igazítottak
az, amihez a munka hozzáérhet, meg van adva
ugyanaz a feladatkártya minden géphez más tervvel van illesztve
a szuverenitás a teljes beállítástól függ, nem csak a földrajzi elhelyezkedéstől
a felhasználó a megállapodott Fabric képességet látja fent
felügyelt Fabric a nyilvános Dweve Mesh-en; közvetlen Kera hozzáférés nélkül
Fabric a nyilvános Mesh-en a szerződött feldolgozási határon belül
egyes lépések sokkal gyorsabbak, mint a megszokott út
egy feladat hosszú cikcakkos utat jár be a fordítási dobozokon át
a Kera útvonal egyetlen világos terv marad a feladattól a gépig
a szoftvernek nem szabad hosszú kerülőutat vennie
a munkakártya saját ujjlenyomatot hordoz
a módosított lépés új ujjlenyomatot hoz létre
rögzítésre kerül, melyik gépi terv lett kiválasztva
a csomagok a szokásos módon hét helyiségen mennek keresztül
az információk ott maradnak, ahol szükség van rájuk
távolítsd el, amire soha nem volt szükség
egy offline rendszer megtagadhatja a hálózati hozzáférést
később nem jelenik meg rejtett hozzáférés
elmentheti az eredményeket, amelyeket megtarthat
A Fabric és a termékek a Core felett helyezkednek el
a kiválasztott csomagok hozzáadják a Kerát
a külső hardver és operációs rendszerek a peremen helyezkednek el
a kézről kézre adott recept elveszíti a célját
a Kerában a cél a lépésekhez kötve marad
a konyha még mindig hozhat ésszerű döntéseket
nem egy általános verzió, amit a végén igazítanak
Világos nyilvántartás arról, hogy mi futott
kevesebb késleltetés és alacsonyabb energiafogyasztás
minden alkalommal ugyanaz a támogatott eredmény
a szigorú feladat minden alkalommal ugyanazt a mintát adja
a magozott feladat egy változatot ismétel
a kreatív feladat különböző mintákat tesz lehetővé
az alkalmazás felülete barátságos és egyszerű marad
egy metszet felfedi a Kera tervét és az alatta zajló gépi munkát
a Kera vezérlői nem jelennek meg a mindennapi használat során
a narancssárga cellák mért győzelmeket jelölnek
a körvonalazott cellák függőben lévő elemzést jelölnek
vizsgáld meg, mely tények okozták az eltérést
bizonyíték, amelyre az állítások épülnek
ismeretlen csomagcellák vázoltak maradnak, amíg a csomagolás végleges nem lesz
egy Core műveleti csomópont belép a Kera tervbe
tervezés, fúzió és leszállítás következik
ahol Kera nincs jelen, a Core Rust-natív marad
a szigorúság javítja az aritmetikát és a sorrendet
a kreativitás lehetővé teszi a szándékolt variációt
az LLVM-sáv egyszerűen hiányzik, nem áthúzva színpadiasan
Nincs LLVM IR szakasz a középpontban. Minden lépés megőrzi a gráf- és műveletszemantikát.
a kiválasztott útvonal bekerül a végrehajtási rekordba
gyűrűs all-reduce köti össze a partíciókat
egy csomópont meghibásodik, és ellenőrzőpontból áll helyre
effektusos csomópontok képességkapukon haladnak át
a nem deklarált képességet az ellenőrző elutasítja
külön régiók materializált köztes értékekkel
az indítási és bájt számlálók csökkennek
a grafikon megmarad minden későbbi szakaszban
minden mutató pontos teszt-hatókörű chipet hordoz, nem kitalált hardvert
az eredmények hardverenként eltérnek, a tesztkörnyezettel együtt közzétéve
minden kibocsátás más vektorszélességet használ
az új hash-ek csak az érintett ősökön terjednek tovább
a változatlan részgráfok megőrzik azonosságukat
válasszon ki egy csomópontot a szerkesztéshez
a token átlépi a gazda-, eszköz- és távoli tereket
a tervező ott tartja az értéket, ahol az a helyén van
általános élő tartományok műveleti kontextus nélkül
a gráfkontextus által formázott élő tartományok
a műveletből választott kibontás, vektorszélesség és spill-ek
minden cél a saját kibocsátott artefaktumát hordozza
ellenőrzés, build, vizsgálat, tervezés, futtatás, verifikálás
a gráfinspector megmutatja a típusokat és hatásokat
nem jelenik meg kitalált benchmark kimenet
minden mező egy tervezési döntést táplál
tények, amelyekkel a tervező még rendelkezik
kiválasztja a kernelt és a pontossági utat
méretezi a puffereket és a vektorszélességet
az értéket gazdagépen vagy eszközön helyezi el
határozza meg az élettartamot és az újrafelhasználást
korlátozza, hogy a csomópont mihez férhet hozzá
a közös ok a megőrzött szemantikus információ
A Kera láthatóvá teszi a műveleteket, hatásokat, tulajdonjogot és mozgást a forrásgráftól a cél-végrehajtásig. Olvassa el az architektúrát, vizsgálja meg a gráf IR-t, vagy hozzon egy olyan gyártási útvonalat, amelyet már optimalizáltak LLVM-en keresztül.
Közvetlen számítás. A gráf marad a program.
Ring allreduce, ellenőrzőpont-helyreállítás
x86-64 (SSE2/AVX2/AVX-512), ARM64 (NEON), RISC-V (Vector)
A Kera egy statikusan típusos rendszerprogramozási nyelv gráf-natív, tartalom-címzett IR-rel. Programokat .keg fájlokká, műveletek irányított aciklikus gráfjaivá fordít, és végrehajtja azokat CPU-n, GPU-n, FPGA-n és WASM-on. A Kera egyedi kódgenerálást használ x86-64, ARM64 és RISC-V esetén LLVM helyett, regiszterfoglalással és SIMD kernel kiválasztással. A mellékhatások nyomon követhetők, és a Rust-stílusú tulajdonjog kiterjed a hoszt, eszköz, rögzített és egyesített memóriára. A projekt egy Rust workspace elosztott végrehajtással, képesség-alapú biztonsággal és LSP eszközökkel.
Hozza magával a műveletet, alakzatokat, célt, kapcsolókat és determinizmus követelményeket, amelyeket gyártásban használ. Összehasonlítjuk a kibocsátott útvonalat, és megmutatjuk, hol változtatja meg az eredményt a gráf megtartása.
A Kera egyesít egy gráf-natív rendszerprogramozási nyelvet, egy tartalom-címzett IR-t, egy fordítót, egy JIT-et és egy heterogén végrehajtási rendszert. Láthatóvá teszi a típusokat, hatásokat, tulajdonjogot, adatfolyamot, memóriaterületeket és végrehajtási politikát, miközben cél-specifikus terveket készít a támogatott CPU, GPU, FPGA és WebAssembly útvonalakhoz. Az LLVM nem áll a fordítási lánc középpontjában.
A Kera árazása külön történik a licencelt telepítéseknél. Beszéljen velünk a célportfólióról, az elkülönített működésről, valamint a külön kiválasztott forrás-, felülvizsgálati vagy technológia-átadási jogokról.
A számítás megőrzi azonosságát a gép számára.
AI, robotika, pénzügy, tudomány, játékok
Dweve AI következtetési és szimulációs munkaterhelések
Programozási nyelv konzisztens, gyors számításhoz
A szoftver gyakran annyi fordítási rétegen megy keresztül, hogy a számítógép már nem látja a feladatot egészként. A Kera egyetlen gráfként szervezi a számítást, majd végrehajtási tervet készít a munkát végző gép számára. Ez eltávolíthatja a felesleges lépéseket, csökkentheti a mozgást, és világosabb nyilvántartást hagyhat arról, ami valójában lefutott.