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.
Asistencia para agentes de codificación y operadores. Las métricas de demostración son ilustrativas.
Terminal, búsqueda, lint, pruebas, git y más.
Recuerda tu código base y el contexto del equipo.
Agentes especializados colaboran en distintos ámbitos.
Cada paso se registra con marcas de tiempo.
Las políticas, comprobaciones y pruebas siempre se ejecutan.
Revisa los diffs, solicita cambios, aprobación final.
Reproduce cualquier sesión bit a bit cuando algo necesita revisión.
Leer retry.ts, rastrear el error de tiempo de espera
Agentes autónomos que escriben código y dejan constancia
para manejar tiempos de espera de red, respuestas 5xx y condiciones seguras para operaciones idempotentes. Helper puro, completamente probado.
un nodo modificado solo vuelve a generar la clave de su ascendencia afectada
modestas ganancias de un solo dígito en algunas rutas bit a bit
claras ganancias medias en sumas y activaciones
fuertes ganancias grandes en varias rutas de matrices y vectores
las celdas de paridad de nivel permanecen visibles, no se eliminan
las celdas neutras permanecen en el mapa
lo que se vuelve posible cuando el significado perdura
una multiplicación de matrices entra con diez datos conocidos
cada etapa de reducción convencional descarta varias tarjetas
el carril Kera conserva todas las tarjetas
los bucles, los punteros y la aritmética permanecen
Core Native se ejecuta en ejecución nativa de Rust
Core en Kera revela las capas de grafo y compilador
la vía nativa no está hecha para parecer rota
el grafo está particionado en cuatro nodos
un nodo falla y se restaura desde el punto de control
un borde de red no declarado se bloquea durante la planificación
la superficie se aprueba antes de ejecutarse
cada límite conlleva capacidades y controles del operador explícitos
control por debajo de la capa de servicio
Sin acceso directo a Kera en Fabric gestionado
El mismo grafo semántico se emite dentro del límite que elijas.
el grafo bruto ejecuta cada pasada por separado
tres intermedios eliminados, dos regiones fusionadas, un valor conservado en el dispositivo
una barra de ahorro cuenta lanzamientos, asignaciones, transferencias y bytes eliminados
no es una secuencia de instrucciones más corta
cada torre lleva un sello de publicación con el banco de pruebas, sin hardware inventado
las etiquetas de operación desaparecen en cada etapa de IR
las etiquetas sobreviven hasta el código de máquina específico del destino
los proyectos de compañeros abiertos quedan fuera del límite comercial
el carril convencional copia a través de seis espacios de memoria
un token de propiedad sigue cada movimiento
una transferencia eliminada es más rápida
una cadena convencional de múltiples propietarios
la cadena de un solo propietario de Kera, de grafo a máquina
el límite del controlador externo permanece en el borde
las propiedades se propagan solo a través del carril realmente licenciado
lleva el sistema resultante a las personas
cognición, organizaciones, conocimiento, cómputo
operaciones de IA, entrenamiento, inferencia, servicio
grafo, planificador, emisión directa, tiempo de ejecución
la máquina recibe trabajo moldeado para ella
se indica a qué puede acceder el trabajo
la misma tarjeta de trabajo se ajusta con un plan diferente para cada una
la soberanía depende de la configuración completa, no solo de la geografía
control por debajo de la aplicación visible
el usuario ve la capacidad de Fabric acordada arriba
Fabric gestionado en la Mesh pública de Dweve; sin acceso directo a Kera
Fabric en la Mesh pública dentro de su límite de procesamiento contratado
algunos pasos son mucho más rápidos que la ruta habitual
unos pocos casos son actualmente similares en velocidad
una barra más corta significa menos espera
una tarea da un largo rodeo por cajas de traducción
la ruta Kera sigue siendo un plan claro desde el trabajo hasta la máquina
el software no debería tomar el camino largo
la máquina recibe trabajo hecho para ella
la tarjeta de trabajo lleva su propia huella
un paso modificado crea una nueva huella
se registra qué plan de máquina se seleccionó
los paquetes pasan por siete salas de la forma habitual
la información permanece cerca de donde se necesita
menos resultados temporales y desplazamientos
un sistema sin conexión puede denegar el acceso a la red
no aparece ningún acceso oculto más tarde
Fabric y los productos se sitúan sobre Core
la ruta más profunda, donde tenga licencia
el hardware y los sistemas operativos externos se sitúan en el borde
una receta que pasa de mano en mano pierde su propósito
en Kera el propósito permanece unido a los pasos
la cocina aún puede tomar decisiones sensatas
no una versión genérica ajustada al final
los pasos que encajan se manejan como uno
sin trabajo preliminar que se usa una vez
menos demoras y menor consumo de energía
lo antiguo y lo nuevo quedan lado a lado
la ruta más profunda, donde esté licenciada
una tarea estricta produce el mismo patrón cada vez
una tarea con semilla repite una variación
una tarea creativa permite diferentes patrones
sin cambios accidentales en otra máquina
la superficie de la aplicación sigue siendo amigable y sencilla
un corte transversal revela el plan de Kera y el trabajo de la máquina debajo
no hay controles de Kera en el uso ordinario
recibes un comportamiento más rápido y estable
las celdas naranjas marcan victorias medidas
las celdas con contorno marcan análisis pendiente
evalúa con referencia la compilación que usas
inspecciona qué hechos produjeron la diferencia
evidencia en la que se apoyan las afirmaciones
las celdas de paquetes desconocidos permanecen descritas hasta que el empaquetado esté finalizado
un nodo de operación Core entra en el plan de Kera
la planificación, la fusión y la reducción siguen
donde Kera no está presente, Core permanece nativo en Rust
con semilla repite la variación por semilla
el carril LLVM simplemente está ausente, no tachado teatralmente
una cadena de bajada con un único propietario
No hay ninguna etapa de IR de LLVM en el centro. Cada paso mantiene disponibles la semántica de grafo y de operación.
la ruta seleccionada se escribe en el registro de ejecución
el anillo all-reduce conecta las particiones
los nodos con efectos pasan por las puertas de capacidad
una capacidad no declarada es rechazada por el verificador
lo puro y lo externo permanecen distintos
el orden no puede romperse silenciosamente
regiones separadas con intermedios materializados
una región, valores retenidos localmente
los contadores de lanzamiento y de bytes caen
no solo flujos de instrucciones más cortos
el grafo se retiene en todas las etapas posteriores
no es una vista temporal del optimizador
cada barra lleva un chip exacto de alcance de prueba, sin hardware inventado
los resultados varían según el hardware, publicados con el arnés
cada emisión usa un ancho de vector diferente
VLEN, establecido en tiempo de ejecución
los nuevos hashes se propagan solo a través de la ascendencia afectada
los subgrafos sin cambios conservan su identidad
el token cruza espacios de host, dispositivo y remoto
el planificador mantiene el valor donde corresponde
el planificador tiene el grafo completo a la vista
Cronología de la asignación de registros
rangos de vida genéricos sin contexto de operación
rangos de vida conformados por el contexto del grafo
desenrollado, ancho de vector y derrames elegidos a partir de la operación
una arquitectura de optimización diferente
cada destino lleva su propio artefacto emitido
comprobar, compilar, inspeccionar, planificar, ejecutar, verificar
el inspector de grafos muestra tipos y efectos
no se muestra ninguna salida de benchmark fabricada
cada campo alimenta una decisión del planificador
dimensiona los búferes y el ancho de vector
coloca el valor en el host o en el dispositivo
la causa común es la información semántica retenida
Kera mantiene visibles las operaciones, los efectos, la propiedad y el movimiento, desde el grafo fuente hasta la ejecución en el destino. Lee la arquitectura, inspecciona el IR del grafo o tráenos una ruta de producción que ya haya sido optimizada mediante LLVM.
Cómputo directo. El grafo sigue siendo el programa.
Ring allreduce, recuperación de puntos de control
Síntesis Verilog, estimación de recursos
x86-64 (SSE2/AVX2/AVX-512), ARM64 (NEON), RISC-V (Vector)
Kera es un lenguaje de sistemas con tipado estático y un IR nativo de grafo y direccionado por contenido. Compila programas a archivos .keg, grafos acíclicos dirigidos de operaciones, y los ejecuta en CPU, GPU, FPGA y WASM. Kera usa generación de código personalizada para x86-64, ARM64 y RISC-V en lugar de LLVM, con asignación de registros y selección de kernels SIMD. Los efectos secundarios se rastrean, y la propiedad de estilo Rust abarca memoria de host, dispositivo, fijada y unificada. El proyecto es un workspace de Rust con ejecución distribuida, seguridad basada en capacidades y herramientas LSP.
Trae la operación, las formas, el destino, las banderas y los requisitos de determinismo que usas en producción. Compararemos la ruta emitida y mostraremos dónde conservar el grafo cambia el resultado.