Kera | Deterministic Systems Language and Compiler

Asystent kodowania i wsparcie operatora. Metryki demonstracyjne mają charakter poglądowy.

Terminal, wyszukiwanie, lint, testy, git i więcej.

Zapamiętuje kontekst Twojej bazy kodu i zespołu.

Wyspecjalizowani agenci współpracują w różnych obszarach.

Każdy krok jest rejestrowany z datą i godziną.

Zasady, kontrole i testy są zawsze uruchamiane.

Przeglądaj diffy, żądaj zmian, finalnie zatwierdzaj.

Odtwórz dowolną sesję bit po bicie, gdy coś wymaga przeglądu.

Przeczytaj retry.ts, wykryto błąd przekroczenia limitu czasu

Wyodrębnij guard + ogranicz liczbę ponowień

Autonomiczne agenty, które piszą kod i zostawiają ślad

do obsługi limitów czasu sieci, odpowiedzi 5xx i warunków bezpiecznych dla idempotencji. Czysta funkcja pomocnicza, w pełni pokryta testami jednostkowymi.

jeden zmieniony węzeł ponownie kluczuje tylko swoje dotknięte pochodzenie

niewielkie jednocyfrowe zyski na niektórych ścieżkach bitowych

wyraźne średnie zyski na dodawaniach i aktywacjach

duże, wyraźne zyski na kilku ścieżkach macierzowych i wektorowych

komórki z remisami pozostają widoczne, nie są usuwane

co staje się możliwe, gdy znaczenie przetrwa

mnożenie macierzy wchodzi z dziesięcioma znanymi faktami

każdy konwencjonalny etap obniżania odrzuca kilka kart

Rdzeń natywny działa na natywnej egzekucji w Rust

Rdzeń na Kerze ujawnia warstwę grafu i kompilatora

pas natywny nie jest stworzony, aby wyglądać na zepsuty

tryb z ziarnem daje jeden skrót na ziarno

graf jest spartycjonowany na cztery węzły

jeden węzeł ulega awarii i przywraca się z punktu kontrolnego

niezadeklarowana krawędź sieci jest blokowana podczas planowania

powierzchnia jest zatwierdzana przed uruchomieniem

każda granica niesie ze sobą jawne możliwości i sterowanie operatora

Brak bezpośredniego dostępu do Kera w zarządzanym Fabric

Ten sam graf semantyczny jest emitowany wewnątrz dowolnej wybranej granicy.

surowy graf uruchamia każdy przebieg osobno

usunięto trzy elementy pośrednie, połączono dwa regiony, jedną wartość pozostawiono na urządzeniu

pasek oszczędności zlicza uruchomienia, alokacje, transfery i usunięte bajty

każda wieża nosi pieczęć publikacji z zestawem testowym, bez zmyślonego sprzętu

etykiety operacji znikają na każdym etapie IR

etykiety przetrwają do docelowego kodu maszynowego

otwarte projekty towarzyszące znajdują się poza granicą komercyjną

konwencjonalny tor kopiuje przez sześć przestrzeni pamięci

konwencjonalny łańcuch z wieloma właścicielami

łańcuch Kera od grafu do maszyny z jednym właścicielem

granica zewnętrznego sterownika pozostaje na krawędzi

właściwości propagują się tylko przez faktycznie licencjonowany tor

poznanie, organizacje, wiedza, obliczenia

operacje AI, trenowanie, wnioskowanie, serwowanie

graf, planer, bezpośrednia emisja, środowisko uruchomieniowe

każdy plan prowadzi z powrotem do tego samego skrótu grafu

maszyna otrzymuje pracę dopasowaną do niej

to, czego może dotknąć praca, jest określone

ta sama karta pracy jest dopasowana do każdej z innym planem

suwerenność zależy od pełnej konfiguracji, nie tylko od geografii

użytkownik widzi powyżej uzgodnioną funkcję Fabric

zarządzany Fabric w publicznej sieci Dweve Mesh; bez bezpośredniego dostępu do Kera

Fabric w publicznej sieci Mesh w ramach umownej granicy przetwarzania

niektóre kroki działają znacznie szybciej niż zwykła ścieżka

kilka przypadków ma obecnie podobną szybkość

krótszy pasek oznacza krótsze oczekiwanie

jedno zadanie przechodzi długą zygzakowatą drogę przez pola tłumaczenia

trasa Kera pozostaje jednym jasnym planem od zadania do maszyny

maszyna otrzymuje pracę przygotowaną dla niej

zapisano, który plan maszyny został wybrany

przesyłki przechodzą przez siedem pomieszczeń w zwykły sposób

informacje pozostają blisko miejsca, w którym są potrzebne

system offline może odmówić dostępu do sieci

żaden ukryty dostęp nie pojawia się później

Fabric i produkty znajdują się ponad Core

zewnętrzny sprzęt i systemy operacyjne znajdują się na obrzeżach

przepis przekazywany z rąk do rąk traci swój cel

w Kerze cel pozostaje związany z krokami

kuchnia może nadal podejmować rozsądne decyzje

kroki, które pasują, są traktowane jako jeden

jego własna szybka ścieżka jest zawsze dostępna

głębsza trasa, tam gdzie licencja na to pozwala

nigdy tego nie wybiera ani nie konfiguruje

zadanie ścisłe daje ten sam wzór za każdym razem

zadanie z zasiewem powtarza jeden wariant

zadanie kreatywne pozwala na różne wzory

brak przypadkowych zmian na innym komputerze

powierzchnia aplikacji pozostaje przyjazna i prosta

przekrój ukazuje plan Kera i pracę maszyny poniżej

w zwykłym użytkowaniu nie ma żadnych elementów sterujących Kera

bezpośrednia ścieżka pozostaje pod spodem

otrzymujesz szybsze, stabilniejsze działanie

pomarańczowe komórki oznaczają zmierzone wygrane

komórki z obrysem oznaczają oczekującą analizę

sprawdź, które fakty spowodowały różnicę

nieznane komórki pakietów pozostają niewypełnione do czasu sfinalizowania pakietowania

węzeł operacji Core wchodzi do planu Kera

po planowaniu, fuzji i obniżaniu następuje

tam, gdzie nie ma Kera, Core pozostaje natywny dla Rust

Rygorystyczna, z ziarnem, kreatywna różnica

rygorystyczność naprawia arytmetykę i kolejność

ziarno powtarza wariację dla każdego ziarna

kreatywność pozwala na zamierzoną wariację

ścieżka LLVM po prostu nie istnieje, nie jest teatralnie przekreślona

Żaden etap IR LLVM nie znajduje się w centrum. Każdy krok zachowuje dostępność semantyki grafu i operacji.

wybrana ścieżka jest zapisywana w rekordzie wykonania

jeden węzeł ulega awarii i przywraca z punktu kontrolnego

węzły z efektami przechodzą przez bramki możliwości

niezadeklarowana możliwość jest odrzucana przez weryfikator

zadeklarowane, uporządkowane, dopuszczone

osobne regiony z materializowanymi pośrednimi

jeden region, wartości przechowywane lokalnie

graf jest zachowywany na każdym późniejszym etapie

nie jest to tymczasowy widok optymalizatora

każdy pasek zawiera dokładny chip zakresu testów, bez wymyślonego sprzętu

wyniki różnią się w zależności od sprzętu, opublikowane z oprzyrządowaniem

każda emisja używa innej szerokości wektora

nowe hasła propagują się tylko przez zmienionych przodków

niezmienione podgrafy zachowują swoją tożsamość

token przechodzi przez przestrzenie hosta, urządzenia i zdalne

planista trzyma wartość tam, gdzie powinna być

ogólne zakresy żywotności bez kontekstu operacji

zakresy żywotności ukształtowane przez kontekst grafu

rozwinięcie pętli, szerokość wektorów i spill wybrane z operacji

każdy cel niesie własny wyemitowany artefakt

sprawdź, zbuduj, przejrzyj, zaplanuj, uruchom, zweryfikuj

nie są wyświetlane zmyślone wyniki benchmarków

określa rozmiary buforów i szerokość wektorów

umieszcza wartość na hoście lub urządzeniu

jedna dzięki bezpośredniemu SIMD i kształtowi

wspólna przyczyna to zachowana informacja semantyczna

Kera utrzymuje operacje, efekty, własność i przepływ widoczne od grafu źródłowego do wykonania docelowego. Przeczytaj o architekturze, przejrzyj IR grafu lub przynieś nam ścieżkę produkcyjną, która została już zoptymalizowana przez LLVM.

Bezpośrednie obliczenia. Graf pozostaje programem.

Ring allreduce, odzyskiwanie punktów kontrolnych

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

Kera to statycznie typowany język systemowy z natywnym dla grafów, adresowanym zawartością IR. Kompiluje programy do plików .keg, skierowanych grafów acyklicznych operacji, i wykonuje je na CPU, GPU, FPGA oraz WASM. Kera używa własnego generowania kodu dla x86-64, ARM64 i RISC-V zamiast LLVM, z alokacją rejestrów i wyborem jąder SIMD. Efekty uboczne są śledzone, a własność w stylu Rusta obejmuje pamięć hosta, urządzenia, przypiętą i zunifikowaną. Projekt to workspace Rusta z rozproszonym wykonywaniem, bezpieczeństwem opartym na zdolnościach i narzędziami LSP.

Przynieś operację, kształty, cel, flagi i wymagania determinizmu, których używasz w produkcji. Porównamy wygenerowaną ścieżkę i pokażemy, gdzie zachowanie grafu zmienia wynik.

Jeden graf. Wykonanie zaplanowane dla celu.

Kera łączy natywny dla grafów język systemowy, adresowany zawartością IR, kompilator, JIT i heterogeniczny system wykonywania. Utrzymuje typy, efekty, własność, przepływ danych, przestrzenie pamięci i politykę wykonywania widoczne, tworząc plany specyficzne dla celu dla obsługiwanych ścieżek CPU, GPU, FPGA i WebAssembly. LLVM nie jest w centrum łańcucha kompilacji.

Kera jest wyceniana osobno dla licencjonowanych wdrożeń. Porozmawiaj z nami o portfolio celów, izolowanym działaniu i osobno wybranych prawach do źródła, przeglądu lub transferu technologii.

Obliczenia zachowują swoją tożsamość aż do maszyny.

Natywny kod maszynowy przez własny kompilator JIT

Język programowania do spójnych, szybkich obliczeń

Oprogramowanie często przechodzi przez tak wiele warstw tłumaczenia, że komputer nie widzi już zadania jako całości. Kera utrzymuje obliczenia zorganizowane jako jeden graf, a następnie przygotowuje plan wykonania dla maszyny wykonującej pracę. To może usunąć zbędne kroki, zmniejszyć przepływ i pozostawić wyraźniejszy zapis tego, co faktycznie zostało uruchomione.

Dweve Kera to grafowy język systemowy i kompilator do deterministycznych obliczeń na heterogenicznym sprzęcie. Jego statycznie typowana, adresowana zawartościowo reprezentacja pośrednia utrzymuje operację widoczną przez planowanie, a następnie emituje kod dla CPU, GPU, FPGA i WebAssembly. Graf pozostaje programem.