Kera | Deterministic Systems Language and Compiler

Винаги едно и също. Няма какво да се учи.

Асистент за кодиране и операторска помощ. Демо метриките са илюстративни.

Терминал, търсене, lint, тестове, git и други.

Запомня вашата кодова база и контекста на екипа.

Специализирани агенти си сътрудничат по различни аспекти.

Всяка стъпка се записва с времеви клейма.

Политики, проверки и тестове винаги се изпълняват.

Прегледайте дифовете, поискайте промени, финален подпис.

Възпроизведете всяка сесия бит за бит, когато нещо трябва да се прегледа.

Прочети retry.ts, откри грешка с таймаут

Извади guard + ограничи повторните опити

Автономни агенти, които пишат код и водят отчетност

за обработка на мрежови таймаути, 5xx отговори и идемпотентно безопасни условия. Чист помощник, напълно покрит с unit тестове.

при промяна на един възел се прекодира само засегнатото наследство

скромни едноцифрени подобрения по някои битови пътища

ясни средни подобрения при събиранията и активациите

силни големи подобрения по няколко матрични и векторни пътища

клетките с пълен паритет остават видими, не се изтриват

какво става възможно, когато смисълът оцелее

матрично умножение влиза с десет известни факта

всеки конвенционален етап на понижаване изхвърля няколко карти

циклите, указателите, аритметиката остават

Core Native работи върху изпълнение, родно за Rust

Core върху Kera разкрива слоевете на графа и компилатора

лентата Native не е направена да изглежда счупена

един възел се поврежда и се възстановява от контролна точка

недеклариран мрежов ръб се блокира по време на планирането

повърхността се одобрява, преди да се изпълни

Граница на услугата, управлявана от Dweve

всяка граница носи изрични възможности и операторски контроли

Няма директен достъп до Kera в управлявания Fabric

Същата семантична графика се излъчва във всяка граница, която изберете.

суровата графика изпълнява всяко преминаване поотделно

три междинни резултата премахнати, две области обединени, една стойност запазена на устройството

лента за икономии отчита стартирания, разпределения, трансфери и премахнати байтове

не по-кратка инструкционна последователност

работа, която никога не трябва да съществува

всяка кула носи печат за публикуване с тестовата среда, без измислен хардуер

етикетите на операциите отпадат на всеки етап от IR

етикетите оцеляват до целевия машинен код

отворените спътникови проекти са извън търговската граница

конвенционалната лента копира през шест паметови пространства

токен за собственост следва всяко преместване

конвенционална верига с множество собственици

веригата на Kera от граф до машина с един собственик

границата на външния драйвер остава на ръба

свойствата се разпространяват само през действително лицензираната лента

включено, когато споразумението го изисква

познание, организации, знание, изчисления

AI операции, обучение, извод, обслужване

граф, планировчик, директно издаване, време за изпълнение

всеки план води обратно към същия хеш на графа

машината получава работа, оформена за нея

до какво може да докосне работата е посочено

една и съща карта за задача се напасва с различен план за всяка

суверенитетът зависи от пълната настройка, не само от географията

потребителят вижда договорената функционалност на Fabric отгоре

управляван Fabric в публичната мрежа Dweve Mesh; без директен достъп до Kera

Fabric в публичната мрежа в рамките на договорената му граница за обработка

някои стъпки са много по-бързи от обичайния път

няколко случая в момента са с подобна скорост

по-късата лента означава по-малко чакане

една задача прави дълъг зигзаг през полетата за превод

маршрутът на Kera остава един ясен план от задачата до машината

софтуерът не трябва да поема по дългия път

машината получава работа, създадена за нея

картата на поръчката носи собствен пръстов отпечатък

променена стъпка създава нов пръстов отпечатък

пратките преминават през седем стаи по обичайния начин

информацията остава близо до мястото, където е необходима

премахнете това, което никога не е било необходимо

офлайн система може да откаже мрежов достъп

без скрит достъп, който се появява по-късно

запазва резултати, които може да съхранява

по-дълбокият маршрут, където е лицензирано

външният хардуер и операционните системи са на периферията

рецепта, преминала през хора, губи целта си

в Kera целта остава прикрепена към стъпките

кухнята все още може да взема разумни решения

стъпки, които пасват, се обработват като едно

по-малко преместване на данни в машината

по-малко закъснения и по-ниска консумация на енергия

задачата получава свой собствен отпечатък

по-дълбокият маршрут, където е лицензиран

постоянен, със зададена основа, разнообразен

строга задача дава един и същ модел всеки път

задача със зададена основа повтаря една вариация

творческа задача позволява различни модели

повърхността на приложението остава приятелска и проста

разрез разкрива плана Kera и машинната работа отдолу

няма контроли на Kera при обичайна употреба

получавате по-бързо и по-стабилно поведение

оранжевите клетки отбелязват измерени победи

клетките с контур отбелязват чакащ анализ

бенчмарк на компилацията, която използвате

проверете кои факти са довели до разликата

доказателства, на които стъпват твърденията

неизвестните клетки на пакетите остават очертани, докато пакетирането не е финално

възел на операция на Core влиза в плана на Kera

където Kera отсъства, Core остава роден за Rust

строгият режим оправя аритметиката и подредбата

със сийд се повтаря вариацията за всеки сийд

творческият режим позволява предвидена вариация

LLVM лентата просто отсъства, не е зачеркната театрално

В центъра няма етап на LLVM IR. Всяка стъпка запазва семантиката на графа и операциите.

избраният път се записва в записа за изпълнение

пръстеновидно all-reduce свързва дяловете

ефектните възли преминават през порти за възможности

недекларирана възможност се отхвърля от проверяващия

подреждането не може да бъде мълчаливо нарушено

separate regions with materialised intermediates

графиката се запазва на всеки по-късен етап

всеки показател носи точен чип за обхват на теста, без измислен хардуер

резултатите варират според хардуера, публикувани с тестовата среда

всяко генериране използва различна ширина на векторите

честно относно поддръжката за всяка архитектура

новите хешове се разпространяват само през засегнатото потекло

непроменените подграфи запазват идентичността си

токенът преминава през пространствата на хост, устройство и отдалечено

планировчикът запазва стойността там, където ѝ е мястото

Хронология на разпределението на регистрите

общи живи интервали без контекст на операцията

живи интервали, оформени от контекста на графа

разгъване, ширина на вектора и разливи, избрани от операцията

всяка цел носи свой собствен генериран артефакт

проверка, изграждане, инспекция, планиране, изпълнение, верификация

инспекторът на графа показва типовете и ефектите

не се показва изфабрикуван бенчмарк изход

всяко поле захранва решение на планировчика

определя размера на буферите и ширината на вектора

поставя стойността на хоста или устройството

ограничава жизнения цикъл и повторната употреба

ограничава до какво може да докосва възелът

общата причина е запазената семантична информация

Kera поддържа операциите, ефектите, собствеността и движението на данни видими от графа на изходния код до изпълнението върху целевата платформа. Прочетете архитектурата, разгледайте IR графа или ни донесете производствен път, който вече е оптимизиран чрез LLVM.

Директно изчисление. Графът остава програмата.

Пръстеновиден allreduce, възстановяване от контролни точки

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

Kera е статично типизиран системен език с граф-ориентиран IR, адресиран по съдържание. Компилира програми до .keg файлове, насочени ациклични графи на операции, и ги изпълнява върху CPU, GPU, FPGA и WASM. Kera използва собствено генериране на код за x86-64, ARM64 и RISC-V вместо LLVM, с разпределение на регистри и избор на SIMD ядра. Страничните ефекти се проследяват, а собствеността в стил Rust обхваща хост, устройство, фиксирана и обединена памет. Проектът е Rust workspace с разпределено изпълнение, сигурност, базирана на възможности, и LSP инструменти.

Донесете операцията, формите, целевата платформа, флаговете и изискванията за детерминизъм, които използвате в производство. Ще сравним генерирания път и ще покажем къде запазването на графа променя резултата.

Един граф. Изпълнение, планирано за целевата платформа.

Персонализиран JIT, без зависимост от LLVM

Kera съчетава граф-ориентиран системен език, IR, адресиран по съдържание, компилатор, JIT и хетерогенна система за изпълнение. Той поддържа типовете, ефектите, собствеността, потока от данни, паметта и политиката за изпълнение видими, докато създава планове, специфични за целевата платформа, за поддържаните CPU, GPU, FPGA и WebAssembly пътища. LLVM не е в центъра на компилационната верига.

Един граф. План за всяка целева платформа.

Kera се лицензира отделно за лицензирани внедрявания. Говорете с нас за портфолиото от целеви платформи, изолираната работа и всякакви отделно избрани права за изходен код, преглед или трансфер на технологии.

Изчислението запазва идентичността си до машината.

Собствен машинен код чрез персонализиран JIT компилатор