{"kera-hero-glyph.63f5b4e967":"bit-for-bit · 6 alvos","kera-hero-glyph.7f5bc5b5e0":"4 ops · 1 grafo","kera-hero-glyph.6757848af7":"DETERMINÍSTICO","kera-hero-glyph.b7e402267d":"xmm0, xmm1, xmm2","kera-hero-glyph.7c1edc585e":"KERA:GRAPH · 9f4c2a","kera-hero-glyph.271973aefe":"xMidYMid meet","kera-hero-glyph.c914763746":"acíclico dirigido","kera-hero-glyph.4b0bb22353":"IR de grafo","kera-hero-glyph.8b201083a7":"puro · sem LLVM · sem GC","kera-hero-glyph.14878f89f6":"Compilado","kera-hero-glyph.7be5de5882":"compilador nativo de grafo ·","kera-hero-glyph.1a2e6a35a3":"Dweve Kera [v1.0.0]","kera-hero-glyph.61cc55aa04":"Xor","kera-hero-glyph.84acd8bc95":"Xor","kera-business-glyph.b57dd9805c":"Todos os direitos reservados","kera-business-glyph.a92831c31f":"Feito nos Países Baixos","kera-business-glyph.3fe9901ae8":"O mesmo programa é executado em","kera-business-glyph.8cdde04eea":"Com Kera","kera-business-glyph.56d5a5605b":"Sem Kera","kera-business-glyph.8ac7aa173f":"O que obtém","kera-business-glyph.08b22e1ba0":"Um contrato","kera-business-glyph.d5f412e831":"Kera","kera-business-glyph.005fd98d0b":"Painel de resultados","kera-business-glyph.4e946026a7":"WASM","kera-business-glyph.cef7f9bd36":"FPGA","kera-business-glyph.a6a6318544":"GPU","kera-business-glyph.ff221d4752":"CPU","kera-business-glyph.13eda1aa9b":"Nenhum, tudo explícito","kera-business-glyph.b0c6296753":"Comportamento indefinido","kera-business-glyph.ad05929824":"Surpresas em tempo de execução","kera-business-glyph.20fe0bc90a":"Reprodutível por conceção","kera-business-glyph.38c0a17432":"Difícil de reconstruir","kera-business-glyph.9f2fd37a9c":"Auditoria e repetição","kera-business-glyph.a8565e2ba8":"Uma linguagem, todos os chips","kera-business-glyph.84544ee5cb":"Reconstruído por fornecedor","kera-business-glyph.bcb0410330":"Alvos de computação","kera-business-glyph.287bfff429":"Idêntico, bit a bit","kera-business-glyph.e6f3dca8fa":"Varia consoante a máquina","kera-business-glyph.ebf7bdcae3":"Resultados em diferentes hardware","kera-consumer-glyph.5e31591036":"Sempre o mesmo. Nada para aprender.","kera-consumer-glyph.f7e1292a46":"Seguido em qualquer lugar","kera-consumer-glyph.d5f412e831":"Kera","kera-consumer-glyph.ba434a333f":"A mesma receita","kera-consumer-glyph.5ef71c13ae":"Obter o mesmo resultado","kera-consumer-glyph.8261302aee":"Siga-os por ordem","kera-consumer-glyph.e901eb3303":"Dê os mesmos passos","kera-consumer-glyph.ab1f9ad6b1":"no trabalho","kera-consumer-glyph.8b8c5250f8":"Numa máquina grande","kera-consumer-glyph.48e83d5768":"em movimento","kera-consumer-glyph.f3a96713b7":"Num telemóvel","kera-consumer-glyph.775c9eb98b":"em casa","kera-consumer-glyph.e3cde12066":"Num portátil","aura-ask-grid.af0854de67":"Aura","aura-business-sides.a0853da24b":"Ficha técnica","aura-business-visuals.40417391c5":"Aura · resolve","aura-business-visuals.271973aefe":"xMidYMid meet","aura-business-visuals.3e91add48a":"BOARD","aura-showcase.eyebrow":"Plataforma Dweve","aura-showcase.subtitle":"Assistência de agente de codificação e operador. As métricas de demonstração são ilustrativas.","aura-showcase.pillTools":"Mais de 25 ferramentas","aura-showcase.pillRunning":"em execução","aura-showcase.pillAnalysing":"a analisar a base de código","aura-showcase.capabilityToolsTitle":"Mais de 25 ferramentas","aura-showcase.capabilityToolsBody":"Terminal, pesquisa, lint, testes, git e mais.","aura-showcase.capabilityMemoryTitle":"Memória semântica","aura-showcase.capabilityMemoryBody":"Lembra-se da sua base de código e do contexto da equipa.","aura-showcase.capabilityAgentsTitle":"Orquestração multiagente","aura-showcase.capabilityAgentsBody":"Agentes especializados colaboram em diferentes áreas.","aura-showcase.guaranteeAuditTitle":"Trilho de auditoria","aura-showcase.guaranteeAuditBody":"Cada passo é registado com carimbos de data e hora.","aura-showcase.guaranteeGuardrailsTitle":"Salvaguardas","aura-showcase.guaranteeGuardrailsBody":"Políticas, verificações e testes são sempre executados.","aura-showcase.guaranteeApprovalTitle":"Alterações de código com aprovação","aura-showcase.guaranteeApprovalBody":"Revise diffs, peça alterações, aprovação final.","aura-showcase.guaranteeReplayTitle":"Repetição determinística","aura-showcase.guaranteeReplayBody":"Repita qualquer sessão bit a bit quando algo precisar de revisão.","aura-showcase.workflowUnderstand":"Compreender","aura-showcase.workflowUnderstandCaption":"Ler retry.ts, bug de timeout rastreado","aura-showcase.workflowPlan":"Planear","aura-showcase.workflowPlanCaption":"Extrair guard + limitar tentativas","aura-showcase.workflowImplement":"Implementar","aura-showcase.workflowImplementCaption":"Corrigido retry.ts + types.ts","aura-showcase.workflowTest":"Testar","aura-showcase.workflowTestCaption":"28 testes, 94% de cobertura","aura-showcase.workflowVerify":"Verificar","aura-showcase.workflowVerifyCaption":"A executar lint e typecheck...","aura-showcase.workflowAudit":"Auditar","aura-showcase.workflowAuditCaption":"A aguardar resumo escrito","aura-showcase.footer":"Agentes autónomos que escrevem código e mantêm registos","aura-showcase.testsPassing":"a passar","aura-showcase.testsFailing":"a falhar","aura-showcase.modified":"modificado","aura-showcase.af0854de67":"Aura","aura-showcase.73989d9c59":"Em execução","aura-showcase.f9e94338d0":"A analisar a base de código","aura-showcase.d7a484140f":"Fluxo de trabalho","aura-showcase.287fda8114":"Unificado","aura-showcase.80e13549b4":"Cobertura","aura-showcase.b71cc78b34":"Extraído isRetryableError","aura-showcase.c37a8a9e2b":"para lidar com\n                    timeouts de rede, respostas 5xx e condições\n                    seguras para idempotência. Helper puro, totalmente testado por unidades.","aura-tech-middles.7fba7d244f":"Caminho ativo","aura-tech-middles.1be47ef71c":"Transversal","aura-tech-middles.92096d78df":"Entrada","aura-tech-middles.8e05a902ed":"Saída","aura-tech-middles.49a66c994d":"Agentes incorporados","aura-tech-middles.a60792e996":"Ciclo externo","aura-tech-middles.0dfd4db698":"Ciclo interno","aura-tech-middles.bbd88bff92":"Pedido recebido","aura-tech-middles.a618b4be8d":"Consulta","aura-tech-middles.a4942c26d0":"SELECT","aura-tech-middles.2cb479aa15":"* FROM","aura-tech-middles.1c255b91e7":"WHERE","aura-tech-middles.2164bde64d":"ORDER BY","aura-tech-middles.82dd2cdf36":"Bloco","aura-tech-middles.271973aefe":"xMidYMid meet","core-extras.96d330537a":"IR base","core-extras.bee831a169":"Substrato","core-extras.61a0822826":"Aplicações no Core","core-extras.15438cc098":"não suportado","core-extras.ad565d9d01":"Funcionalidade","core-extras.0155bf03e5":"Legenda do segmento","core-extras.8b7110078e":"Grupos de algoritmos por tipo de dados","core-extras.25ab4276a6":"Matriz de capacidades com deslocamento","kera-b-asset.f97c480441":"Certificado de compilação","kera-b-asset.74c70e83a9":"endereçado","kera-b-asset.22f8f5ecc3":"identidade por conteúdo","kera-b-asset.2827efb084":"hash do grafo","kera-b-asset.73efba54ac":"contagem de nós","kera-b-asset.87bcfbb151":"efeitos declarados","kera-b-asset.e87e846a2b":"exportações","kera-b-asset.f5e4814953":"planos aprovados","kera-b-asset.dde2d174a7":"um nó alterado só reconfigura a sua ascendência afetada","kera-b-asset.6bddc96786":"o artefacto é inspecionável","kera-b-asset.20cfe8fa86":"antes de ser executável","kera-b-asset.f4803cfafc":"model.keg","kera-b-asset.b192e7faea":"ascendência afetada","kera-b-asset.47156feb2e":"nó alterado","kera-b-asset.6bb2bf4b4b":"reconfigurado","kera-b-asset.11a434ae48":"inalterado, identidade mantida","kera-b-asset.5d2b90a4c4":"selado","kera-b-asset.95c04d945d":"tipos de conteúdo","kera-b-asset.e851b910d1":"cadeia de ferramentas","kera-b-asset.2f2afa2d7c":"plano alvo","kera-b-asset.67c48841e8":"aprovado e fixado","kera-b-broad-bench.65eec5b311":"Mapa de operações","kera-b-broad-bench.53861851a1":"honesto","kera-b-broad-bench.8e7f031701":"ganhos e paridade","kera-b-broad-bench.ababc1589c":"ganhos modestos de um dígito em alguns caminhos bit a bit","kera-b-broad-bench.76445c8888":"ganhos médios claros em adições e ativações","kera-b-broad-bench.6aad2ced77":"ganhos fortes e grandes em vários caminhos de matriz e vetor","kera-b-broad-bench.7f1700f4aa":"células de paridade de nível permanecem visíveis, não eliminadas","kera-b-broad-bench.cf1e25eb23":"famílias de operações não relacionadas","kera-b-broad-bench.b1382f21f1":"células neutras permanecem no mapa","kera-b-broad-bench.1910fc39f0":"bit a bit","kera-b-broad-bench.9913b746d0":"adições","kera-b-broad-bench.9afd89eb88":"ativações","kera-b-broad-bench.72bdf2267c":"matemática vetorial","kera-b-broad-bench.d15695348c":"caminhos de matriz","kera-b-broad-bench.89f6229a11":"pequeno","kera-b-broad-bench.20af418657":"médio","kera-b-broad-bench.5296d5cced":"grande","kera-b-broad-bench.e35064c4a7":"legenda da banda","kera-b-close.9e3c1d591d":"Base de evidências","kera-b-close.100ec4462d":"evidência","kera-b-close.d6fa024673":"a banda empresarial","kera-b-close.4e306c16e8":"grafo endereçado por conteúdo","kera-b-close.6c7b5aa685":"JIT personalizado","kera-b-close.b4abc3fba1":"sem núcleo LLVM","kera-b-close.bee075373f":"estrutura de benchmark","kera-b-close.d55b905b16":"planos específicos para o alvo","kera-b-close.19f0c7e744":"trazer o código já otimizado","kera-b-close.aeca9cf8b9":"o que se torna possível quando o significado sobrevive","kera-b-close.f76b5196b3":"a evidência, numa banda","kera-b-compiler-tax.1a0b4466b0":"Registo semântico","kera-b-compiler-tax.f096faa634":"reduzido","kera-b-compiler-tax.0f98f33370":"dez factos entram, três saem","kera-b-compiler-tax.961a2157ea":"uma multiplicação de matrizes entra com dez factos conhecidos","kera-b-compiler-tax.622278635a":"cada fase de redução convencional descarta vários cartões","kera-b-compiler-tax.5f20f7eb31":"a via Kera mantém todos os cartões","kera-b-compiler-tax.937e59b151":"ciclos, ponteiros, aritmética permanecem","kera-b-compiler-tax.925d913e85":"o significado já se perdeu","kera-b-compiler-tax.19c2173bd9":"operação matmul","kera-b-compiler-tax.3d878661c3":"entradas Q16.16","kera-b-compiler-tax.39ec9629c4":"forma 512x512","kera-b-compiler-tax.03287dce1d":"disposição por linhas","kera-b-compiler-tax.f3266ee839":"contrato de precisão","kera-b-compiler-tax.b67c6fe021":"efeito puro","kera-b-compiler-tax.39e98cba2f":"região do dispositivo","kera-b-compiler-tax.9408245670":"candidato a fusão","kera-b-compiler-tax.67ba446843":"indicação de bloco","kera-b-compiler-tax.fb1a4a9f3b":"eixo de redução","kera-b-compiler-tax.5062a63a99":"convencional","kera-b-compiler-tax.d5f412e831":"Kera","kera-b-compiler-tax.3c45c4ff87":"IR tipado","kera-b-compiler-tax.27d4c58d54":"IR LLVM","kera-b-compiler-tax.7817c52b25":"máquina","kera-b-compiler-tax.29560f4f08":"dez mantidos","kera-b-compiler-tax.e973463ad8":"três mantidos","kera-b-core-boundary.a36f7c719b":"Limite do Core","kera-b-core-boundary.94d5cab6f5":"separar","kera-b-core-boundary.c6187a973a":"Nativo e em Kera","kera-b-core-boundary.64e25677ba":"O Core Nativo executa em execução nativa em Rust","kera-b-core-boundary.2b84aa2490":"O Core em Kera revela camadas de grafo e compilador","kera-b-core-boundary.7c6c36fe1e":"a via Nativa não foi feita para parecer avariada","kera-b-core-boundary.fb29360100":"O Core é dono da IA","kera-b-core-boundary.d11e0dac41":"A Kera é dona da computação","kera-b-core-boundary.68836c550e":"Core","kera-b-core-boundary.b14e0fee60":"Core Nativo","kera-b-core-boundary.5bd7bdd9b6":"Core em Kera","kera-b-core-boundary.fb90a11e35":"Execução nativa em Rust","kera-b-core-boundary.0e9de4489d":"Camada de grafo","kera-b-core-boundary.4f98764559":"Camada de compilador","kera-b-core-boundary.1b220bd030":"ambas as vias saudáveis","kera-b-core-boundary.3246d9cb0f":"Kernels de operação","kera-b-core-boundary.ce5ecbbe49":"Despacho nativo","kera-b-core-boundary.2270cfaf8d":"Servir","kera-b-core-boundary.73664268f4":"Grafo semântico","kera-b-core-boundary.47a222732e":"Planeador de grafo inteiro","kera-b-core-boundary.0dbb3d000f":"Emissão direta","kera-b-core-boundary.2b8a5898ca":"Runtime de destino","kera-b-core-boundary.fad0aa71a0":"máquina de IA completa","kera-b-determinism.06d1e9b0c2":"Faixas de planeamento","kera-b-determinism.f4d06ebbbc":"contratado","kera-b-determinism.0dde78e885":"estrito, com semente, criativo","kera-b-determinism.36f3cdb23b":"estrito produz um hash estável","kera-b-determinism.580037974e":"com semente produz um hash por semente","kera-b-determinism.d00475d316":"criativo produz uma distribuição","kera-b-determinism.08c4c0cd04":"determinismo antes da emissão","kera-b-determinism.d14aee9a61":"não aplicado depois","kera-b-determinism.41eaab877c":"estrito","kera-b-determinism.9ad3dc4c49":"com semente","kera-b-determinism.df0b6c410f":"criativo","kera-b-determinism.36751333ac":"um hash estável","kera-b-determinism.57e908bc7f":"um hash por semente","kera-b-determinism.40ddc71464":"uma distribuição","kera-b-determinism.92713d4709":"semente","kera-b-determinism.807f3dfc66":"escolhida antes da emissão","kera-b-determinism.5a3931973a":"contrato de plano","kera-b-determinism.18ca194aa0":"aritmética","kera-b-determinism.428ac48133":"ordenação","kera-b-determinism.b43cc86e50":"redução","kera-b-determinism.86e8628e95":"agendamento","kera-b-distribution.40427b2f6c":"Grafo distribuído","kera-b-distribution.71a4dfeb01":"particionado","kera-b-distribution.8de4e2bf20":"all-reduce em anel","kera-b-distribution.95560431a3":"o grafo está particionado em quatro nós","kera-b-distribution.fe6f32a769":"um all-reduce em anel liga-os","kera-b-distribution.c83c5e4a5d":"um nó falha e é restaurado a partir do checkpoint","kera-b-distribution.0f988213f6":"a identidade do grafo não muda","kera-b-distribution.473750f60a":"a escala altera o plano","kera-b-distribution.1b2a43df7f":"não apaga o programa","kera-b-distribution.439d3cf188":"nó 1","kera-b-distribution.2112318fa1":"nó 2","kera-b-distribution.66d45e923f":"nó 3","kera-b-distribution.d17cf66672":"nó 4","kera-b-distribution.5f5f8758f5":"falhou","kera-b-distribution.98ad765b8a":"restaurado a partir do checkpoint","kera-b-distribution.2f4e868ab3":"identidade do grafo inalterada","kera-b-distribution.88faac11da":"partição","kera-b-distribution.7f57971b3f":"all-reduce","kera-b-distribution.8b60e9d739":"recuperação","kera-b-distribution.84bd2b0362":"identidade do grafo","kera-b-effects.71066ac592":"Limites de efeitos","kera-b-effects.18cd42d86d":"limitado","kera-b-effects.84e0542d83":"superfície declarada","kera-b-effects.663592445a":"um núcleo de cálculo puro","kera-b-effects.56599b6bb6":"limites de efeitos envolvem-no","kera-b-effects.566e5ac608":"uma extremidade de rede não declarada é bloqueada durante o planeamento","kera-b-effects.ca08403ba5":"nada se esconde abaixo de uma biblioteca","kera-b-effects.b8e371e84c":"a superfície é aprovada antes de ser executada","kera-b-effects.cd43804ec9":"núcleo puro","kera-b-effects.a1f13b3bc2":"ficheiros","kera-b-effects.c112e88173":"rede","kera-b-effects.728190e74d":"dispositivos","kera-b-effects.b01d01d841":"dados armazenados","kera-b-effects.0baff051a0":"declarado","kera-b-effects.df88b84d81":"bloqueado","kera-b-effects.32ce9a3a4a":"verificado durante o planeamento","kera-b-european.77201a8d49":"Limites partilhados","kera-b-european.2fbc9f0c9f":"postura","kera-b-european.3297d44b54":"controlos do operador","kera-b-european.1f300b9430":"Limite de serviço operado pela Dweve","kera-b-european.f86d095f61":"controlado pelo cliente","kera-b-european.53354e1327":"isolado por ar","kera-b-european.4cb472e7df":"cada limite inclui capacidades e controlos do operador explícitos","kera-b-european.8e1eb95c49":"controlo abaixo da camada de serviço","kera-b-european.557bd29aa2":"construído na Europa","kera-b-european.d85bc3cdeb":"um único grafo","kera-b-european.825367fe0f":"conjunto de capacidades","kera-b-european.b4197b664a":"Sem acesso direto ao Kera no Fabric gerido","kera-b-european.d34de16aee":"O mesmo grafo semântico é emitido dentro de qualquer limite que escolher.","kera-b-graph-plan.6c249b5199":"Vista de planeamento","kera-b-graph-plan.80e61027a7":"planeado","kera-b-graph-plan.436b07330c":"trabalho removido","kera-b-graph-plan.00dad1e83b":"o gráfico bruto executa cada passagem separadamente","kera-b-graph-plan.1a50b0bffd":"três intermediários removidos, duas regiões fundidas, um valor mantido no dispositivo","kera-b-graph-plan.6de719ca8c":"um trilho de poupança conta lançamentos, alocações, transferências e bytes removidos","kera-b-graph-plan.0d9db1ed4f":"não é um fluxo de instruções mais curto","kera-b-graph-plan.f023d0f4cd":"trabalho que nunca precisa de existir","kera-b-graph-plan.5ee6ebe229":"gráfico bruto","kera-b-graph-plan.5b08cad7e5":"gráfico planeado","kera-b-graph-plan.4928016aa1":"lançamentos","kera-b-graph-plan.8ea14a80a0":"alocações","kera-b-graph-plan.f060b62b91":"transferências","kera-b-graph-plan.bfc3d8ebd1":"bytes movidos","kera-b-graph-plan.e64fa1d1fa":"região fundida","kera-b-graph-plan.69992f1747":"removido","kera-b-graph-plan.7d3b8e5199":"mantido no dispositivo","kera-b-graph-plan.ce03a80127":"intermediário","kera-b-headline-bench.dd5614a067":"Torres de referência","kera-b-headline-bench.2280127c38":"específico da operação","kera-b-headline-bench.c8aa37d49d":"publicado com o harness","kera-b-headline-bench.5490337de8":"logaritmo vetorial","kera-b-headline-bench.7fe27285ff":"multiplicação de matrizes","kera-b-headline-bench.32d60758c5":"exponencial vetorial","kera-b-headline-bench.bc27c37274":"tanh vetorial","kera-b-headline-bench.a8608fb146":"produto escalar binário","kera-b-headline-bench.7c3d7b5aef":"cada torre traz o selo de publicação com o harness, sem hardware inventado","kera-b-headline-bench.654165a28b":"específico da operação e da forma","kera-b-headline-bench.4899c7a1d5":"a referência não é o teto","kera-b-headline-bench.9a0924fc89":"referência LLVM","kera-b-headline-bench.9d9c0e6f52":"liderança Kera","kera-b-headline-bench.5296d5cced":"grande","kera-b-headline-bench.20af418657":"médio","kera-b-headline-bench.0a1784bfd3":"modesto","kera-b-headline-bench.b8c83489e9":"qualitativo, sem número fixo","kera-b-headline-bench.8cf0839c32":"a referência não é o teto","kera-b-hero.e1dd48620c":"Rota direta","kera-b-hero.bc175d397c":"mantido","kera-b-hero.1593a101ec":"grafo para máquina","kera-b-hero.abf0197063":"Via convencional","kera-b-hero.6d58c9b823":"os rótulos de operação desaparecem em cada etapa do IR","kera-b-hero.ab4dc95c08":"Via Kera","kera-b-hero.59b1f9bb94":"os rótulos sobrevivem até ao código de máquina específico do alvo","kera-b-hero.7ceff13d3c":"ambos os caminhos são otimizados","kera-b-hero.52e878b00c":"apenas um ainda conhece a operação","kera-b-hero.828d338a9b":"fonte","kera-b-hero.2697456472":"AST tipado","kera-b-hero.9c45db2698":"IR genérico","kera-b-hero.27d4c58d54":"IR LLVM","kera-b-hero.f973434496":"código de máquina","kera-b-hero.29a184b65c":"grafo","kera-b-hero.bed97175b0":"plano","kera-b-hero.2e96e89125":"emitir","kera-b-hero.c88d5c8185":"registo mantido","kera-b-hero.52718563ec":"registo perdido","kera-b-hero.ef926f2249":"rótulo de operação em cada etapa","kera-b-licence.e911fc011c":"Anéis de acordo","kera-b-licence.bd91cf7186":"licenciado","kera-b-licence.a42cfbcc4d":"companheiros externos","kera-b-licence.455d8b2ce4":"direitos de execução","kera-b-licence.3873951ef2":"suporte e depósito em garantia","kera-b-licence.cd3d98f77c":"código-fonte e transferência","kera-b-licence.c9152822d6":"projetos companheiros abertos ficam fora do limite comercial","kera-b-licence.02b775d449":"o caminho mais profundo é licenciado","kera-b-licence.72a283c425":"a responsabilidade é contratual","kera-b-licence.3ccd56a930":"grafo Kera","kera-b-licence.5ba2c895f6":"limite comercial","kera-b-licence.3f8fe9ab88":"crates companheiros abertos","kera-b-licence.b860e3cf6c":"projetos Apache 2.0 separados","kera-b-licence.1dd735263a":"dentro do limite","kera-b-movement.5cfaff45b4":"Movimentação de valor","kera-b-movement.c6dda4f283":"possuído","kera-b-movement.0b34c48e88":"um token de propriedade segue","kera-b-movement.728fbdcfe4":"a via convencional copia através de seis espaços de memória","kera-b-movement.24800e1a4d":"o plano Kera mantém-no em dois","kera-b-movement.7a06da081d":"um token de propriedade segue cada movimento","kera-b-movement.d1589923cd":"uma transferência removida é mais rápida","kera-b-movement.96f832e6a6":"uma transferência ilegal é rejeitada","kera-b-movement.cff4c28e03":"via convencional","kera-b-movement.a4fe9b7d60":"plano Kera","kera-b-movement.ec7e36ec8e":"RAM do anfitrião","kera-b-movement.cdc203d6a2":"cache L2","kera-b-movement.033f3a6022":"buffer de encenação","kera-b-movement.44afa23dac":"HBM do dispositivo","kera-b-movement.96005d847c":"dispositivo par","kera-b-movement.c8e445a3b3":"nó remoto","kera-b-movement.f84e2e2dad":"cópia","kera-b-movement.579233b2c4":"proprietário","kera-b-movement.6e970962bc":"espaços atravessados","kera-b-movement.cf51f41279":"cópias removidas","kera-b-movement.2405c11aa5":"token de propriedade","kera-b-one-chain.25f2389ba6":"Cadeia de propriedade","kera-b-one-chain.c6dda4f283":"pertencente","kera-b-one-chain.2c93278b5e":"borda externa desenhada","kera-b-one-chain.592b55e943":"uma cadeia convencional de múltiplos proprietários","kera-b-one-chain.8b64563b06":"a cadeia Kera de um proprietário, do grafo à máquina","kera-b-one-chain.e1421d3ef7":"o limite do driver externo permanece na borda","kera-b-one-chain.9b1aa0c24f":"nenhum compilador genérico no centro","kera-b-one-chain.d055fce23b":"a Dweve é dona do caminho","kera-b-one-chain.1d2176455e":"cadeia de múltiplos proprietários","kera-b-one-chain.f3308165f8":"cadeia de um proprietário","kera-b-one-chain.3a8aea960f":"frontend de linguagem","kera-b-one-chain.a230d4a668":"LLVM","kera-b-one-chain.fcdc9b06b4":"backend de fornecedor","kera-b-one-chain.fdda0c46f9":"driver","kera-b-one-chain.1bbe39f6af":"Dweve","kera-b-one-chain.81bbb36f63":"driver externo","kera-b-one-chain.a71c7a3bf4":"limite externo","kera-b-one-chain.c74bb33279":"proprietários","kera-b-one-chain.cbf8a89045":"transferências","kera-b-one-chain.cd9412079a":"borda externa","kera-b-operation-kept.7fc7df93e0":"Nó de grafo aberto","kera-b-operation-kept.bda4b1c3ce":"tipado","kera-b-operation-kept.5490337de8":"logaritmo vetorial","kera-b-operation-kept.89f23b757c":"identidade de operação","kera-b-operation-kept.f978be8c13":"tipo Q16.16","kera-b-operation-kept.561d6cea98":"intervalo de forma","kera-b-operation-kept.f3266ee839":"contrato de precisão","kera-b-operation-kept.b67c6fe021":"efeito puro","kera-b-operation-kept.08e909df94":"região de memória","kera-b-operation-kept.530fb56a28":"estratégias candidatas de emissão","kera-b-operation-kept.3597058511":"oportunidade de fusão adjacente","kera-b-operation-kept.400565f394":"o nó ainda sabe o que é","kera-b-operation-kept.31a9fa0ab7":"o planeador lê todos os campos","kera-b-operation-kept.110e4595c0":"vlog.q16_16","kera-b-operation-kept.028bb9f8fc":"Q16.16","kera-b-operation-kept.d793050058":"1 a 1e6","kera-b-operation-kept.5829b9ee06":"limite de 1 ulp","kera-b-operation-kept.afe003f117":"puro","kera-b-operation-kept.f3a929b336":"dispositivo","kera-b-operation-kept.49338082a1":"três estratégias","kera-b-operation-kept.37a17aada7":"adicionar adjacente","kera-b-operation-kept.592acef0e8":"nó de grafo","kera-b-operation-kept.2591f02eba":"o planeador lê todos os campos","kera-b-stack.b01706e604":"pilha Dweve","kera-b-stack.e4e5f91807":"em camadas","kera-b-stack.70ab7c7007":"dividir faixas do Core","kera-b-stack.d5f412e831":"Kera","kera-b-stack.9e0bd0c046":"Core Native e Core em Kera","kera-b-stack.831292b7ab":"Loom, Nexus, Spindle, Mesh","kera-b-stack.a010de5c61":"Fabric","kera-b-stack.fe5197e677":"as propriedades propagam-se apenas pela faixa efetivamente licenciada","kera-b-stack.bd84200bf2":"o caminho direto sob Dweve","kera-b-stack.b196ef25a9":"incluído quando o acordo o exigir","kera-b-stack.b14e0fee60":"Core Native","kera-b-stack.5bd7bdd9b6":"Core em Kera","kera-b-stack.ca8127904f":"faixa licenciada","kera-b-stack.68836c550e":"Core","kera-b-stack.b982f78b9a":"superfície do utilizador","kera-b-stack.fbdc4f23f9":"produtos","kera-b-stack.fad0aa71a0":"máquina de IA completa","kera-b-stack.efdc51f1b1":"computação direta","kera-b-stack.18f5777dbe":"leva o sistema resultante às pessoas","kera-b-stack.ee865eaadb":"cognição, organizações, conhecimento, computação","kera-b-stack.9acad64e74":"operações de IA, treino, inferência, serviço","kera-b-stack.ae10bcb7a5":"grafo, planeador, emissão direta, runtime","kera-b-targets.bbd997781a":"Planos de destino","kera-b-targets.600f021001":"em leque","kera-b-targets.8d6aab053e":"mesmo hash de grafo","kera-b-targets.15d1a50cbb":"Plano de CPU","kera-b-targets.9427def3f0":"Plano de GPU","kera-b-targets.d61de44366":"Plano de FPGA","kera-b-targets.8c7d3b50dd":"Plano de WebAssembly","kera-b-targets.125e4a24e6":"Plano distribuído","kera-b-targets.e93db8e874":"cada plano liga de volta ao mesmo hash de grafo","kera-b-targets.8b1b2c8e37":"o destino tem o seu próprio plano","kera-b-targets.b1cd1db39d":"o programa mantém a sua identidade","kera-b-targets.2827efb084":"hash de grafo","kera-b-targets.a7f146f80d":"objeto AVX-512","kera-b-targets.98eea40d70":"kernel PTX","kera-b-targets.21837c3f11":"bitstream","kera-b-targets.8e10c79a8e":"módulo wasm","kera-b-targets.e00fd7a84d":"plano de shard","kera-c-close.75e4aedce4":"verificado","kera-c-close.36a247b5b4":"O que permanece verdadeiro","kera-c-close.100ec4462d":"evidência","kera-c-close.f123a39d1f":"a banda de consumo","kera-c-close.300286f8a6":"o trabalho permanece completo","kera-c-close.d37ede566b":"um plano feito para a máquina","kera-c-close.3958159663":"uma identidade clara","kera-c-close.296898b104":"capacidades declaradas","kera-c-close.0193e423dd":"usa o produto","kera-c-close.282ff2f4ae":"a Kera encurta o caminho por baixo","kera-c-close.2b424dff92":"mantido verdadeiro por baixo","kera-c-close.b94fa12fd8":"nada da tarefa se perde no caminho","kera-c-close.0ebee22faf":"a máquina recebe trabalho moldado para ela","kera-c-close.65e4d792e0":"o trabalho exato carrega uma impressão digital","kera-c-close.9c2aaf489c":"o que o trabalho pode tocar é declarado","kera-c-different-machines.5e05dfc33e":"Um trabalho, quatro máquinas","kera-c-different-machines.80c656bf28":"adaptado","kera-c-different-machines.8ebb878534":"um plano para cada","kera-c-different-machines.e068381bbd":"portátil","kera-c-different-machines.f38edbd4e7":"chip gráfico","kera-c-different-machines.ef98362b8a":"navegador","kera-c-different-machines.d32519b8a9":"hardware especializado","kera-c-different-machines.965f74c477":"o mesmo cartão de trabalho é adaptado com um plano diferente para cada","kera-c-different-machines.a0155e0dfd":"o plano muda","kera-c-different-machines.1309986996":"o trabalho não","kera-c-different-machines.f0845ffef0":"um cartão de trabalho","kera-c-different-machines.bed97175b0":"plano","kera-c-different-machines.f2feb3bb38":"passos pequenos e cuidadosos","kera-c-different-machines.d053fbd7ee":"muitos passos de uma vez","kera-c-different-machines.92e1e780ab":"passos seguros e portáteis","kera-c-different-machines.a330cd4922":"moldado ao chip","kera-c-different-machines.0aa5c091a7":"adapta-se à máquina","kera-c-european.77201a8d49":"Proteção do trabalho","kera-c-european.2fbc9f0c9f":"postura","kera-c-european.71c70d7ed0":"onde licenciado","kera-c-european.f040b08e8f":"limite operado pela Dweve","kera-c-european.fd412c3f7a":"controlado pela organização","kera-c-european.1b84995dfa":"isolado","kera-c-european.b7ea322a91":"a soberania depende da configuração completa, não apenas da geografia","kera-c-european.70335a5664":"controlo abaixo da aplicação visível","kera-c-european.80383a4551":"o utilizador vê acima a capacidade Fabric acordada","kera-c-european.d85bc3cdeb":"todo o trabalho","kera-c-european.5a1f79cac7":"Fabric gerido no Mesh público da Dweve; sem acesso direto à Kera","kera-c-european.5ca8050751":"controlado pela sua organização","kera-c-european.8ccb8fdb0f":"cortado da rede","kera-c-european.75a9fec445":"onde a licença permite","kera-c-european.32a80ed6fa":"Fabric no Mesh público dentro do seu limite de processamento contratado","kera-c-european.8f2ed995f7":"as suas chaves, as suas regras","kera-c-european.bce450a7d2":"sem ligação para o exterior","kera-c-faster.0e0566b96c":"Velocidade do dia a dia","kera-c-faster.53861851a1":"honesto","kera-c-faster.6347120b54":"etiquetas mantidas pequenas","kera-c-faster.4e7e49bafa":"alguns passos correm muito mais rápido do que o percurso habitual","kera-c-faster.bd63056597":"algumas melhorias são menores","kera-c-faster.f17cca9b8f":"alguns casos são atualmente semelhantes em velocidade","kera-c-faster.cb8aea277e":"nenhum número impresso único","kera-c-faster.c88da79172":"a forma habitual não é o limite","kera-c-faster.fc9fac3439":"o percurso habitual","kera-c-faster.cc2c85816d":"o percurso Kera","kera-c-faster.f9aeb5083b":"um trabalho pesado","kera-c-faster.ecea06b6a9":"um trabalho médio","kera-c-faster.6b853b874a":"um trabalho leve","kera-c-faster.850dbbb5aa":"outro tipo de trabalho","kera-c-faster.75addd2353":"muito mais rápido","kera-c-faster.daf6b585b3":"mais rápido","kera-c-faster.dad6b9ba69":"um pouco mais rápido","kera-c-faster.4afd45201b":"aproximadamente o mesmo","kera-c-faster.cf28735b04":"uma barra mais curta significa menos espera","kera-c-hero.15d4671f9b":"Rota direta","kera-c-hero.24a1733ca8":"direto","kera-c-hero.6fb67f7c58":"um plano claro","kera-c-hero.a1838581b9":"uma tarefa percorre um longo ziguezague por caixas de tradução","kera-c-hero.3d743a29b9":"a rota Kera permanece um plano claro do trabalho à máquina","kera-c-hero.523d9e500b":"o software não deve dar a volta longa","kera-c-hero.9dbd5ffb5a":"a máquina recebe trabalho feito para ela","kera-c-hero.3cbb992248":"o caminho longo","kera-c-hero.f842290f84":"a rota direta","kera-c-hero.d885eae3f1":"a sua tarefa","kera-c-hero.e11523c5ff":"idioma","kera-c-hero.f0a787a9f1":"traduzir","kera-c-hero.1b1008a492":"formulário genérico","kera-c-hero.c9c3b018eb":"arrumar","kera-c-hero.cd2e8cfa84":"preparar","kera-c-hero.7817c52b25":"máquina","kera-c-hero.d85bc3cdeb":"todo o trabalho","kera-c-hero.f7d51e2c76":"plano da máquina","kera-c-hero.e2c1e428f8":"sete paragens","kera-c-hero.64e9b3be76":"duas paragens","kera-c-hero.6eeff298fc":"os rótulos desaparecem em cada paragem","kera-c-identity.5c47f67a22":"Cartão de trabalho","kera-c-identity.74c70e83a9":"endereçado","kera-c-identity.d1aada8a31":"uma impressão digital","kera-c-identity.49b782d60c":"o cartão de trabalho tem a sua própria impressão digital","kera-c-identity.8b7aa73401":"um passo alterado cria uma nova impressão digital","kera-c-identity.0c50adac10":"o plano de máquina selecionado é registado","kera-c-identity.34d99254e6":"sem troca silenciosa","kera-c-identity.9a33f31ac5":"verificado, não adivinhado","kera-c-identity.ca4c6ec9e0":"cartão de trabalho","kera-c-identity.51de2b835b":"antes","kera-c-identity.c96b55a818":"após uma alteração","kera-c-identity.b5448ce070":"impressão digital","kera-c-identity.2354f290f3":"9f3a e21c","kera-c-identity.4cb7a3ecb7":"b74d 08a1","kera-c-identity.4197eb0cd8":"preparar","kera-c-identity.0e43727e13":"medir","kera-c-identity.815f979888":"combinar","kera-c-identity.2cce4a92f4":"terminar","kera-c-identity.1fd5e4cebf":"passo alterado","kera-c-identity.1d3de6f10b":"nova impressão digital","kera-c-identity.5d2b90a4c4":"selado","kera-c-less-work.a329360984":"Menos coordenação","kera-c-less-work.e6642a951d":"reduzido","kera-c-less-work.6306d43d23":"menos viagens","kera-c-less-work.331ac50d79":"as encomendas passam por sete salas da forma habitual","kera-c-less-work.034ea8bd07":"a Kera mantém-nas em duas","kera-c-less-work.a0a101a51e":"a informação fica perto de onde é necessária","kera-c-less-work.50aaac162f":"remover o que nunca foi necessário","kera-c-less-work.3ec2510eb7":"menos resultados temporários e viagens","kera-c-less-work.92e79c83d2":"a forma habitual","kera-c-less-work.8ce603b33a":"o plano Kera","kera-c-less-work.968ae238c3":"uma encomenda","kera-c-less-work.daaad33627":"esperar","kera-c-less-work.7615854452":"mantida perto","kera-c-less-work.98c4b8f6e2":"ordenar","kera-c-less-work.f84e2e2dad":"copiar","kera-c-less-work.379d6ce99a":"mover","kera-c-less-work.43c88f6f2c":"manter","kera-c-less-work.02743d145d":"copiar novamente","kera-c-less-work.1e7018fe0e":"mover novamente","kera-c-less-work.c3a71b1518":"entregar","kera-c-less-work.010a1cede3":"fazer o trabalho","kera-c-may-touch.f0c252a725":"Quem pode agir","kera-c-may-touch.0baff051a0":"declarado","kera-c-may-touch.e6dbf84625":"as capacidades são explícitas","kera-c-may-touch.a1f13b3bc2":"ficheiros","kera-c-may-touch.c112e88173":"rede","kera-c-may-touch.728190e74d":"dispositivos","kera-c-may-touch.f1348c6ca9":"informação armazenada","kera-c-may-touch.d41bbb816b":"um sistema offline pode recusar acesso à rede","kera-c-may-touch.02985dea2e":"sem novo acesso oculto","kera-c-may-touch.35250e2b91":"dentro dos limites do operador","kera-c-may-touch.f8cb3e6af9":"o trabalho","kera-c-may-touch.c3de44d531":"permitido","kera-c-may-touch.a503bc1da2":"recusado","kera-c-may-touch.efc3160175":"modo offline","kera-c-may-touch.3a35e38a56":"nenhum acesso oculto aparece mais tarde","kera-c-may-touch.1f00d107c6":"ler o que lhe é dado","kera-c-may-touch.1b6dbb2cb8":"bloqueado quando offline","kera-c-may-touch.3a1ea74d65":"apenas dispositivos permitidos","kera-c-may-touch.049f104fb1":"guardar resultados que pode manter","kera-c-not-every-package.4abd7d5ebf":"Duas faixas claras","kera-c-not-every-package.e4e5f91807":"em camadas","kera-c-not-every-package.4409a64d08":"Core, e Kera onde licenciado","kera-c-not-every-package.0af09d1918":"Fabric e os produtos ficam acima do Core","kera-c-not-every-package.2d2bdfc665":"Core funciona em todo o lado","kera-c-not-every-package.3155728b2f":"planos selecionados adicionam Kera","kera-c-not-every-package.8d823dd9e8":"todos os produtos usam Core","kera-c-not-every-package.a3e531e495":"Kera está incluído onde licenciado","kera-c-not-every-package.a010de5c61":"Fabric","kera-c-not-every-package.2615ae91cc":"os produtos","kera-c-not-every-package.68836c550e":"Core","kera-c-not-every-package.c4e59adf4d":"funciona em todo o lado","kera-c-not-every-package.71c70d7ed0":"onde licenciado","kera-c-not-every-package.9f34723102":"a rota mais profunda, onde licenciado","kera-c-not-every-package.cc95a31a83":"em todos os planos","kera-c-not-every-package.898d74f66a":"o caminho rápido em todos os produtos","kera-c-not-every-package.dfed9ea971":"sem licença necessária","kera-c-not-every-package.76d3eb7356":"em cima do Core, onde licenciado","kera-c-owns-route.6e8b0bb182":"Uma equipa responsável","kera-c-owns-route.c6dda4f283":"detida","kera-c-owns-route.1593a101ec":"trabalho para a máquina","kera-c-owns-route.e11523c5ff":"o seu trabalho","kera-c-owns-route.29a184b65c":"mantido inteiro","kera-c-owns-route.b3777d2fc9":"planeado","kera-c-owns-route.f2e18ffc17":"executado","kera-c-owns-route.1477f0cb08":"hardware externo e sistemas operativos ficam na periferia","kera-c-owns-route.1b95a85c73":"não o roadmap de outra empresa","kera-c-owns-route.9010c58d3a":"A Dweve melhora a própria rota","kera-c-owns-route.97785477db":"oficina Dweve","kera-c-owns-route.39a5e378fb":"um proprietário","kera-c-owns-route.2a9b53596e":"fora da oficina","kera-c-owns-route.608cb271bb":"hardware","kera-c-owns-route.2caa624224":"sistema operativo","kera-c-owns-route.9a9e192204":"na periferia","kera-c-remembers-job.632dc3da86":"Receita anexada","kera-c-remembers-job.1e61fe1e47":"mantido","kera-c-remembers-job.3098708ae5":"bolo, não apenas movimentos","kera-c-remembers-job.f4fc28e215":"uma receita passada de mão em mão perde o seu propósito","kera-c-remembers-job.4e597a0e33":"no Kera, o propósito permanece ligado aos passos","kera-c-remembers-job.64c3a554d0":"a cozinha ainda pode tomar decisões sensatas","kera-c-remembers-job.870ebee82f":"não apenas uma lista de movimentos","kera-c-remembers-job.d16474cb3d":"um plano feito para todo o trabalho","kera-c-remembers-job.23185cd785":"fazer um pão de ló","kera-c-remembers-job.5db210b6ed":"primeiro cozinheiro","kera-c-remembers-job.9368ca09ac":"segundo cozinheiro","kera-c-remembers-job.60f74eb68c":"terceiro cozinheiro","kera-c-remembers-job.b53dc1c60b":"pão de ló, calor suave","kera-c-remembers-job.9711d55621":"pão de ló, algum calor","kera-c-remembers-job.1b6b2844e1":"misturar, depois aquecer","kera-c-remembers-job.0c11cbfec3":"propósito permanece ligado","kera-c-remembers-job.9c79c6568a":"propósito perdido","kera-c-remembers-job.a9439e6f69":"propósito mantido","kera-c-remembers-job.23949b59f2":"a cozinha Kera","kera-c-remembers-job.07827e8835":"passado de mão em mão","kera-c-sides.b009a7c55d":"A via direta","kera-c-sides.da66e405ba":"o que ganha","kera-c-sides.7ab1c4cd47":"Uma via clara","kera-c-sides.55dab176a9":"trabalho para a sua máquina","kera-c-sides.c07acdcaff":"O trabalho inteiro fica junto","kera-c-sides.de6d3e83ad":"nada é cortado em pedaços soltos","kera-c-sides.1e61fe1e47":"mantido","kera-c-sides.05bf49b00f":"Trabalho feito para a sua máquina","kera-c-sides.31653051d4":"não uma versão genérica corrigida no fim","kera-c-sides.80c656bf28":"ajustado","kera-c-sides.ff97d028f2":"Menos camadas no caminho","kera-c-sides.194ee3916b":"menos passagem de mão em mão","kera-c-sides.276d53b771":"menos","kera-c-sides.d9bed04ecb":"Um registo claro do que correu","kera-c-sides.f40eaf1cf3":"para poder ser verificado mais tarde","kera-c-sides.168cbb2ea5":"claro","kera-c-sides.d17f11e8ab":"Transmitido","kera-c-sides.cde0725664":"o teste da receita","kera-c-sides.7f8449245c":"Propósito mantido","kera-c-sides.2f1593caf2":"melhores escolhas","kera-c-sides.d84ef3805c":"Transmitido","kera-c-sides.6dc74366fc":"o propósito perde-se no caminho","kera-c-sides.97cd452004":"Mantido junto","kera-c-sides.d14f22884a":"o propósito fica ligado","kera-c-sides.bd370d1b6f":"passo","kera-c-sides.09dac35c2d":"passo ","kera-c-sides.ea9d05935a":"passo  ","kera-c-sides.bf88247bfc":"sem ideia porquê","kera-c-sides.47b45278ed":"ainda um bolo","kera-c-sides.966ea2ce2a":"Quanto mais rápido","kera-c-sides.f16c694f18":"de testes reais","kera-c-sides.45f3f0e3a0":"Nem todas as tarefas ganham","kera-c-sides.2d9bde97d7":"a forma habitual não é o limite","kera-c-sides.41151658e1":"Muito","kera-c-sides.45c43192ee":"alguns cálculos pesados","kera-c-sides.f5676bb8ed":"várias vezes mais rápido nos testes","kera-c-sides.adc7ac2ae5":"Mais rápido","kera-c-sides.cd3f3fae53":"muitos passos do dia a dia","kera-c-sides.e25efa6427":"uma vantagem clara nos testes","kera-c-sides.c73bd54b40":"Um pouco","kera-c-sides.c88120bc66":"alguns trabalhos mais pequenos","kera-c-sides.c623a54e02":"um ganho modesto nos testes","kera-c-sides.7c7f5d049f":"Nível","kera-c-sides.437a3455c5":"alguns casos","kera-c-sides.fc7160dcf8":"aproximadamente o mesmo por agora","kera-c-sides.fdfdd75f5a":"Menos trabalho","kera-c-sides.55e2556348":"como a espera diminui","kera-c-sides.e4f251b426":"Remover o trabalho","kera-c-sides.404768f4ea":"não apenas acelerá-lo","kera-c-sides.2840f5c2a2":"Ver o que pertence junto","kera-c-sides.db264c9ebd":"passos que se encaixam são tratados como um","kera-c-sides.6f8c6c2905":"Saltar resultados descartáveis","kera-c-sides.57017a106f":"sem trabalho de rascunho usado uma vez","kera-c-sides.10791dfbbf":"Manter as coisas perto","kera-c-sides.42d8d49ac4":"menos movimento de dados na máquina","kera-c-sides.510f8ad691":"Menos espera, menos energia","kera-c-sides.9f41af8a5e":"menos atrasos e menor consumo de energia","kera-c-sides.dc0ced92b7":"O mesmo trabalho","kera-c-sides.bdd35e2f4c":"um plano por máquina","kera-c-sides.495fd6b633":"Um trabalho","kera-c-sides.24c3404875":"não muda silenciosamente","kera-c-sides.92ca930394":"Chip de computador portátil","kera-c-sides.9fc3488e7e":"um plano estável e comum","kera-c-sides.d1b9c3ea69":"plano A","kera-c-sides.464d6ab7b0":"Chip gráfico","kera-c-sides.31bd7dfa0b":"muitas partes pequenas ao mesmo tempo","kera-c-sides.fa32a71ed2":"plano B","kera-c-sides.03e4d01149":"No navegador","kera-c-sides.4ee4681a08":"um plano portátil e isolado","kera-c-sides.7660d4086b":"plano C","kera-c-sides.90a6d3232a":"Chip especial","kera-c-sides.79631ac10b":"um plano moldado para caber","kera-c-sides.67c66105a1":"plano D","kera-c-sides.1f0bfd026e":"Três formas de executar","kera-c-sides.d98a5d318e":"escolhido antes de executar","kera-c-sides.67e15a1a6f":"Você escolhe o contrato","kera-c-sides.6ac548b2d6":"antes de o trabalho ser executado","kera-c-sides.b3012de005":"Estável","kera-c-sides.725b5c759e":"o mesmo resultado suportado de cada vez","kera-c-sides.45705488b9":"Repetível","kera-c-sides.a72733bc81":"a mesma variação de cada vez","kera-c-sides.75f527181b":"Livre","kera-c-sides.10c19b3d22":"uma resposta nova onde isso ajuda","kera-c-sides.5c82441a97":"O registo","kera-c-sides.7f9f500159":"como uma alteração aparece","kera-c-sides.1e34a48722":"Sem troca silenciosa","kera-c-sides.9a33f31ac5":"verificado, não adivinhado","kera-c-sides.69fe31dc92":"O trabalho está definido","kera-c-sides.56ee117853":"o trabalho recebe a sua própria impressão digital","kera-c-sides.d6c7e1b296":"Nada muda","kera-c-sides.6c05a75bb8":"a impressão digital permanece a mesma","kera-c-sides.7717cf1ac7":"Um passo editado","kera-c-sides.cff9ce9351":"a impressão digital muda imediatamente","kera-c-sides.e6fc767359":"Fácil de comparar","kera-c-sides.fd7a06079d":"o antigo e o novo ficam lado a lado","kera-c-sides.56895dc6f9":"Nada para ler","kera-c-sides.17555e1784":"o produto verifica por si","kera-c-sides.decba8e6b2":"O que pode tocar","kera-c-sides.503a927999":"definido pelo operador","kera-c-sides.c584bd0a7f":"As capacidades são declaradas","kera-c-sides.e36a99f218":"sem novo acesso silencioso","kera-c-sides.68247197ae":"Permitido aqui","kera-c-sides.87fb4da3b5":"Ler ficheiros","kera-c-sides.236da26922":"Usar um dispositivo","kera-c-sides.ed0e3e1020":"Guardar resultados","kera-c-sides.173ea9d0d3":"Retido","kera-c-sides.4d193e8c11":"A internet, offline","kera-c-sides.1ce1c15043":"Qualquer novo acesso oculto","kera-c-sides.81ba828cd8":"Consegue alcançar a rede?","kera-c-sides.116f010f43":"Apenas se o operador o permitir","kera-c-sides.9dec9491ed":"Quem possui a rota","kera-c-sides.8267aed890":"sob a superfície","kera-c-sides.c89134a1b1":"Nunca toca nisto","kera-c-sides.d055fce23b":"A Dweve possui o caminho","kera-c-sides.fd90fee787":"Em outra pessoa","kera-c-sides.7f836c2ac0":"à espera dos seus planos","kera-c-sides.9744531e71":"O calendário de outra empresa","kera-c-sides.e8e321b3af":"Correções quando chegam","kera-c-sides.73e15aec12":"Pouca influência na rota","kera-c-sides.3339f9af5e":"Construído pela Dweve","kera-c-sides.30f1c8dcfe":"melhorado diretamente","kera-c-sides.c2e6ed4af5":"Todo o percurso em casa","kera-c-sides.a3f04305ea":"Uma melhor rota no seu próprio ritmo","kera-c-sides.cb1284a96d":"Uma equipa para responder por isso","kera-c-sides.8e36c2b2b9":"Não em todos os pacotes","kera-c-sides.7ed44b64ba":"onde está incluído","kera-c-sides.71cefeea25":"Utiliza o produto","kera-c-sides.85547d18c3":"Kera fica por baixo","kera-c-sides.1e009a2d36":"Todos os produtos","kera-c-sides.1d9c9446d7":"funciona no Core, o motor principal","kera-c-sides.699d60f454":"Core em todo o lado","kera-c-sides.a5d025f453":"o seu próprio caminho rápido está sempre lá","kera-c-sides.52d07f114c":"Kera em planos selecionados","kera-c-sides.7b501b4206":"a rota mais profunda, onde licenciado","kera-c-sides.f26eac6491":"A maioria das pessoas","kera-c-sides.b3524b6e6d":"nunca escolhe ou configura","kera-c-sides.6af74613cf":"Construído na Europa","kera-c-sides.75a9fec445":"onde a licença permite","kera-c-sides.14fd2c9857":"Feito nos Países Baixos","kera-c-sides.19efbe06f0":"controlo da rota","kera-c-sides.635d733c49":"Alojado na Europa","kera-c-sides.0463a31456":"executado dentro da Europa","kera-c-sides.867d2e6efc":"Tu controlas","kera-c-sides.0c61d2c426":"a tua organização detém as chaves","kera-c-sides.28fdd72ec1":"Totalmente isolado","kera-c-sides.269589d789":"sem necessidade de ligação externa","kera-c-sides.a44351bc63":"A rota também","kera-c-sides.12504a8751":"não apenas a aplicação visível","kera-c-sides.e8f29006ee":"Fora de vista","kera-c-sides.f18cc0db38":"o que permanece verdadeiro","kera-c-sides.2f3cd52ed4":"Utiliza o produto ","kera-c-sides.c857a94045":"o caminho é mais curto","kera-c-sides.19ad825c80":"Utiliza a aplicação","kera-c-sides.2706e5bc26":"a superfície amigável por cima","kera-c-sides.96274ef852":"Sem controlos Kera","kera-c-sides.a2a07dc89f":"nada extra para aprender","kera-c-sides.1c04125ae2":"O trabalho permanece completo","kera-c-sides.4caf5f3ebd":"mantido junto por baixo","kera-c-sides.6da42e43b0":"O resultado chega","kera-c-sides.12b7ab21af":"mais rápido, com um registo claro","kera-c-steady.3fd0afd8a9":"Trabalho estável","kera-c-steady.3fe6938286":"escolhido","kera-c-steady.a200afa9b8":"estável, com semente, variado","kera-c-steady.e20a594b9c":"uma tarefa estrita dá o mesmo padrão de cada vez","kera-c-steady.37ce1e2703":"uma tarefa com semente repete uma variação","kera-c-steady.c6a6a552a3":"uma tarefa criativa permite padrões diferentes","kera-c-steady.07f1a82edd":"o produto escolhe o comportamento","kera-c-steady.a126d39402":"sem alteração acidental noutra máquina","kera-c-steady.e872c7f207":"a tarefa","kera-c-steady.df6ad19037":"executar","kera-c-steady.41eaab877c":"estrita","kera-c-steady.9ad3dc4c49":"com semente","kera-c-steady.df0b6c410f":"criativa","kera-c-steady.b69c40227c":"mesmo padrão em cada execução","kera-c-steady.2abbf46fc1":"uma variação, repetida","kera-c-steady.37ac45b3ba":"um novo padrão em cada execução","kera-c-steady.d98a5d318e":"escolhido antes de ser executado","kera-c-underneath.0c23ddb1a1":"Por baixo da superfície","kera-c-underneath.99d72c7fc3":"oculto","kera-c-underneath.de177cba87":"o plano abaixo","kera-c-underneath.6a824918e6":"a superfície da aplicação mantém-se simples e amigável","kera-c-underneath.ea36124485":"um corte revela o plano Kera e o trabalho da máquina por baixo","kera-c-underneath.142933e95c":"não existem controlos Kera no uso normal","kera-c-underneath.f4f347733d":"o caminho direto permanece por baixo","kera-c-underneath.7f0dd0f5ba":"recebe um comportamento mais rápido e estável","kera-c-underneath.9dbbd8bd6e":"a sua aplicação","kera-c-underneath.3559d7accf":"pesquisar","kera-c-underneath.7fb65d85c9":"obter resultado","kera-c-underneath.c610874bb9":"corte","kera-c-underneath.3ccd56a930":"todo o trabalho","kera-c-underneath.f7d51e2c76":"plano da máquina","kera-c-underneath.c0fc393d51":"o que vê","kera-c-underneath.6dae32be92":"o que corre por baixo","kera-c-underneath.10c1e20acf":"agrupar","kera-c-underneath.1148d66c06":"manter próximo","kera-c-underneath.8b7e1710ed":"executar","kera-e-broad-bench.e08d613464":"Matriz de operações","kera-e-broad-bench.53861851a1":"honesto","kera-e-broad-bench.76739e032d":"vitórias, paridade, pendente","kera-e-broad-bench.9dd4c9deb1":"células laranja marcam vitórias medidas","kera-e-broad-bench.173ddca427":"células cinzentas marcam paridade","kera-e-broad-bench.3c9472d171":"células contornadas marcam análise pendente","kera-e-broad-bench.4f78af49a1":"o conjunto de operações mais amplo","kera-e-broad-bench.f4ed07b5e1":"casos neutros permanecem visíveis","kera-e-broad-bench.1d6feafbec":"elemento a elemento","kera-e-broad-bench.700bb94783":"reduções","kera-e-broad-bench.583131ec1b":"matmul","kera-e-broad-bench.9afd89eb88":"ativações","kera-e-broad-bench.b0237f8cc7":"operações binárias","kera-e-broad-bench.89f6229a11":"pequeno","kera-e-broad-bench.20af418657":"médio","kera-e-broad-bench.5296d5cced":"grande","kera-e-broad-bench.c76ac2e9cd":"vitória","kera-e-broad-bench.61bdc38492":"paridade","kera-e-broad-bench.e22586930a":"pendente","kera-e-broad-bench.f3e956c179":"família de operações","kera-e-close.9e3c1d591d":"Aquilo em que as afirmações se baseiam","kera-e-close.100ec4462d":"evidência","kera-e-close.4beed4ad6f":"a banda do engenheiro","kera-e-close.d3253f3d19":".keg identity","kera-e-close.ff21cf7d36":"diff do planeador","kera-e-close.9e5b3fc29f":"caminho emitido","kera-e-close.bee075373f":"harness de benchmark","kera-e-close.2d23d2953b":"teste de replay estrito","kera-e-close.e833a04b82":"fazer benchmark da build que usas","kera-e-close.3a1853c519":"inspecionar quais factos produziram a diferença","kera-e-close.954373e0e6":"evidência em que as afirmações se baseiam","kera-e-close.c8c78ad28a":"verificável","kera-e-close.007f635644":"9f3c1d.keg","kera-e-close.7e731fdd1d":"42 nós alterados","kera-e-close.7fa02f1c6a":"x86-64 / avx-512","kera-e-close.deb17e1028":"publicar com o harness","kera-e-close.4027e78f60":"hash estável","kera-e-close.0000000001":"Base de evidência","kera-e-commercial.c9de85cd5c":"A matriz de direitos","kera-e-commercial.2a2415c508":"proprietário","kera-e-commercial.6e6a190328":"pacotes descritos","kera-e-commercial.083e086b67":"runtime e destinos","kera-e-commercial.5bdcd3c0d4":"suporte","kera-e-commercial.eaed708d40":"código-fonte em depósito e entrega","kera-e-commercial.54a1377d30":"isolado e transferência","kera-e-commercial.1a03649678":"células de pacotes desconhecidas permanecem descritas até a embalagem final","kera-e-commercial.455d8b2ce4":"direitos de runtime","kera-e-commercial.d0c418fd4a":"não são direitos de código-fonte","kera-e-commercial.582681c2ea":"pacote","kera-e-commercial.04489a12bb":"uso","kera-e-commercial.e2ebc20582":"modificação","kera-e-commercial.034bb6aa84":"redistribuição","kera-e-commercial.79bddc575f":"acesso ao código-fonte","kera-e-commercial.fc8a86cd0e":"concedido","kera-e-commercial.1604a818ef":"não concedido","kera-e-commercial.600a6e4090":"embalagem pendente","kera-e-commercial.0000000002":"Termos comerciais","kera-e-core.72b9bff935":"A operação Core entra no Kera","kera-e-core.f096faa634":"reduzido","kera-e-core.c956c317db":"planear e emitir","kera-e-core.8a3255dc6c":"um nó de operação Core entra no plano Kera","kera-e-core.8f16ffc1b5":"seguem-se o planeamento, a fusão e a redução","kera-e-core.92ffe5f0fc":"onde o Kera não está presente, o Core permanece nativo em Rust","kera-e-core.c89f2ab2e0":"dois produtos","kera-e-core.bf5650fa35":"dois contratos","kera-e-core.4ae3948cf8":"Operação Core","kera-e-core.5bd7bdd9b6":"Core no Kera","kera-e-core.13d8fc3824":"Core nativo","kera-e-core.bed97175b0":"plano","kera-e-core.81a5b34cb6":"fundir","kera-e-core.346e3ee198":"reduzir","kera-e-core.2e96e89125":"emitir","kera-e-core.8606ad5275":"geração de código Rust","kera-e-core.71c70d7ed0":"onde licenciado","kera-e-core.9b6a2aba1f":"onde o Kera não está presente","kera-e-core.d6c92c08dc":"mesma operação","kera-e-core.0000000003":"Kera no Core","kera-e-determinism.70a942f634":"Diff estrito, com semente, criativo","kera-e-determinism.f4d06ebbbc":"contratado","kera-e-determinism.44b38f0387":"diff do plano","kera-e-determinism.1c7c2d8fcd":"estrito corrige aritmética e ordenação","kera-e-determinism.8744749ff1":"com semente repete a variação por semente","kera-e-determinism.4a9887f1e3":"criativo permite variação intencional","kera-e-determinism.b944313c5f":"o rigor molda o plano","kera-e-determinism.cdcf3a8aae":"não é uma semente a posteriori","kera-e-determinism.41eaab877c":"estrito","kera-e-determinism.9ad3dc4c49":"com semente","kera-e-determinism.df0b6c410f":"criativo","kera-e-determinism.21471332c0":"três execuções de um grafo","kera-e-determinism.570032650f":"hash de saída idêntico","kera-e-determinism.57e908bc7f":"um hash por semente","kera-e-determinism.92acfcc1a9":"dispersão intencional","kera-e-determinism.df6ad19037":"execução","kera-e-determinism.0000000004":"Planos determinísticos","kera-e-direct-emit.a87217b15c":"Saída direta","kera-e-direct-emit.c6dda4f283":"possuído","kera-e-direct-emit.fe70745e4a":"via LLVM ausente","kera-e-direct-emit.828d338a9b":"origem","kera-e-direct-emit.d38b11c203":".keg","kera-e-direct-emit.bed97175b0":"plano","kera-e-direct-emit.1ca54c8597":"geração de código Kera","kera-e-direct-emit.0e8a3ad980":"destino","kera-e-direct-emit.8d69cbad97":"a via LLVM está simplesmente ausente, não riscada de forma teatral","kera-e-direct-emit.d698a4979c":"direto é a posse do caminho","kera-e-direct-emit.2405b6a44e":"não a ausência de um compilador","kera-e-direct-emit.ab4dc95c08":"via Kera","kera-e-direct-emit.c91dbd9052":"via LLVM","kera-e-direct-emit.2ae9971d90":"um proprietário, de ponta a ponta","kera-e-direct-emit.65d123255a":"sem etapa aqui","kera-e-direct-emit.644ed63727":"Caminho de emissão","kera-e-direct-emit.1bbbcb2b58":"uma cadeia de redução possuída","kera-e-direct-emit.ca6d0e3aaa":"Etapa","kera-e-direct-emit.c6fe330e04":"Artefacto","kera-e-direct-emit.89ff31225c":"Proprietário","kera-e-direct-emit.b91eed4b7a":"Reduzir","kera-e-direct-emit.a2b0ce0bed":"Alocação de registos","kera-e-direct-emit.8598222918":"Selecionar","kera-e-direct-emit.0a8adac9d6":"Agendar","kera-e-direct-emit.08afa6be84":"Emitir","kera-e-direct-emit.d5f412e831":"Kera","kera-e-direct-emit.377814d3f1":"Nenhuma etapa de IR LLVM se situa no centro. Cada passo mantém a semântica de grafo e de operação disponível.","kera-e-dispatch.08ff1e348f":"O dispatcher escolhe","kera-e-dispatch.8204fbd54f":"registado","kera-e-dispatch.284248abc0":"por região","kera-e-dispatch.7b423a4d0b":"AVX-512","kera-e-dispatch.5f305d0313":"NEON","kera-e-dispatch.349c3fb369":"escalar estrito","kera-e-dispatch.9427def3f0":"plano de GPU","kera-e-dispatch.8aee628c97":"o caminho selecionado é escrito no registo de execução","kera-e-dispatch.96d38d5937":"sem fallback oculto","kera-e-dispatch.96d8c525d6":"o caminho real é registado","kera-e-dispatch.20a6af67ec":"sonda de capacidade do host","kera-e-dispatch.a94a58406e":"região","kera-e-dispatch.ad89e90d45":"escrito no registo","kera-e-dispatch.c9236d39ed":"região de convolução","kera-e-dispatch.57174212bd":"região de redução","kera-e-dispatch.c99cd38a0e":"região elementwise","kera-e-dispatch.7b231a50a4":"disponível","kera-e-dispatch.6792cfa1ea":"não presente","kera-e-dispatch.be9b2e564d":"clique numa região","kera-e-dispatch.0000000005":"Despacho de trabalho","kera-e-distributed.8441afbfb2":"Grafo distribuído, uma recuperação","kera-e-distributed.c575f3e383":"distribuído","kera-e-distributed.291cc022fd":"restauro a partir de checkpoint","kera-e-distributed.f907871e16":"o grafo está particionado entre nós","kera-e-distributed.1cee8f0009":"anéis de all-reduce ligam as partições","kera-e-distributed.c83c5e4a5d":"um nó falha e restaura a partir do checkpoint","kera-e-distributed.3f153cb62b":"a distribuição é um plano","kera-e-distributed.7dd35631d5":"não um segundo produto","kera-e-distributed.8de4e2bf20":"anéis de all-reduce","kera-e-distributed.dbc963b1be":"falhar um nó","kera-e-distributed.e08e84916f":"restaurar","kera-e-distributed.5c528ebc85":"checkpoint","kera-e-distributed.98ad765b8a":"restaurado a partir do checkpoint","kera-e-distributed.de18ccfa15":"saudável","kera-e-distributed.88faac11da":"partição","kera-e-distributed.400a6486e9":"shard","kera-e-distributed.0000000006":"Execução distribuída","kera-e-effects.60e2871a7a":"Portões de efeito","kera-e-effects.ec734b6515":"verificado","kera-e-effects.9fafce9074":"portões de capacidade","kera-e-effects.03abf9280f":"nós puros fluem livremente","kera-e-effects.8f49161c96":"nós com efeitos passam por portões de capacidade","kera-e-effects.801d0accfb":"uma capacidade não declarada é rejeitada pelo verificador","kera-e-effects.2c83cad38c":"puro e externo permanecem distintos","kera-e-effects.8f97e0ed12":"a ordem não pode ser quebrada silenciosamente","kera-e-effects.55d3b33c35":"via pura","kera-e-effects.c112e88173":"rede","kera-e-effects.46b7ac31e2":"sistema de ficheiros","kera-e-effects.f3a929b336":"dispositivo","kera-e-effects.b8a8c6b90b":"declarado, ordenado, admitido","kera-e-effects.3ac3efcafa":"capacidade não declarada","kera-e-effects.6f389bc568":"admitido","kera-e-effects.df88b84d81":"bloqueado","kera-e-fusion.94b5459806":"Vista de fusão","kera-e-fusion.1f08a3216a":"fundido","kera-e-fusion.3ef89ae8ee":"os contadores caem","kera-e-fusion.238b32d513":"regiões separadas com intermediários materializados","kera-e-fusion.92a9e26597":"uma região, valores retidos localmente","kera-e-fusion.5e9cdecd5f":"os contadores de lançamentos e de bytes caem","kera-e-fusion.55c5832fbe":"não apenas fluxos de instruções mais curtos","kera-e-fusion.f263743706":"trabalho que deixa de existir","kera-e-fusion.51de2b835b":"antes","kera-e-fusion.405906c9d5":"depois","kera-e-fusion.ce03a80127":"intermediário","kera-e-fusion.4928016aa1":"lançamentos","kera-e-fusion.bfc3d8ebd1":"bytes movidos","kera-e-fusion.69992f1747":"removido","kera-e-graph-programme.c463606c73":"Programa de grafo","kera-e-graph-programme.6802cb5d70":"durável","kera-e-graph-programme.d4cf00b6e3":"retido para reprodução","kera-e-graph-programme.217d770b7e":"fonte tipada","kera-e-graph-programme.b3eaaddbf4":".keg graph","kera-e-graph-programme.bed97175b0":"plano","kera-e-graph-programme.eb5d2f4a58":"JIT","kera-e-graph-programme.2e96e89125":"emitir","kera-e-graph-programme.341d953e69":"reproduzir","kera-e-graph-programme.c578d4ccc5":"o grafo é retido em todas as fases posteriores","kera-e-graph-programme.0b933f1116":"não é uma vista temporária do otimizador","kera-e-graph-programme.38cdc8d9ab":"o próprio programa durável","kera-e-graph-programme.828d338a9b":"fonte","kera-e-graph-programme.7d9350ca93":"fases posteriores","kera-e-graph-programme.78f293d4c6":"grafo em vista","kera-e-graph-programme.6f32a49e58":"tipado, com hash, durável","kera-e-headline-bench.af1471a47a":"Barras de referência","kera-e-headline-bench.6543f14e1a":"delimitado","kera-e-headline-bench.09b8754927":"chips exatos de escopo de teste","kera-e-headline-bench.5490337de8":"logaritmo vetorial","kera-e-headline-bench.c9e51c02ee":"matmul Q16.16 e Q31.32","kera-e-headline-bench.32d60758c5":"exponencial vetorial","kera-e-headline-bench.bc27c37274":"tanh vetorial","kera-e-headline-bench.a8608fb146":"produto escalar binário","kera-e-headline-bench.1b1d863b98":"cada barra contém um chip exato de escopo de teste, sem hardware inventado","kera-e-headline-bench.654165a28b":"específico da operação e da forma","kera-e-headline-bench.7348151412":"publicado com o envelope","kera-e-headline-bench.fcb60bc535":"operação","kera-e-headline-bench.0c69fbcc93":"vantagem medida","kera-e-headline-bench.999110ee02":"grande vantagem","kera-e-headline-bench.1e94ffc3ae":"vantagem média","kera-e-headline-bench.5e681519ff":"vantagem modesta","kera-e-headline-bench.a88b25068f":"os resultados variam conforme o hardware, publicados com o harness","kera-e-headline-bench.7e1e18e9b2":"escopo de teste","kera-e-hero.48a017825a":"Fluxo do compilador","kera-e-hero.24a1733ca8":"direto","kera-e-hero.dbd4a4fefe":"a TUI do engenheiro","kera-e-hero.53956cfaa6":"kera check","kera-e-hero.05fcad8b20":".keg inspect","kera-e-hero.e414739a3e":"kera plan","kera-e-hero.7f6cda6e63":"kera emit","kera-e-hero.d943249789":"kera bench","kera-e-hero.e08276254a":"caminho ISA selecionado","kera-e-hero.e96f33c192":"> kera emit vlog -t x86-64","kera-e-hero.1fde14efbd":"o grafo é inspecionado em cada etapa","kera-e-hero.a2f72009fd":"o caminho ISA selecionado é registado","kera-e-hero.81b09e7085":"subcomandos","kera-e-hero.c57bf37547":"emit trace","kera-e-hero.835f3b50e3":"selecionado","kera-e-isa.0432f7ce58":"Um nó, três desmontagens","kera-e-isa.9665ac3929":"emitido","kera-e-isa.889c7257c5":"larguras de vetor diferentes","kera-e-isa.5995c646b4":"x86-64 com AVX","kera-e-isa.4a8f14b720":"ARM64 com NEON","kera-e-isa.c7538ab365":"RISC-V escalar ou vetorial","kera-e-isa.7c1da6f306":"cada emissão usa uma largura de vetor diferente","kera-e-isa.74db8819b5":"emitir para o processador real","kera-e-isa.68f9bd2a40":"honesto sobre o suporte por alvo","kera-e-isa.bb9498680a":"um nó de grafo","kera-e-isa.31b6189749":"q16_16 mul x1024","kera-e-isa.457d8a82d9":"pistas de 512 bits","kera-e-isa.3f279309b4":"pistas de 128 bits","kera-e-isa.fc8559d579":"VLEN, definido em tempo de execução","kera-e-isa.e8254c3717":"suporte por alvo","kera-e-isa.73137381ed":"perfil de vetor opcional","kera-e-isa.0000000007":"Instruções de destino","kera-e-keg.395a421a16":"Propagação de alterações","kera-e-keg.74c70e83a9":"tratado","kera-e-keg.81c065a618":"apenas a ascendência afetada","kera-e-keg.e7706add45":"um único nó é editado","kera-e-keg.5ba765d88c":"os novos hashes propagam-se apenas pela ascendência afetada","kera-e-keg.1727095c56":"subgrafos inalterados mantêm a sua identidade","kera-e-keg.511bb88257":"alterar o nó","kera-e-keg.8b5b1fd339":"alterar apenas o seu caminho","kera-e-keg.189d4c9cb9":"selecione um nó para o editar","kera-e-keg.6bb2bf4b4b":"rechaveado","kera-e-keg.1e61fe1e47":"mantido","kera-e-keg.4e306c16e8":"grafo endereçado por conteúdo","kera-e-ownership.7969455390":"Transferência de propriedade","kera-e-ownership.c6dda4f283":"possuído","kera-e-ownership.7ad3021eb2":"espaços e aliases","kera-e-ownership.d250d286d2":"o token atravessa espaços de anfitrião, dispositivo e remoto","kera-e-ownership.57d258e56a":"um conflito de alias é bloqueado","kera-e-ownership.ed01abd5c0":"o planeador mantém o valor onde pertence","kera-e-ownership.749dca00d3":"segurança de memória","kera-e-ownership.496414a575":"e desempenho são um único problema","kera-e-ownership.86dd1cf451":"anfitrião","kera-e-ownership.f3a929b336":"dispositivo","kera-e-ownership.41ffe5457d":"remoto","kera-e-ownership.44137dafb2":"token de proprietário","kera-e-ownership.346e9d2ef4":"conflito de alias","kera-e-ownership.5e142a4b65":"movido","kera-e-ownership.2c03439596":"mantido","kera-e-planner.ea5ef50385":"Inspetor de planos","kera-e-planner.9027cc5a2c":"global","kera-e-planner.e7bb1b6eea":"sobre um grafo","kera-e-planner.48788620ce":"ordem topológica","kera-e-planner.7843fc5bea":"colocação","kera-e-planner.b612049ac9":"grupos de fusão","kera-e-planner.b727a735e7":"movimento","kera-e-planner.442088cd90":"kernels","kera-e-planner.b9300593b4":"pontos de recuperação","kera-e-planner.8581eae5f5":"o planeador tem o grafo inteiro em vista","kera-e-planner.151f5d2923":"sem janela de instruções local","kera-e-planner.14a68ac79d":"toda a computação planeada","kera-e-planner.cbf953da42":"faceta do plano","kera-e-planner.37a5301a88":"resultado","kera-e-planner.e0f6f3f6d4":"um grafo em vista","kera-e-planner.3eb453b123":"selecione uma faceta","kera-e-regalloc.66f8f9a1ca":"Cronograma de alocação de registos","kera-e-regalloc.a9c382decf":"moldado","kera-e-regalloc.135732d710":"antes e depois","kera-e-regalloc.343f127f96":"intervalos de vida genéricos sem contexto de operação","kera-e-regalloc.1b6865cede":"intervalos de vida moldados pelo contexto do grafo","kera-e-regalloc.08d11f1fc2":"desenrolamento, largura vetorial e spills escolhidos a partir da operação","kera-e-regalloc.0d3b1634bb":"registos pertencentes à Kera","kera-e-regalloc.914c6b4bb7":"uma arquitetura de otimização diferente","kera-e-regalloc.8bed0947ae":"spill para a pilha","kera-e-regalloc.de84609f3a":"sem spills","kera-e-regalloc.46a808cfd5":"genérico","kera-e-regalloc.a6b993f2ce":"moldado pelo grafo","kera-e-regalloc.15f74936ed":"intervalo de vida","kera-e-regalloc.c97bf2544e":"spill","kera-e-regalloc.11e9ba26c9":"agendamento","kera-e-regalloc.0000000008":"Alocação de registos","kera-e-targets.5ed66fe1ef":"Expansão de alvos","kera-e-targets.600f021001":"expandido","kera-e-targets.ae5d62972c":"artefactos emitidos","kera-e-targets.ff221d4752":"CPU","kera-e-targets.a6a6318544":"GPU","kera-e-targets.cef7f9bd36":"FPGA","kera-e-targets.051061c35d":"WebAssembly","kera-e-targets.c575f3e383":"distribuído","kera-e-targets.c5247a7f6e":"cada alvo transporta o seu próprio artefacto emitido","kera-e-targets.8dcb777141":"um grafo semântico","kera-e-targets.425cdfb8be":"planos de alvo diferentes","kera-e-targets.64058ac6d4":"graph 9f3c.keg","kera-e-targets.1079bd7a96":"artefacto emitido","kera-e-targets.2f2afa2d7c":"plano de alvo","kera-e-targets.0000000009":"Saída do alvo","kera-e-tooling.2920832c0a":"Inspetor de terminal e de grafo","kera-e-tooling.c0c1d635e0":"de primeira classe","kera-e-tooling.47c057fef0":"sem saída falsa","kera-e-tooling.c10c610c74":"verificar, compilar, inspecionar, planear, executar, confirmar","kera-e-tooling.f3b9c4a50d":"o inspetor de grafo mostra tipos e efeitos","kera-e-tooling.02b4ea4be7":"nenhuma saída de benchmark fabricada é mostrada","kera-e-tooling.e0bf7c2424":"o grafo é visível","kera-e-tooling.0beb179ae8":"não apenas após uma falha","kera-e-tooling.46d551dae6":"terminal","kera-e-tooling.d56d985300":"verificar","kera-e-tooling.80754af91b":"compilar","kera-e-tooling.a1a2ae18fa":"inspecionar","kera-e-tooling.bed97175b0":"planear","kera-e-tooling.df6ad19037":"executar","kera-e-tooling.86a4261d84":"confirmar","kera-e-tooling.470a307f65":"inspetor de grafo","kera-e-tooling.d0a3e7f81a":"tipo","kera-e-tooling.5080fd62c2":"forma","kera-e-tooling.6ef9514c35":"espaço de memória","kera-e-tooling.23f4d47c92":"efeitos","kera-e-tooling.1a7c89d6af":"nó selecionado","kera-e-tooling.2977692084":"ok, 312 nós tipados","kera-e-tooling.000000000a":"Ferramentas de trabalho","kera-e-types.1829e76a16":"Nós tipados","kera-e-types.8e8e1429fa":"tempo de planeamento","kera-e-types.19a8e29ab2":"os tipos alimentam o planeador","kera-e-types.31138da7de":"tipo numérico","kera-e-types.66e418d7bb":"forma e disposição","kera-e-types.6ef9514c35":"espaço de memória","kera-e-types.a94a58406e":"região","kera-e-types.23f4d47c92":"efeitos","kera-e-types.c5be5b3d86":"capacidade","kera-e-types.70491edded":"cada campo alimenta uma decisão do planeador","kera-e-types.c639bba8c4":"não um mar de instruções sem tipo","kera-e-types.7bc275f055":"factos que o planeador ainda tem","kera-e-types.2da0b68df8":"campo","kera-e-types.f32b67c7e2":"valor","kera-e-types.1b02192f71":"decisão do planeador","kera-e-types.cff6f1efbf":"escolhe o kernel e o caminho de precisão","kera-e-types.03d876bc1a":"dimensiona os buffers e a largura do vetor","kera-e-types.a232ee16b5":"coloca o valor no host ou no dispositivo","kera-e-types.6919cfa939":"define o âmbito do tempo de vida e a reutilização","kera-e-types.0f05cc8080":"ordena o trabalho com efeitos","kera-e-types.428c0e00c4":"controla o que o nó pode tocar","kera-e-why-wins.25525dfcf8":"Repartição causal, três operações","kera-e-why-wins.e0e0d1d28c":"perfilado","kera-e-why-wins.dcbd083d36":"causas diferentes","kera-e-why-wins.185154addc":"uma vitória da escolha do algoritmo","kera-e-why-wins.8f6d043d1d":"uma da fusão e do movimento","kera-e-why-wins.fc07204ca8":"uma do SIMD direto e da forma","kera-e-why-wins.206613dfe0":"a causa comum é a informação semântica retida","kera-e-why-wins.1fbfa6f50d":"sem truque universal","kera-e-why-wins.8229cbe4e1":"perfilar a causa real","kera-e-why-wins.f5d557e3e3":"registo vetorial","kera-e-why-wins.10e7bfdefb":"matmul, Q16.16","kera-e-why-wins.1f462af238":"tanh, Q16.16","kera-e-why-wins.fcb60bc535":"operação","kera-e-why-wins.6f4cbd265c":"causa atribuída","kera-e-why-wins.38f90a6c8e":"contra a lane do LLVM","kera-e-why-wins.83b8b0ac14":"escolha do algoritmo","kera-e-why-wins.f7e6fdf149":"fusão","kera-e-why-wins.b727a735e7":"movimento","kera-e-why-wins.703fda89e2":"SIMD direto","kera-e-why-wins.7f0f79a17a":"especialização da forma","kera-e-why-wins.999110ee02":"grande vantagem","kera-e-why-wins.b643b42797":"vantagem clara","kera-e-why-wins.9cf92eba54":"causa raiz partilhada","kera-e-why-wins.000000000b":"Kera atribui","page-breadcrumb.c766e66518":"Trilho de navegação","page-toc.7e439c353e":"Nesta página","product-kera.138bedd54d":"Explorar a arquitetura","product-kera.356d5729f4":"Falar com vendas","product-kera.d4a74b503a":"Ler a documentação","product-kera.838991fdac":"A Kera mantém operações, efeitos, propriedade e movimento visíveis desde o grafo de origem até à execução no destino. Leia a arquitetura, inspecione o IR do grafo ou traga-nos um caminho de produção que já tenha sido otimizado através de LLVM.","product-kera.e23c24be52":"Computação direta. O grafo permanece o programa.","product-kera.90e40d5043":"Começar","product-kera.9aed4de64a":"11 camadas de dependências","product-kera.b040b4179b":"Arquitetura","product-kera.feaef7d9ff":"Ring allreduce, recuperação de checkpoint","product-kera.bb3d98dfee":"Distribuído","product-kera.994daa5e05":"Síntese Verilog, estimativa de recursos","product-kera.cef7f9bd36":"FPGA","product-kera.a67e701675":"Geração de PTX para CUDA/ROCm","product-kera.a6a6318544":"GPU","product-kera.8a05b95acd":"x86-64 (SSE2/AVX2/AVX-512), ARM64 (NEON), RISC-V (Vector)","product-kera.eb5d2f4a58":"JIT","product-kera.66930b6707":"DAG, endereçado por conteúdo (.keg)","product-kera.8d784dbff4":"IR","product-kera.1bad8779f2":"Rust 2021","product-kera.64abb3cf15":"Edição","product-kera.d5f412e831":"Kera","product-kera.b4dad06170":"Especificações técnicas","product-kera.1b45e1fea0":"Kera é uma linguagem de sistemas estaticamente tipada com um IR nativo de grafo e endereçado por conteúdo. Compila programas para ficheiros .keg, grafos acíclicos dirigidos de operações, e executa-os em CPU, GPU, FPGA e WASM. A Kera usa geração de código personalizada para x86-64, ARM64 e RISC-V em vez de LLVM, com alocação de registos e seleção de kernels SIMD. Os efeitos secundários são monitorizados e a propriedade ao estilo Rust abrange memória do host, do dispositivo, fixa e unificada. O projeto é um workspace Rust com execução distribuída, segurança baseada em capacidades e ferramentas LSP.","product-kera.dae906110d":"Execução heterogénea.","product-kera.505c8342c6":"IR nativo de grafo. JIT personalizado.","product-kera.9d0c8700b0":"Produto, Kera","product-kera.f9743247fa":"Ler a documentação","product-kera.937d81c77c":"Traga a operação, as formas, o alvo, as flags e os requisitos de determinismo que usa em produção. Vamos comparar o caminho emitido e mostrar onde manter o grafo altera o resultado.","product-kera.492bc68b25":"Um grafo. Execução planeada para o alvo.","product-kera.79073eaaf2":"Países Baixos","product-kera.44ab85a252":"Origem","product-kera.31da9908bc":"JIT personalizado, sem dependência de LLVM","product-kera.6e2cc989da":"Geração de código","product-kera.637caf6a44":"Grafo endereçado por conteúdo (.keg)","product-kera.4bfcb88fa9":"Bit a bit entre plataformas","product-kera.2956ef9ad6":"Determinismo","product-kera.bca4782ae1":"x86-64, ARM64, RISC-V, CUDA, FPGA, WASM","product-kera.d35260a00f":"Alvos","product-kera.e9921e9ad2":"Rust (edição 2021)","product-kera.89b86ab0e6":"Linguagem","product-kera.b57dd9805c":"Todos os direitos reservados","product-kera.3229609e15":"Licença","product-kera.2f09460ea1":"Ficha do produto","product-kera.b5295d3a59":"A Kera combina uma linguagem de sistemas nativa de grafo, um IR endereçado por conteúdo, um compilador, um JIT e um sistema de execução heterogéneo. Mantém tipos, efeitos, propriedade, fluxo de dados, espaços de memória e política de execução visíveis enquanto produz planos específicos para os caminhos suportados de CPU, GPU, FPGA e WebAssembly. O LLVM não está no centro da cadeia de compilação.","product-kera.cca888c3d4":"Resultados idênticos.","product-kera.e8fbca4720":"Um grafo. Um plano para cada alvo.","product-kera.2d59bcb876":"Explorar a documentação","product-kera.847fa9baac":"A Kera é licenciada separadamente para implementações licenciadas. Fale connosco sobre o portefólio de alvos, operação isolada e quaisquer direitos de fonte, revisão ou transferência de tecnologia selecionados separadamente.","product-kera.91e60f15eb":"A computação mantém a sua identidade até à máquina.","product-kera.824d76b124":"Saber mais","product-kera.8eb355f726":"Dweve, Países Baixos","product-kera.eae192773b":"Feito por","product-kera.64ae43e8fe":"Custo","product-kera.60c91404fd":"IA, robótica, finanças, ciência, jogos","product-kera.10006a8df8":"Utilização em","product-kera.9650950575":"Código de máquina nativo através de um compilador JIT personalizado","product-kera.2d2cb022bc":"Velocidade","product-kera.8521ad18f2":"Cargas de trabalho de inferência e simulação de IA da Dweve","product-kera.236656bf91":"Alimenta","product-kera.6abee42d2a":"Linguagem de programação para computação consistente e rápida","product-kera.ca032b5844":"O que faz","product-kera.fca77b7e3a":"Numa vista de olhos","product-kera.e89c5a1fe5":"Solicitar uma demonstração","product-kera.14b9569c69":"O software passa frequentemente por tantas camadas de tradução que o computador deixa de ver o trabalho como um todo. A Kera mantém o cálculo organizado como um grafo e depois prepara um plano de execução para a máquina que faz o trabalho. Isso pode eliminar passos desnecessários, reduzir movimento e deixar um registo mais claro do que realmente foi executado.","product-kera.88256e8e62":"não importa de quem seja a cozinha.","product-kera.db592c9171":"Uma receita que sabe sempre igual,","product-kera.fe0a091fdb":"Produtos","product-kera.68fca34159":"Dweve Kera, Computação Direta","product-kera.4ae0430100":"Uma linguagem de sistemas e um compilador","product-kera.d37334219f":"para computação determinística","product-kera.a0809c5e2d":"Dweve Kera é uma linguagem de sistemas e um compilador nativos de grafos para computação determinística em hardware heterogéneo. A sua representação intermédia estaticamente tipada e endereçada por conteúdo mantém a operação visível durante o planeamento e, em seguida, emite execução para CPU, GPU, FPGA e WebAssembly. O grafo continua a ser o programa.","product-kera.978ed3e13d":"Ver o caminho direto","product-kera.90214883b6":"Fale connosco","product-kera.e1dd48620c":"O caminho direto","product-kera.622a656538":"DIRETO","product-kera.e408a0f89e":"Centro do compilador","product-kera.5e58e3443d":"sem LLVM","product-kera.200fd551fc":"IR de grafo","product-kera.c051c13738":".keg endereçado por conteúdo","product-kera.08afa6be84":"Emissão","product-kera.6e93bc70b9":"nativo específico do alvo","product-kera.640d089c70":"planeado, com âmbito","product-kera.cf1caaae2a":"Cada execução","product-kera.22ab08a0a5":"uma identidade de grafo","product-kera.528f9df395":"O imposto do compilador genérico","product-kera.de41946a09":"Cada facto perdido","product-kera.c0059b89c3":"fecha mais uma porta","product-kera.8e10ecf68c":"Um compilador de uso geral tem de servir todos os tipos de software. A sua amplitude limita a profundidade com que pode compreender uma operação especializada depois de um frontend a ter reduzido a ciclos, ponteiros e aritmética genérica, e nenhuma fase posterior consegue restaurar o que essa redução removeu.","product-kera.69245647ac":"A identidade da operação, os algoritmos, a intenção de empacotamento, as formas esperadas, o determinismo e a propriedade da memória podem dispersar-se entre ferramentas antes da otimização final. O custo é cada escolha útil que se torna impossível depois de a computação se esquecer do que era.","product-kera.fe6d1c39b6":"Significado perdido","product-kera.5dc7b8a3a9":"Divisão de ferramentas","product-kera.adaa813a07":"Limites precoces","product-kera.d55e402e23":"Factos perdidos na redução","product-kera.c748b9c310":"uma multiplicação de matrizes, achatada","product-kera.f6eceac035":"Operação perdida","product-kera.6eb3a1f240":"A multiplicação de matrizes torna-se ciclos anónimos.","product-kera.1d1bf58a5c":"Forma perdida","product-kera.9f49db5cd4":"As formas esperadas de tensores e vetores desaparecem.","product-kera.3114ae8cee":"Empacotamento perdido","product-kera.03504d1093":"O acumulador e a intenção de empacotamento desaparecem.","product-kera.d4f72fc918":"Propriedade perdida","product-kera.cdbff62c4e":"As regras de memória do host e do dispositivo caem.","product-kera.bea4fec4f5":"Contexto de vizinhança perdido","product-kera.2cdd771bc0":"A relação entre operações é cortada.","product-kera.678cdb8d3a":"a primeira vantagem não é uma instrução mais rápida","product-kera.6698271d72":"é lembrar para que servem as instruções","product-kera.e6751c5167":"A Kera mantém esses factos ligados à operação.","product-kera.247266e288":"A Kera nunca se esquece da operação","product-kera.8d2696558c":"O compilador sabe","product-kera.33b7cf8959":"o que está a compilar","product-kera.6a3b2800ca":"A Kera representa a computação como um grafo tipado. Uma operação continua a ser uma operação em vez de se tornar código de baixo nível anónimo demasiado cedo. As suas entradas, saídas, formas, efeitos, propriedade, espaços de memória e política de execução permanecem ligados a ela.","product-kera.8d0201d104":"O contexto retido permite à Kera escolher a partir da própria operação, fundir trabalho relacionado através do grafo e planear a movimentação a partir da propriedade declarada. Uma cadeia genérica tem de inferir esses factos a partir de padrões de baixo nível depois de estes se perderem, e é por isso que o mesmo código-fonte pode compilar para comportamentos de máquina muito diferentes, dependendo de quanto significado sobreviveu à viagem.","product-kera.4a39131bf6":"ID da operação","product-kera.3a87c1396c":"Plano tipado","product-kera.052e1fcf07":"Semântica primeiro","product-kera.7fc7df93e0":"Um nó do grafo, aberto","product-kera.f0ecb4f25c":"o que o planeador ainda consegue ler","product-kera.fcb60bc535":"operação","product-kera.1db089a9f8":"identidade","product-kera.579d66df53":"Um logaritmo de vetor continua a ser um logaritmo de vetor","product-kera.63eb44aa9d":"dtype","product-kera.31138da7de":"tipo numérico","product-kera.0299141f46":"O perfil de ponto fixo declarado é retido","product-kera.5080fd62c2":"forma","product-kera.e9dc3a9121":"forma do tensor","product-kera.5468a8f218":"Os tamanhos esperados viajam com o nó","product-kera.23f4d47c92":"efeitos","product-kera.0baff051a0":"declarado","product-kera.961bd97a97":"Puro ou com efeitos é explícito","product-kera.a94a58406e":"região","product-kera.6ef9514c35":"espaço de memória","product-kera.acdc0f94b3":"Onde o valor vive é conhecido","product-kera.d61ceadbdb":"contrato","product-kera.26de05a44d":"precisão","product-kera.30261431be":"O contrato de aproximação está anexado","product-kera.4029766a0d":"implementação escolhida a partir do significado","product-kera.f46205e60a":"não de um padrão de ciclo tardio","product-kera.e2eb193037":"Manter o significado só importa se a Kera puder transformá-lo num plano diferente.","product-kera.1b5e497f45":"Planeamento do grafo completo","product-kera.ed45a544dd":"Planear o grafo completo","product-kera.3696d3f4ee":"não uma reparação local","product-kera.5b10c8bd24":"Um compilador convencional otimiza frequentemente depois de o programa ter sido separado em camadas, cada uma pertencente a uma ferramenta diferente. Otimiza a representação local que recebe. A Kera pode planear a computação como um grafo completo antes de emitir.","product-kera.32b49f1685":"Essa visão mais ampla permite à Kera fundir operações, remover intermediários e transferências, manter os dados num único espaço de memória e selecionar kernels específicos do alvo. A Kera também pode impedir que trabalho desnecessário exista em primeiro lugar.","product-kera.8d1233c7c3":"Grafo completo","product-kera.7db5bc8052":"Trabalho removido","product-kera.890336e28d":"Planear primeiro","product-kera.7fe1a9c798":"Do grafo ao código emitido","product-kera.cef52c3fd7":"cinco fases de planeamento","product-kera.18ca87afec":"Inspecionar","product-kera.602beaafc9":"Ler o grafo tipado e os seus contratos.","product-kera.c32a0147f2":"Colocar","product-kera.6ccc9db67c":"Atribuir operações a alvos e regiões.","product-kera.cdc25e51f3":"Fundir","product-kera.0bcd11a6bd":"Fundir operações compatíveis, eliminar intermediários.","product-kera.76cdb95072":"Mover","product-kera.3db82b424e":"Planear ou eliminar movimento de dados.","product-kera.e5af55375b":"Gerar execução nativa específica do alvo.","product-kera.31d980a769":"a afirmação da arquitetura","product-kera.7087671d61":"precisa de evidência em operações reais","product-kera.c46e262eb3":"A afirmação da arquitetura precisa de evidência em operações reais.","product-kera.20f72479b9":"O teto do LLVM não é o teto da máquina","product-kera.e14468e9e0":"Conjuntos LLVM otimizados","product-kera.9c072cb83b":"uma base, não um limite","product-kera.41047d2c30":"A Kera não afirma que todos os programas superam todos os compiladores genéricos. Mostra algo mais útil. Nos testes internos atuais, o caminho de emissão da Kera pode exceder um caminho genérico já otimizado por uma margem ampla em várias operações, enquanto a afirmação permanece específica para a operação e as suas formas testadas.","product-kera.a2fdc6a544":"As maiores vantagens atuais aparecem no logaritmo vetorial, na multiplicação de matrizes grandes e em várias funções de matemática vetorial, onde o significado do grafo retido permite um melhor caminho de emissão. Cada figura publicada inclui o seu hardware, compilador, flags e harness, porque os resultados diferem entre máquinas.","product-kera.5182b88001":"Testes limitados","product-kera.ca9e3d8b20":"Harness completo","product-kera.6b8b5e254f":"Base","product-kera.7d83b83196":"Onde as vantagens são maiores","product-kera.f87153790e":"operações internas atuais","product-kera.e762186a25":"Logaritmo vetorial","product-kera.a636e6cea2":"Uma grande vantagem nos perfis de ponto fixo testados.","product-kera.f236c7e88a":"Multiplicação de matrizes","product-kera.71bb8aaa6b":"A maior vantagem, em 512 por 512 e acima.","product-kera.bdde93ee43":"Exponencial vetorial","product-kera.60f7c42cc9":"Várias vezes mais rápido nos perfis de ponto fixo testados.","product-kera.98a3457df7":"Tangente hiperbólica vetorial","product-kera.e97d6f4fa9":"Uma vantagem clara nos perfis de ponto fixo testados.","product-kera.f85d624735":"Produto escalar binário","product-kera.7b5d2320b5":"Uma forte vantagem nos tamanhos testados.","product-kera.952b2e6142":"as grandes vitórias","product-kera.cd1adf7039":"não são o resultado completo","product-kera.62b6079d52":"As grandes vitórias não são o resultado completo.","product-kera.e13c31b303":"Amplitude, não um truque de benchmark","product-kera.f053d4add6":"Ganhos em","product-kera.33150bca26":"diferentes operações","product-kera.0ed727ea7e":"As operações principais não contam toda a história. Os testes atuais mostram melhorias menores, mas reais, em multiplicação de matrizes binária e de ponto fixo, ReLU, adição de vetores, sigmoide, reduções binárias e operações bit a bit. Alguns casos permanecem próximos da paridade.","product-kera.31906eaf09":"Esses casos neutros e de paridade continuam visíveis no relatório de referência, em vez de serem removidos dele. A amplitude entre famílias não relacionadas é o objetivo. Um ganho que se repete em muitos tipos de operação é evidência de uma arquitetura, não de um único kernel favorável.","product-kera.38b58daf0b":"Testes amplos","product-kera.b14a6bbf97":"Paridade apresentada","product-kera.f35b5e842b":"Arquitetura","product-kera.20a46061af":"O espetro de ganhos","product-kera.984bac67c1":"da paridade às maiores vantagens","product-kera.73fe3c6ca7":"Paridade","product-kera.1d6382fe58":"Algumas formas estão niveladas e permanecem no relatório.","product-kera.254c159afb":"Modesto","product-kera.020471204d":"Pequenos ganhos de um dígito em alguns caminhos bit a bit.","product-kera.d404968ea9":"Médio","product-kera.c497dc0158":"Ganhos claros em adições e ativações.","product-kera.738fd1d245":"Grande","product-kera.6be3c8a5a3":"Ganhos fortes em vários caminhos de matrizes e vetores.","product-kera.03d0bc8836":"Dramático","product-kera.ca06cff3f4":"As principais vantagens em matemática e matrizes.","product-kera.2da030c982":"a velocidade vem de mais","product-kera.c7dcd4eddd":"do que da seleção de instruções","product-kera.448051d54a":"A velocidade vem de mais do que da seleção de instruções.","product-kera.4c914c72b2":"A compilação genérica já está totalmente otimizada","product-kera.1a3fbbc9ba":"Comparações justas exigem","product-kera.b078c211ff":"A vetorização está ativada, a CPU alvo está ativada e as bibliotecas matemáticas do fornecedor estão ligadas.","product-kera.3af32b3838":"O caminho guiado por perfil foi verificado, e a Kera ainda lidera na operação testada.","product-kera.094ca86d10":"Já otimizado, ainda atrás","product-kera.9e5925a350":"Vetorização ativada","product-kera.7b75b509ab":"CPU alvo ativada","product-kera.d57f62ff72":"Matemática do fornecedor ligada","product-kera.dc76599785":"Caminho guiado por perfil verificado","product-kera.5463218f40":"A otimização em falta não era outra flag. Era o significado da operação que o caminho genérico já não tinha.","product-kera.78362929d4":"O movimento de dados faz parte do programa","product-kera.48ce413830":"Planear o tráfego de memória","product-kera.49bfe80e05":"e mover menos","product-kera.b29431d418":"O desempenho moderno é muitas vezes limitado mais por mover dados do que por calcular com eles. No entanto, o movimento entre memória anfitriã, fixa, de dispositivo, unificada, remota e persistente é frequentemente gerido através de interfaces fora do sistema de propriedade da linguagem.","product-kera.5c0698e7e8":"A Kera torna os espaços de memória e a propriedade explícitos. O grafo indica onde os dados vivem, qual operação os possui, qual pode alterá-los e quando a propriedade é transferida. O planeador pode remover movimento, expô-lo ou rejeitar uma transferência ilegal antes da execução.","product-kera.a275d67c18":"Propriedade","product-kera.22ccddf906":"Transferências","product-kera.a6d6dcf48f":"Bloqueado","product-kera.73db554330":"Um valor entre espaços de memória","product-kera.7075ec4b7a":"seis travessias tornam-se duas","product-kera.ddfe163345":"01","product-kera.3960ec4ca5":"Anfitriã","product-kera.78e695d59c":"O valor começa na memória anfitriã.","product-kera.414768af9d":"larga","product-kera.bcac9d1d8e":"02","product-kera.a5a74a6df0":"Dispositivo","product-kera.941990f155":"Uma via convencional copia-o através.","product-kera.3ea6c91e24":"03","product-kera.9cbe42aaff":"Planeado","product-kera.de342fb6ac":"A Kera mantém-no no dispositivo, onde pertence.","product-kera.f235f22d8e":"média","product-kera.798f861ee7":"04","product-kera.b62ff5ccd1":"Possuído","product-kera.e0651a5ecc":"Um token de propriedade segue cada movimento.","product-kera.8def4372cd":"poucos","product-kera.ddaa3abe0f":"o movimento é seguro de otimizar","product-kera.10d308d5d4":"porque os efeitos também são explícitos","product-kera.430d23154b":"O movimento de dados é seguro de otimizar porque os efeitos secundários também são explícitos.","product-kera.66ccfd9104":"Os efeitos são visíveis antes da execução","product-kera.f258c5aecd":"Cada efeito","product-kera.d3da033d48":"declarado antecipadamente","product-kera.e07956a040":"Um programa que parece calcular também pode ler um ficheiro, contactar uma rede, modificar estado persistente ou invocar um dispositivo. Em sistemas convencionais, esses efeitos podem esconder-se várias camadas de bibliotecas abaixo do código em análise, pelo que um leitor não consegue saber a partir do código-fonte o que o programa vai tocar.","product-kera.9c3a353a67":"A Kera monitoriza efeitos na linguagem e no grafo, enquanto as capacidades definem o que uma implementação permite. Um sistema isolado pode rejeitar acesso à rede, e um programa regulado pode inspecionar os efeitos declarados antes da execução, em vez de depois de um incidente. A decisão de aprovação é uma decisão de implementação, não uma revisão de código.","product-kera.ab71cb0430":"Efeitos tipados","product-kera.b51f9a73dd":"Limites de acesso","product-kera.0fe35a921c":"Revisão pré-execução","product-kera.90828e0785":"A superfície de efeitos","product-kera.4d26776376":"declarados, depois aplicados","product-kera.b075a99f17":"Puro","product-kera.0f9ef12c3e":"Cálculo sem ação externa.","product-kera.bf31c52c32":"seguro","product-kera.2c3cafa4db":"Ficheiro","product-kera.f4130e994c":"Acesso a ficheiros declarado, nada oculto.","product-kera.53ebc572b4":"Rede","product-kera.c3ed557280":"Uma ligação não declarada é bloqueada no planeamento.","product-kera.18cd42d86d":"aprovado","product-kera.13bcc5c25b":"Mutação","product-kera.877a1b3b5f":"Alterações ao estado persistente são explícitas.","product-kera.a45c2264b8":"explícito","product-kera.2e601650ba":"A interação com dispositivos é um efeito declarado.","product-kera.9260ffcb7f":"Persistente","product-kera.7d5d457d77":"O estado durável faz parte da superfície.","product-kera.4c54cc4d8b":"monitorizado","product-kera.4fc58ff80c":"um grafo que declara o que faz","product-kera.939a18de54":"pode tornar-se um ativo com identidade","product-kera.21c3471458":"Um grafo que declara o que faz pode tornar-se um ativo com identidade.","product-kera.4f59b86c8e":"O grafo torna-se o ativo computacional","product-kera.57b599c37d":"Uma computação","product-kera.1c5f1db260":"com identidade","product-kera.0288e2814c":"O código-fonte identifica o que um programador escreveu. Nem sempre identifica a computação completa que foi executada. A Kera compila programas em grafos .keg endereçados por conteúdo, e cada nó recebe uma identidade derivada do seu conteúdo.","product-kera.2afb7bc51d":"Altere um nó e a sua identidade muda; deixe-o intacto e a identidade permanece estável. Uma organização pode identificar o grafo que reviu e implementou, isolar um subgrafo alterado e ligar uma execução controlada ao seu artefacto exato.","product-kera.77ecc5595d":"Endereçado por conteúdo","product-kera.2cf84c8e01":"Identidade estável","product-kera.dc36e2a41a":"Trilho de aprovação","product-kera.f97c480441":"O certificado .keg","product-kera.f9bfc7e47d":"o que a identidade regista","product-kera.2346ad27d7":"hash","product-kera.84bd2b0362":"identidade do grafo","product-kera.4254052a6c":"Derivada do conteúdo de cada nó","product-kera.004550065a":"nós","product-kera.b16b210913":"operações tipadas","product-kera.a53b9c91c4":"Cada um com a sua própria identidade estável","product-kera.84e0542d83":"superfície declarada","product-kera.34feedbf98":"Os limites externos registados","product-kera.e87e846a2b":"exportações","product-kera.e63ff62479":"resultados públicos","product-kera.ada74cfa03":"As saídas que uma aprovação pode fixar","product-kera.c37acdb82b":"um nó alterado","product-kera.ea3db1640e":"rechaveia apenas a sua ascendência afetada","product-kera.924afc4cc6":"Uma identidade pode ainda produzir um plano adaptado a cada máquina.","product-kera.4dee2983be":"Um grafo, execução específica do alvo","product-kera.52838d6f5f":"Planos para cada alvo","product-kera.541cc63e8b":"a partir de um programa","product-kera.8202b7f362":"Máquinas diferentes não devem ser forçadas a executar sequências de instruções idênticas. Uma CPU, GPU, alvo FPGA, runtime de browser e cluster distribuído têm pontos fortes diferentes. A Kera separa a identidade da computação do plano usado para a executar.","product-kera.5ad45c1ed9":"O mesmo grafo pode produzir planos nativos para CPU, planos GPU para um dispositivo, caminhos de síntese FPGA suportados, WebAssembly portátil ou planos distribuídos com partições e recuperação. A execução muda para cada máquina, enquanto o suporte permanece explícito.","product-kera.dee3912d5d":"Um grafo","product-kera.9b79c3a893":"Planos por alvo","product-kera.cfcd8f93f7":"Suporte declarado","product-kera.62847baef3":"Suporte por alvo","product-kera.d95681eec7":"a cobertura varia por funcionalidade","product-kera.ff221d4752":"CPU","product-kera.b8979bbf1a":"Instruções nativas específicas do alvo e caminhos SIMD.","product-kera.6887bf97d7":"Planos moldados em torno do modelo de execução do alvo.","product-kera.5cc240eecc":"Artefactos de síntese em caminhos suportados.","product-kera.051061c35d":"WebAssembly","product-kera.ca899cd8ae":"Sandbox portátil e execução no navegador.","product-kera.81698cb581":"Partições, coletivos, pontos de verificação, recuperação.","product-kera.4a724470a2":"código específico do alvo","product-kera.4cc617b55e":"não requer respostas específicas do alvo","product-kera.3faed3ed23":"O código específico do alvo não requer respostas acidentais específicas do alvo.","product-kera.c249c9008d":"A determinismo está planeado","product-kera.81001e94d7":"Escolha primeiro o determinismo","product-kera.ff3c044246":"porque uma semente chega tarde demais","product-kera.8a285aa17e":"O determinismo é frequentemente tratado como um modo de depuração que desativa a otimização. A Kera trata a política de execução como parte do contrato do grafo e do plano, por isso o planeador conhece o contrato exigido e o seu âmbito exato antes de emitir a execução, e o trabalho estrito não tem de abdicar do seu plano para permanecer reproduzível.","product-kera.d4911c4054":"O modo estrito seleciona caminhos determinísticos de aritmética, ordenação, agendamento e geração de código. O modo com semente repete variação controlada; o modo criativo permite-a. As garantias permanecem limitadas a operações, backends e planos testados.","product-kera.ca6a8f733a":"Política do plano","product-kera.c97ace1424":"Garantias","product-kera.530581d19a":"Reproduzível","product-kera.d799294b1e":"Três contratos de execução","product-kera.eedc432e74":"um grafo, três vias de plano","product-kera.47ed8fde8f":"Estrito","product-kera.299ba29343":"Aritmética e ordenação estáveis produzem um hash estável.","product-kera.4fbacc2fa0":"estável","product-kera.51095bb5db":"Com semente","product-kera.3fcf3919df":"A variação controlada repete-se com a mesma semente.","product-kera.50aff7939a":"repetível","product-kera.20ccbc66c1":"Criativo","product-kera.b0221b15de":"A variação pretendida produz uma distribuição.","product-kera.75b4d7d721":"variado","product-kera.690252d07c":"o mesmo modelo de planeamento","product-kera.053ed984c6":"estende-se quando o grafo sai de uma máquina","product-kera.90cc808938":"O mesmo modelo de planeamento estende-se quando o grafo sai de uma máquina.","product-kera.66e9900297":"Distribuição sem perda de programa","product-kera.496dbfcee5":"Escale o plano","product-kera.82f58bd609":"não a ambiguidade","product-kera.e55ca5b79f":"Programas distribuídos tornam-se frequentemente coleções de serviços, filas, agendadores, trabalhadores e sistemas de pontos de verificação, até a computação original desaparecer na infraestrutura. A Kera pode representar a distribuição como um plano de execução sobre um grafo, por isso o que está a ser escalado é ainda o programa, em vez do encanamento à sua volta.","product-kera.4ff6088053":"Partições, operações coletivas, efeitos de rede, pontos de verificação e recuperação permanecem ligados ao grafo. Um nó pode falhar sem transformar o programa em processos não identificados. A escala altera o plano; não apaga o programa, e a identidade que regressa após a recuperação é a identidade que entrou.","product-kera.08c69f28ef":"Um grafo","product-kera.1a88e0fc2c":"Coletivos explícitos","product-kera.fdc6703e67":"Identidade mantida","product-kera.71dce2b4fc":"O plano distribuído","product-kera.ec327aa94d":"cinco etapas sobre um grafo","product-kera.943df06a52":"Partição","product-kera.dde6898b7c":"Dividir o grafo entre nós.","product-kera.cbb4cc4982":"Transferência","product-kera.b3761c5ae5":"Movimento declarado entre partições.","product-kera.d8e97c28f7":"Coletivo","product-kera.c3ca4ed1b5":"All-reduce e exchange de anel explícitos.","product-kera.5cb9afc059":"Ponto de verificação","product-kera.8d0732fba5":"Estado de recuperação ligado ao grafo.","product-kera.4addbf1673":"Recuperar","product-kera.70946e489d":"Um nó com falha restaura sem alterar a identidade.","product-kera.d85bc3cdeb":"um grafo","product-kera.518f938ebd":"merece uma cadeia de compilador responsável","product-kera.9423c6c2bb":"Um grafo merece uma cadeia de compilador responsável.","product-kera.00ba602f0b":"Uma cadeia de compilador sob um único dono","product-kera.7938644440":"Sem compilador genérico","product-kera.63a205997f":"no centro","product-kera.15954976c5":"A Kera não depende de LLVM no seu centro. A Dweve possui a linguagem, o sistema de tipos, o modelo de efeitos, o IR do grafo, o planeador, a redução, a alocação de registos, a seleção SIMD, o JIT, os caminhos de dispositivos e a semântica de runtime em toda a superfície de alvos suportada.","product-kera.daa2d1b7a3":"Sistemas operativos, drivers, firmware e hardware ficam fora da Kera. A cadeia central que define um programa e a sua execução pertence a um único produto e equipa, por isso clientes estratégicos podem negociar suporte em torno do próprio sistema, em vez de em torno de um conjunto de partes com donos separados.","product-kera.86adbe0b9e":"Cadeia própria","product-kera.5d0e5b6012":"Fronteira clara","product-kera.f47a0df232":"Responsável","product-kera.7d0964330a":"Da origem à execução","product-kera.a82b73d395":"um único dono em toda a cadeia","product-kera.6da13addb0":"Origem","product-kera.5dba98c8ce":"A linguagem nativa de grafos.","product-kera.9a7405ebce":"Grafo","product-kera.0c715b50bf":"O IR .keg endereçado por conteúdo.","product-kera.ae2f98a099":"Plano","product-kera.8457faca87":"Planeamento e colocação de grafo completo.","product-kera.c6dcbd318c":"Lowering Kera, alocação de registos e geração de código.","product-kera.6ea36ce8d4":"Executar","product-kera.fc89b1dac9":"O runtime Kera no alvo.","product-kera.d11e0dac41":"A Kera é dona da computação","product-kera.f9be503991":"A Core é dona da máquina de IA completa","product-kera.432cb35720":"A Kera é dona da computação. A Core é dona da IA. A fronteira tem de permanecer nítida.","product-kera.18d1819895":"A Kera e a Core são produtos diferentes","product-kera.fefa0bd607":"Computação abaixo,","product-kera.eb92d987fd":"a máquina de IA acima","product-kera.07f4a51429":"A Core fornece a máquina de IA completa. Transporta os algoritmos, operações, representações, métodos de treino, sistema de inferência, kernels, despacho e infraestrutura de serviço de IA e aprendizagem automática usados pelos produtos Dweve.","product-kera.6adbf6b5c9":"A Kera fornece o caminho mais profundo: linguagem nativa de grafos, IR endereçado por conteúdo, planeamento de grafo completo, lowering próprio e um runtime para os alvos suportados. É a camada que decide como uma computação chega à máquina, não para que serve a computação. Quando um pacote a inclui, as operações da Core podem ser encaminhadas por esse caminho sem que os produtos acima mudem.","product-kera.4982b3db65":"Camada de IA","product-kera.992205d999":"Camada de computação","product-kera.2c59ac441b":"Caminho selecionado","product-kera.4f2d5cda45":"Core Native versus Core na Kera","product-kera.e07fdb34c7":"duas vias sob a Core","product-kera.b14e0fee60":"Core Native","product-kera.77a36926b3":"a máquina de IA completa em execução nativa em Rust","product-kera.b416d2b35e":"Operações e representações de IA","product-kera.a866dd9a20":"treino, inferência, serviço","product-kera.56adaaabdc":"kernels e despacho","product-kera.1307de22b6":"incluído com a Core","product-kera.ff12047a09":"amplo e completo por si só","product-kera.5bd7bdd9b6":"Core na Kera","product-kera.cb772a19ca":"a mesma máquina de IA no caminho direto","product-kera.0006a09fcf":"as operações tornam-se nós de grafo","product-kera.b701bb777a":"planeamento e fusão de grafo completo","product-kera.c06b9c3ebb":"emissão direta específica do alvo","product-kera.fcb80b35b0":"licenciamento estratégico selecionado","product-kera.7df9de8fc1":"a fundação de execução mais profunda","product-kera.33193264dc":"a computação direta é estratégica","product-kera.395a36df67":"porque o caminho em si é estratégico","product-kera.f443e90223":"A computação direta é comercialmente significativa porque o caminho é estratégico.","product-kera.913a763c67":"Comercial porque o caminho importa","product-kera.11fbe7f73e":"O caminho mais profundo","product-kera.8dc7185c2f":"é licenciado","product-kera.05d9e213ee":"A Kera é um produto proprietário da Dweve. Não está incluída em todas as licenças da Core e não é apresentada como código aberto. As organizações que adquirem o caminho de execução mais profundo precisam de uma parte responsável por esse caminho.","product-kera.c70146ec52":"O portefólio de alvos define as máquinas suportadas e a entrega. Suporte, escrow, revisão, código operacional, comissionamento isolado, chaves detidas pelo operador e transferência de tecnologia são direitos separados, salvo acordo em contrário.","product-kera.0b0db435a5":"Proprietário","product-kera.b15fec0012":"Acordo","product-kera.ccc963aa3d":"Dono","product-kera.63fb347dde":"O que um acordo pode cobrir","product-kera.c516aef713":"sem pacotes ou preços inventados","product-kera.c4740e4ca2":"Runtime","product-kera.eeb037e093":"Direitos de executar a Kera em alvos acordados.","product-kera.f32d5a3b17":"Suporte","product-kera.7a440d92be":"Termos de suporte e indemnização.","product-kera.b333d65133":"Escrow","product-kera.14b2baee19":"Escrow de código quando selecionado separadamente.","product-kera.830be5e950":"Revisão ou entrega de código apenas quando expressamente contratado.","product-kera.9b6a2f8838":"Transferência de tecnologia e trabalho em alvos personalizados.","product-kera.fb8996a122":"o caminho é europeu por origem","product-kera.33d298de2a":"e controlável pela implementação","product-kera.4ceed20869":"O caminho é europeu pela origem e controlável pela implementação.","product-kera.f322daecf6":"Controlo computacional europeu","product-kera.f905ca9bea":"O controlo desce abaixo","product-kera.f4075b16fd":"da camada de nuvem","product-kera.bd43f64fbe":"A Kera é concebida e construída nos Países Baixos. A operação direta da Kera pertence a uma implementação elegível controlada pelo cliente licenciado ou totalmente isolada, de acordo com o acordo e o portefólio-alvo.","product-kera.2a0a5aacb9":"A soberania não se resume à localização da fonte ou à geografia do servidor. Depende do controlo da linguagem, do IR, do compilador, do runtime, do roteiro-alvo, da semântica, do operador, dos controladores, da configuração e da cadeia de fornecimento.","product-kera.cddd3908ac":"Origem neerlandesa","product-kera.9aa4efaeff":"Licença da UE","product-kera.cc5882cdc3":"Controlo semântico","product-kera.f1df794cc2":"O que uma postura controla","product-kera.c19e6c5f24":"configuração, não apenas geografia","product-kera.0f21717994":"Região","product-kera.aa3e978fa1":"Onde a implementação está alojada.","product-kera.7843fc5bea":"colocação","product-kera.e5651c683f":"Chaves","product-kera.95470a276b":"Chaves detidas pelo operador quando acordado.","product-kera.fe96dd3975":"operador","product-kera.355d259f17":"Efeitos de saída","product-kera.fb7d3f805c":"Quais fronteiras externas são permitidas.","product-kera.72b6facb06":"Lista de permissões de alvos","product-kera.0ea446f15b":"Quais alvos uma implementação pode utilizar.","product-kera.6543f14e1a":"limitado","product-kera.545782292b":"Acesso do operador","product-kera.6c6ae4ac83":"Quem pode atuar no sistema em execução.","product-kera.547ff52d6c":"controlado","product-kera.c0b700d1ec":"A Kera é a camada mais profunda","product-kera.5704594f12":"não toda a pilha Dweve","product-kera.c25147caed":"A Kera é a camada mais profunda, não toda a pilha Dweve.","product-kera.a5541608ff":"A Kera no sistema Dweve","product-kera.19f4cca33f":"sob cada produto acima dela","product-kera.dbc53d50f3":"A Kera é a fundação computacional licenciada mais profunda da pilha. Executa computação sob os produtos acima, está incluída apenas onde o acordo o exige, e os produtos acima não mudam de forma dependendo da sua presença.","product-kera.20129cc874":"O Core fornece IA, o Loom compõe especialistas, e o Nexus coordena ferramentas, regras, pessoas e IA. O Spindle preserva conhecimento, o Mesh distribui trabalho, e o Fabric serve-o. A Kera não faz nenhuma dessas coisas; é o caminho computacional em que essas camadas podem assentar.","product-kera.8c3b7ad87f":"Fundação","product-kera.6ab1333147":"Âmbito licenciado","product-kera.cc3ad49e5c":"Sob os produtos","product-kera.b2e5154f65":"O caminho direto na pilha","product-kera.9375e727c5":"da Kera até ao Fabric","product-kera.60ecfc0d27":"Computação direta de grafo para máquina.","product-kera.68836c550e":"Core","product-kera.8cdde04eea":"Com Kera","product-kera.8309fcbe88":"As operações do Core tornam-se nós e regiões de grafo que a Kera pode planear, fundir, baixar e emitir","product-kera.56d5a5605b":"Sem Kera","product-kera.acaa562115":"O Core recorre ao seu caminho de execução nativo em Rust","product-kera.6aa18a0d30":"Dois contratos","product-kera.022252b985":"Os produtos não colapsam, cada um possui uma camada distinta","product-kera.de8011f844":"A máquina de IA completa acima dela.","product-kera.69697ca450":"Loom, Nexus, Spindle, Mesh compõem sobre o Core.","product-kera.a010de5c61":"Fabric","product-kera.6d315b6a9e":"A superfície de utilizador no topo.","product-kera.aa442d4a07":"cada implementação que recebe Kera","product-kera.6b0a2b47d2":"ganha um caminho direto de grafo para máquina","product-kera.a8754b9738":"Traga a operação com o seu caminho genérico mais forte já otimizado.","product-kera.1cf3641b7a":"Traga a operação","product-kera.90e55be97c":"Traga a operação de produção, as suas formas reais, o frontend real, as flags genéricas mais fortes, a máquina-alvo, os requisitos de precisão e o contrato determinístico. Compare execução, movimento, código emitido, grafo e resultado. A questão já não é se um compilador personalizado pode alcançar um genérico. É o que se torna possível quando o compilador nunca esquece a computação.","product-kera.f6443a40b3":"Traga a sua operação","product-kera.9e3c1d591d":"Em que se baseiam as afirmações","product-kera.29a184b65c":"grafo","product-kera.2b8a8fe488":"Uma computação com identidade estável","product-kera.2d2794fd3e":"caminho de emissão personalizado","product-kera.f865970e42":"Redução de Kera sem centro de compilador genérico","product-kera.3a9055585a":"planos","product-kera.045e25a289":"execução específica do alvo","product-kera.89588b51b8":"Um grafo, muitos planos de alvo honestos","product-kera.0a4ca4ce7e":"aproveitamento","product-kera.0571d03553":"evidência reproduzível","product-kera.e13183fd7d":"Cada figura viaja com o seu envelope completo","product-kera.ea717892a4":"O compilador sabe","product-kera.0513cea9a7":"Kera é uma linguagem de sistemas e compilador nativos de grafos para computação determinística. O seu planeador mantém o significado do programa visível até à emissão direta para o alvo: um logaritmo vetorial continua a ser um logaritmo vetorial. O emissor escolhe o código porque ainda conhece a operação, não porque reconheceu um padrão de ciclo tarde demais.","product-kera.d58c64b171":"Inspecionar um grafo .keg","product-kera.161480a2d3":"Ler a arquitetura","product-kera.1069afd867":"Tipos e efeitos","product-kera.94431bd564":"sobrevivem até à emissão","product-kera.a45e4a56cd":"Caminho de emissão","product-kera.58065ab442":"Geração de código Kera, sem centro LLVM","product-kera.2f4d393f85":"por funcionalidade, declarado","product-kera.72bfd01f33":"planeado no grafo","product-kera.abd497a3a4":"O grafo é o programa","product-kera.3408c02bc4":"IR de grafo durável","product-kera.31e7d69af5":"não uma vista temporária","product-kera.c366718c09":"Kera não envolve um grafo à volta de um fluxo de instruções comum como uma vista de otimização passageira. O grafo é a representação durável do programa. O código-fonte é verificado num grafo .keg tipado, com rastreio de efeitos, consciência de propriedade e endereçamento por conteúdo.","product-kera.be52cbe6ba":"Planeamento, fusão, colocação, movimento, redução, emissão para o alvo, particionamento e reprodução derivam todos desse grafo. O programa permanece semanticamente rico até Kera emitir o seu plano de alvo, retendo informação que a redução genérica pode já ter descartado.","product-kera.2c7ec6fc75":"Programa em grafo","product-kera.b75cf5fa72":"Planos derivados","product-kera.7d7d68b67c":"Até à emissão","product-kera.c64e24a9b9":"Da origem à reprodução","product-kera.6c08c9199d":"o grafo é mantido durante todo o processo","product-kera.79ad3e32ea":"Verificado num grafo .keg tipado.","product-kera.92af7ebb2c":"O planeamento deriva do grafo.","product-kera.a382513d37":"A compilação mantém o contexto do grafo.","product-kera.0c32087c5a":"Código de alvo a partir do mesmo grafo.","product-kera.c0f85d6679":"Reprodução","product-kera.22f4deffea":"Reconstruído a partir do grafo.","product-kera.3f71544975":"o grafo só pode ser durável","product-kera.d171d7cd2e":"se a identidade for estrutural","product-kera.d64e752fff":"O grafo só pode ser durável se a identidade for estrutural.","product-kera.206b4f4905":".keg com endereçamento por conteúdo","product-kera.0b3961cacb":"O conteúdo dá identidade","product-kera.2a1d839b27":"para que uma alteração não possa esconder-se","product-kera.e9eeb552e9":"Um ficheiro .keg é um artefacto de grafo com endereçamento por conteúdo. Cada nó é identificado a partir do conteúdo que representa, e o grafo completo captura tipos, dependências, regiões, exportações, efeitos e metadados relevantes para o alvo.","product-kera.8a1eb202a3":"O endereçamento por conteúdo dá ao programa uma identidade estável. Nós inalterados mantêm-na, nós alterados recebem outra, e os diffs de grafo isolam a alteração. Caches e registos referem-se ao artefacto exato.","product-kera.4acea90893":"Identidade BLAKE3","product-kera.1f94152262":"Cache de computação","product-kera.cc760bb063":"Legível","product-kera.75feac5ee8":"O registo .keg","product-kera.bda28b1dac":"o que o endereçamento por conteúdo fixa","product-kera.eb646a38da":"identidade de conteúdo","product-kera.8e0a17a9ec":"Derivado do conteúdo do nó, não da posição","product-kera.75a0ee1ba9":"diff","product-kera.f56972c915":"alteração semântica","product-kera.3bc7dbd397":"Um diff de grafo isola o que mudou","product-kera.b03592806e":"cache","product-kera.d14102b4f3":"chaveada por conteúdo","product-kera.11026ce64c":"Subgrafos partilhados são reconhecidos","product-kera.d145a2a905":"fixar","product-kera.0a5542a134":"artefacto aprovado","product-kera.90726e63ca":"O grafo exato que uma aprovação nomeia","product-kera.ac72fffcef":"a identidade preserva a alteração","product-kera.62a032238a":"os tipos preservam o significado","product-kera.407f1cde13":"A identidade preserva a alteração. Os tipos preservam o significado.","product-kera.1b812ee011":"Os tipos sobrevivem à redução","product-kera.c08639e2bd":"Os tipos informam o plano","product-kera.04e31266eb":"não apenas o verificador","product-kera.71119f01d6":"O sistema de tipos da Kera não é descartado após a verificação do frontend. Os tipos participam na construção do grafo e no planeamento. O tipo numérico, a forma, a região, a posse do espaço de memória, os efeitos e as capacidades permanecem relevantes para a redução e a emissão.","product-kera.9a352b801f":"O planeador não otimiza um fluxo de instruções sem tipos depois de os factos materiais terem desaparecido. O mesmo sistema de tipos restringe a execução legal e fornece contexto de otimização, pelo que a forma e o layout permanecem conhecidos quando a redução começa e o backend nunca tem de os adivinhar.","product-kera.2330b78b77":"Tipos retidos","product-kera.2564c394db":"Restrições do plano","product-kera.3da54dc7ac":"Forma conhecida","product-kera.fe56986284":"O que o tipo transporta","product-kera.ef9677eeb0":"factos que o planeador pode usar","product-kera.323823482b":"Tipo numérico","product-kera.4ed2e8c275":"O dtype declarado viaja com o valor.","product-kera.277b5417df":"Forma e layout","product-kera.20ae845afb":"Os tamanhos esperados e o empacotamento são retidos.","product-kera.b7374e4b69":"Espaço de memória","product-kera.8b69626a46":"A posse e a região fazem parte do tipo.","product-kera.08ea84b95f":"Efeitos e capacidade","product-kera.84a4d2ce72":"O que o valor pode fazer permanece visível.","product-kera.e13e23cad0":"os efeitos não são valores comuns","product-kera.a7ffb6cd27":"e não podem ser otimizados como se fossem","product-kera.d10a7868d2":"Os efeitos não são valores comuns e não podem ser otimizados como se fossem.","product-kera.abc9d8cfba":"Os efeitos são explícitos","product-kera.ba6cff23fe":"Os tipos de efeito mantêm","product-kera.ce1e9350d0":"o trabalho puro separado","product-kera.ce8cc03475":"O cálculo puro e a ação externa são categorias computacionais diferentes, e a Kera torna essa distinção explícita. Efeitos como acesso a ficheiros, acesso à rede, mutação, interação com dispositivos, estado persistente e uso de capacidades externas são representados no programa.","product-kera.4d9a9a846c":"O planeador preserva a ordem dos efeitos, o verificador rejeita capacidades não declaradas e o runtime impõe o conjunto de implementação. Os registos de execução mostram quais fronteiras externas foram atravessadas, pelo que a otimização não pode tratar silenciosamente uma operação com efeitos como cálculo puro.","product-kera.e4a47d1ea3":"Arestas de efeito","product-kera.7136d8c591":"Acesso verificado","product-kera.5f0a6cdc86":"Efeitos ordenados","product-kera.7ef889394c":"Categorias de efeitos","product-kera.876c9952c1":"cada uma controlada por capacidade","product-kera.c5b132c86e":"Cálculo que o planeador pode reordenar.","product-kera.4ff88aaddb":"livre","product-kera.6bc538fd02":"Acesso declarado ao sistema de ficheiros.","product-kera.71c4bbd6e4":"O uso não declarado é rejeitado pelo verificador.","product-kera.ec734b6515":"verificado","product-kera.bc251506c6":"A mudança de estado persistente permanece ordenada.","product-kera.2f6d3eca5a":"ordenado","product-kera.300de111dd":"A interação com dispositivos é um efeito explícito.","product-kera.79fd1355be":"Capacidade","product-kera.7990c1505b":"Imposta contra o conjunto de implementação.","product-kera.dc9720f398":"imposto","product-kera.b70b3c7fcd":"a posse dá à Kera a mesma precisão","product-kera.35e29a0d83":"sobre o movimento de dados","product-kera.23e2b9210e":"A posse dá à Kera a mesma precisão sobre o movimento de dados.","product-kera.ec60281c0c":"Posse entre espaços de memória","product-kera.ef888b2646":"Possuir o movimento","product-kera.f4de5d106b":"entre espaços de memória","product-kera.e73dfa61ca":"A Kera estende a posse para além da memória do host comum. Os valores podem ter restrições de posse e movimento entre espaços host, fixos, de dispositivo, unificados, remotos e persistentes. O grafo regista as relações de transferência e mutação.","product-kera.f7f40d77e1":"O planeador pode remover transferências, fundir regiões, manter valores num dispositivo ou rejeitar aliasing ilegal sob as regras de posse. A segurança de memória e o desempenho tornam-se um único problema porque cada transferência permitida é explícita.","product-kera.cb12625190":"Entre espaços","product-kera.5f89408b49":"Planeamento de segurança","product-kera.b9a1316267":"Sem aliasing","product-kera.d455d34e23":"Um valor a cruzar espaços","product-kera.d0b4b2e2a7":"o token de posse segue","product-kera.56dd613c9c":"O valor é possuído na memória do host.","product-kera.a775f532a0":"A posse transfere-se com o movimento.","product-kera.ae868d9a94":"Retido","product-kera.5f97cb9d88":"O planeador mantém-no no dispositivo.","product-kera.04259816ac":"Alias","product-kera.0e09a1404e":"Um alias ilegal é rejeitado.","product-kera.34b684506a":"com grafo, efeitos e propriedade conhecidos","product-kera.1883b2f4e3":"o planeamento pode operar globalmente","product-kera.1ce3597123":"Com grafo, efeitos e propriedade conhecidos, o planeamento pode operar globalmente.","product-kera.1464117ba2":"Planear todo o grafo","product-kera.a59ddfed8f":"antes de qualquer código ser emitido","product-kera.e777648161":"A Kera planeia antes de emitir. O plano pode incluir ordem topológica, colocação de alvos, particionamento do grafo, grupos de fusão, alocação de memória, transferência de propriedade, movimento entre anfitrião e dispositivo, regiões paralelas e sincronização.","product-kera.4b5297ab26":"O plano também seleciona kernels, ordenação determinística, limites de checkpoint, coletivos distribuídos e pontos de recuperação. Com todo o grafo disponível, cada escolha permanece inspecionável em vez de confinada a uma janela de instruções local.","product-kera.4745932340":"Plano de grafo completo","product-kera.83d3eac589":"Planear primeiro","product-kera.93c9ec6a2e":"Contexto completo","product-kera.2bb71c3a9e":"Dimensões do plano","product-kera.524c2e3cdf":"sobre um grafo inteiro","product-kera.1d75774c0f":"Ordem","product-kera.3a3d3d7206":"Ordem topológica e sincronização.","product-kera.cc657a8f8b":"Colocação de alvos e particionamento.","product-kera.dc25e1c633":"Grupos de fusão no grafo.","product-kera.b97d763e2d":"Alocação e movimento entre anfitrião e dispositivo.","product-kera.9790f53365":"Checkpoints e pontos de recuperação.","product-kera.be8f9784b5":"a primeira grande vitória","product-kera.96218f8b2c":"é muitas vezes eliminar trabalho","product-kera.f2e22c6961":"A primeira grande vitória é muitas vezes eliminar trabalho.","product-kera.d345a9e175":"A fusão elimina trabalho","product-kera.8674ae9921":"Fundir regiões inteiras","product-kera.762c13905b":"e remover transferências","product-kera.2f55511f43":"A otimização ao nível da instrução torna um programa existente mais barato. A fusão de grafos pode impedir que partes do programa existam como trabalho separado.","product-kera.55ce9108b5":"A Kera pode fundir operações, remover intermediários, reter valores localmente e colapsar travessias. Isso significa menos kernels e alocações dentro das regras do grafo.","product-kera.c0af40b6d1":"Menos trabalho","product-kera.0bb92c8fb6":"Menos dados","product-kera.822f34aac5":"Semântica","product-kera.94b5459806":"Antes e depois da fusão","product-kera.4836606075":"o que os contadores mostram","product-kera.7ff078f264":"regiões","product-kera.689e604972":"grupos de execução","product-kera.daab369559":"Operações compatíveis tornam-se uma região","product-kera.80a3773590":"intermediários","product-kera.8cd6092979":"materialização","product-kera.abfe38af38":"Valores que nunca precisam de ser escritos","product-kera.442088cd90":"kernels","product-kera.4928016aa1":"lançamentos","product-kera.ba6f3a2898":"Menos lançamentos e pontos de sincronização","product-kera.daf529a731":"bytes","product-kera.5e142a4b65":"movidos","product-kera.0c99af8ac7":"Fronteiras de transferência reduzidas","product-kera.b1a338c85c":"após o planeamento","product-kera.5ce53f6029":"vem o próprio caminho de lowering da Kera","product-kera.f80c6e0d31":"Após o planeamento vem o próprio caminho de lowering da Kera.","product-kera.4019987b4c":"Emissão direta, definida com precisão","product-kera.b67374d6bd":"Um caminho de lowering próprio","product-kera.db665307c6":"e nenhum backend emprestado","product-kera.85440c25e8":"A Kera é dona do caminho do grafo planeado ao código de destino. Não há estágio LLVM IR no centro. O compilador e o JIT da Kera realizam o seu próprio lowering, alocação de registos, seleção de instruções, seleção de caminho SIMD, emissão de kernels e integração em tempo de execução para os alvos suportados.","product-kera.28e4b02c78":"O caminho ainda contém transformações, mas permanecem dentro de um sistema com acesso à semântica do grafo e das operações. Emissão direta significa propriedade do lowering, não a ausência de um compilador, e cada alvo suportado ainda recebe o planeamento e a geração de código que requer.","product-kera.53b1764cda":"Lowering próprio","product-kera.3cb8589170":"Caminho do compilador","product-kera.02d122e93a":"Contexto semântico","product-kera.0b2fa634f2":"Da fonte ao alvo","product-kera.6b77561814":"a via LLVM está simplesmente ausente","product-kera.d38b11c203":".keg","product-kera.d624b457a4":"O grafo endereçado por conteúdo.","product-kera.52fd9fdf0e":"Planeamento de grafo completo.","product-kera.897b3ac98d":"Codegen","product-kera.065fd908b6":"Redução e alocação de registos Kera.","product-kera.61ad50a9b9":"Target","product-kera.74b731ebef":"Execução nativa na máquina.","product-kera.7df9ae681e":"agora compare o resultado emitido","product-kera.4a47337db4":"com um caminho genérico otimizado","product-kera.faf7147953":"Agora compare o resultado emitido com um caminho genérico otimizado.","product-kera.cb2a448b30":"Benchmark: as vitórias dramáticas","product-kera.311cffce5c":"A linha de base afinada é um piso","product-kera.ca40fab5d3":"não um teto","product-kera.e5ae663d6c":"Os benchmarks internos atuais comparam o caminho de emissão Kera com a saída LLVM otimizada para a mesma família de operações e formas testadas. As maiores vantagens medidas aparecem no logaritmo vetorial, na multiplicação de matrizes Q16.16 e Q31.32 de grandes dimensões a partir de 512 por 512, na exponencial vetorial, na tangente hiperbólica vetorial e no produto escalar binário.","product-kera.7f696073fb":"Os resultados dependem do hardware, pelo que cada figura publicada deve incluir o hardware exato, o sistema operativo, a revisão Kera, as versões do LLVM e do frontend, as flags de otimização, a distribuição de entrada, a política de aquecimento, a contagem de amostras, o intervalo de confiança e o harness de origem completo. As evidências, o ambiente, o método e as condições de teste devem ser reproduzíveis.","product-kera.cab6ab9bb7":"Trabalho correspondente","product-kera.e388d6d792":"Formas testadas","product-kera.9d5dfa2143":"Envelope de evidências","product-kera.030c9397c4":"As operações principais","product-kera.70835ad83d":"vantagens com âmbito testado","product-kera.c9e51c02ee":"Matmul Q16.16 e Q31.32","product-kera.15694861d5":"A maior vantagem a partir de 512 por 512.","product-kera.f69dea5549":"Várias vezes mais rápido nos perfis de ponto fixo testados.","product-kera.3c47fec89b":"Uma forte vantagem nos tamanhos binários testados.","product-kera.e9342df898":"uma arquitetura de compilador deve vencer","product-kera.7ca2cd0a2a":"em mais do que um kernel favorito","product-kera.36245332a6":"Uma arquitetura de compilador deve vencer em mais do que um kernel favorito.","product-kera.35c6bb6bf1":"Benchmark: as vitórias amplas e os casos de paridade","product-kera.e31ad7bf8b":"O conjunto de benchmarks mais amplo","product-kera.2641ef7d88":"mantém a paridade visível","product-kera.7ebe760a6f":"Além das operações principais, os testes atuais mostram ganhos menores na multiplicação de matrizes binárias bipolar e unipolar. Também cobrem multiplicação de matrizes de ponto fixo fora do caminho de maior vitória, ReLU, adição vetorial, sigmoide, redução binária, AND, OR, NOT, XNOR e popcount.","product-kera.f51d5ecebe":"Algumas formas testadas permanecem em paridade ou ainda não mostram vantagem Kera, e o relatório de benchmarks mantém-nas visíveis. A sua matriz por família de operação e tamanho mostra as vitórias medidas, os casos de paridade, a análise pendente e as lacunas atuais em conjunto, em vez de selecionar apenas resultados favoráveis.","product-kera.f3bdcdf5df":"Conjunto mais amplo","product-kera.14d0c84aac":"Paridade mostrada","product-kera.0d8dfc7019":"Pendente","product-kera.e57b07bd62":"Resultado por família de operação","product-kera.14f7aa4972":"vitórias, paridade e pendentes","product-kera.ed159417d7":"Matmul binário","product-kera.84e3e4a095":"Ganhos bipolares e unipolares nos tamanhos testados.","product-kera.fb009f2f55":"Ativações","product-kera.30c1f89a00":"Ganhos ReLU e sigmoide nos intervalos testados.","product-kera.0661c73016":"Adição vetorial","product-kera.b86e160a14":"Ganhos de tamanhos médios a grandes.","product-kera.3f687d3e29":"Bitwise","product-kera.3dc0eb779e":"Ganhos AND, OR, NOT, XNOR e popcount.","product-kera.6443b29df2":"Paridade e pendentes","product-kera.9d24d4f6f3":"Células neutras e não analisadas mantidas visíveis.","product-kera.2be95dd8dd":"a próxima questão","product-kera.953b1810b3":"é por que cada operação vence","product-kera.fc52ae4a08":"A próxima questão é por que cada operação vence.","product-kera.9b2e7796ce":"LLVM não é lento","product-kera.75d03a95cc":"Mantenha o grafo inteiro","product-kera.ebd495b476":"A operação original desapareceu, os vizinhos do grafo desapareceram e a propriedade desapareceu.","product-kera.ef588011ec":"O contrato de empacotamento está apenas parcialmente codificado, e o movimento do dispositivo vive fora do IR por completo.","product-kera.93460af1f2":"Duas entradas do otimizador","product-kera.7a98090861":"Operação original desaparecida","product-kera.62aeede54d":"Vizinhos do grafo desaparecidos","product-kera.ee3994aad0":"Propriedade desaparecida","product-kera.a92e82fbed":"Movimento fora do IR","product-kera.47928ce3e2":"Kera não vence o LLVM por ser um melhor passe do LLVM. Entra na emissão com informação que o LLVM nunca recebeu.","product-kera.de51b73e21":"Por que as vitórias diferem","product-kera.30f8ae0c05":"Não há truque universal","product-kera.2b5a697072":"então nomeie a causa","product-kera.be49e96379":"As vitórias nos benchmarks não vêm de um truque universal. Diferentes famílias de operações expõem vantagens diferentes, e a causa deve ser analisada em vez de assumida.","product-kera.463d88f718":"A causa pode ser algoritmos cientes da operação, fusão de grafos, menos materialização, emissão SIMD ou kernels especializados. Cada afirmação precisa de análise; todas usam informação retida.","product-kera.37db1bb6dc":"Causas reais","product-kera.1f942c9e7d":"Analisar primeiro","product-kera.0775c54065":"Arquitetura","product-kera.e9b55af5af":"Causas por operação","product-kera.aa77c1dada":"vitórias diferentes, razões diferentes","product-kera.543e5ce006":"Escolha de algoritmo","product-kera.7c3d4ea5a0":"Um algoritmo melhor válido para a operação.","product-kera.42327255f1":"Fusão e movimento","product-kera.ca35daa370":"Menos intermediários e transferências.","product-kera.9aba2e41f3":"SIMD direto","product-kera.606f77e7cf":"Emissão específica do alvo e uso de registos.","product-kera.f11fedb225":"Aproximação","product-kera.aa0e158d1d":"Um caminho especializado sob um contrato de precisão.","product-kera.0fea4dee51":"Especialização de forma","product-kera.15afa90399":"Kernels moldados ao tamanho exato.","product-kera.443a065273":"essas causas tornam-se concretas","product-kera.027e948bf2":"no emissor ISA","product-kera.1ff35060a0":"Essas causas tornam-se concretas no emissor ISA.","product-kera.f80a0cba69":"Geração de código ISA específico do alvo","product-kera.22308eace5":"Emitir para o processador","product-kera.ec23c49605":"que realmente o executará","product-kera.98e9bb7472":"A Kera não considera um backend suportado apenas porque código nativo genérico pode correr lá. O modelo de alvo inclui arquitetura e capacidades do conjunto de instruções, e o código é emitido para o processador em que vai correr, em vez de para a família a que pertence.","product-kera.c6b7fb3f96":"A emissão para CPU cobre caminhos suportados x86-64, ARM64 e RISC-V com SIMD disponível. Os planos para GPU, FPGA e WebAssembly seguem os seus próprios modelos de execução. As diferenças de capacidade permanecem explícitas, em vez de tratar código nativo genérico como suporte.","product-kera.41c602b00a":"Modelo de alvo","product-kera.6a1c6b4282":"Seleção SIMD","product-kera.604b638ddf":"Suporte declarado","product-kera.6c50c2526a":"Alvos e capacidade","product-kera.563c80339d":"a cobertura é por funcionalidade","product-kera.a32491d370":"x86-64","product-kera.7e1dc8f564":"Conjuntos de instruções SIMD selecionados onde disponíveis.","product-kera.bb16ce026b":"ARM64","product-kera.aa5a5de732":"Geração de código nativo em caminhos suportados.","product-kera.6c2f38c24f":"RISC-V","product-kera.53f8c4c321":"Geração de código CPU suportada.","product-kera.c0d75ce4e1":"CUDA e ROCm onde suportados.","product-kera.10aa757a0f":"FPGA e WASM","product-kera.b88dd8a9c4":"Artefactos de síntese e grafos sandbox portáteis.","product-kera.db063d422e":"a seleção de instruções só é útil","product-kera.bc869a0a74":"se os registos e o agendamento também forem possuídos","product-kera.53cbc0ca4a":"A seleção de instruções só é útil se os registos e o agendamento também forem possuídos.","product-kera.82742bc0ea":"Alocação de registos e agendamento","product-kera.48e905df1f":"Decisões do backend","product-kera.380d2dd5d1":"manter a semântica","product-kera.9c58518246":"A Kera possui a alocação de registos e o agendamento de máquina para os seus alvos nativos suportados. Isso importa porque as decisões de registos podem usar contexto de grafo e operação que de outra forma se perderia antes da geração de código do backend, e um agendamento escolhido com esse contexto pode manter a fusão que o planeador pediu.","product-kera.186affc3c4":"O emissor molda intervalos de vida, desenrolamento, largura de vetor, escolha de instruções e reduções para a operação e alvo reais. Isto não é apenas código compilado sem um backend genérico; é uma arquitetura em que o backend ainda sabe o que agenda, por isso um spill ou um vetor alargado é uma decisão sobre uma operação nomeada.","product-kera.014fdcdbfc":"Registos possuídos","product-kera.efd12e0063":"Intervalos moldados","product-kera.3e0df664fd":"Backend semântico","product-kera.3062a4767b":"Intervalos de vida, moldados","product-kera.915fb83cec":"antes e depois do planeamento semântico","product-kera.d1222178ef":"Pressão","product-kera.e01a86b84e":"Pressão de registos lida da operação.","product-kera.32f2049c29":"Largura de vetor","product-kera.425125b40f":"Escolhida para o alvo e forma.","product-kera.799b496b24":"Redução","product-kera.74dda0c6c5":"Estrutura fixada para o contrato.","product-kera.ec6a237d2a":"Spills","product-kera.3ab262b099":"Minimizados com contexto de grafo.","product-kera.aa8d388fbb":"código estático","product-kera.6b80ae4816":"ainda precisa de seleção honesta em tempo de execução","product-kera.268b3d930c":"O código estático ainda precisa de seleção honesta em tempo de execução.","product-kera.64967db762":"Despacho em tempo de execução","product-kera.31f5f32af3":"O despacho nomeia o caminho","product-kera.ee8c419d37":"que realmente correu","product-kera.3358d6f51b":"Uma carga de trabalho compilada pode ainda encontrar diferentes processadores e conjuntos de funcionalidades em tempo de execução. A Kera pode selecionar um caminho de execução de acordo com o alvo, a política e as capacidades disponíveis.","product-kera.dd668b5e99":"O despacho tem em conta o suporte de ISA, largura de vetor, dispositivos, política, forma do grafo, kernels e memória. O registo de execução nomeia o caminho, expondo retrocessos ocultos.","product-kera.474268fd71":"Encaminhamento em tempo de execução","product-kera.8314e8b123":"Caminho registado","product-kera.efd0c38262":"Sem retrocesso","product-kera.3f2b1af841":"Entradas do despacho","product-kera.23e076ce15":"o que seleciona o caminho","product-kera.d7f8ed3471":"Suporte de ISA","product-kera.4c1024a2dc":"AVX-512, NEON ou um caminho estrito escalar.","product-kera.59dc310530":"isa","product-kera.f907096e62":"Disponibilidade de um plano de GPU.","product-kera.f3a929b336":"device","product-kera.bb9cf14180":"Política","product-kera.9da57dd7c6":"Requisitos determinísticos e numéricos.","product-kera.9f00fad98b":"policy","product-kera.ea5c1a20b7":"Forma","product-kera.a14dc7fb43":"Forma do grafo e disponibilidade de kernel.","product-kera.435abda706":"alvos heterogéneos permanecem um grafo","product-kera.6fcf2ab839":"não uma implementação","product-kera.04bfe0c6c1":"Alvos heterogéneos permanecem um grafo, não uma implementação.","product-kera.d376e1cf42":"CPU, GPU, FPGA e WASM","product-kera.261bc2bff7":"Um grafo semântico","product-kera.52fad316f3":"e um plano para cada alvo","product-kera.282f3978c0":"CPU, GPU, FPGA, WebAssembly e execução distribuída não devem exigir definições de programa não relacionadas. A Kera separa a identidade do grafo do plano de alvo.","product-kera.e10041a477":"Um grafo produz planos mantendo operações, efeitos, propriedade e dependências. O código de alvo difere; a semântica não. Cada funcionalidade regista claramente a capacidade não enviada.","product-kera.6654fb8af9":"Um grafo","product-kera.46c9a42fa2":"Sem bifurcação semântica","product-kera.f237e35935":"Cobertura de funcionalidades","product-kera.225ad42790":"Planos de alvo a partir de um grafo","product-kera.cac6d6efd0":"os artefactos emitidos diferem","product-kera.c383f9d818":"Código nativo com caminhos SIMD de alvo.","product-kera.799751e6f2":"Planos de execução CUDA e ROCm.","product-kera.88c8a7191b":"Grafo portátil e de navegador em sandbox.","product-kera.a1d8f8c639":"Planos particionados com coletivos.","product-kera.174a744a59":"variação de alvo","product-kera.1df88e2d1c":"deve permanecer compatível com o contrato de execução","product-kera.9bea7d6c43":"A variação de alvo deve permanecer compatível com o contrato de execução solicitado.","product-kera.f55248d824":"Plano para determinismo","product-kera.626cb74a01":"uma semente chega tarde demais","product-kera.58e3a6a78c":"O determinismo estrito não pode ser garantido definindo uma semente depois de a arquitetura de execução já ter introduzido variação não controlada. A Kera planeia o determinismo nos caminhos suportados.","product-kera.284ae25175":"Um plano determinístico pode fixar aritmética, ordenação, reduções, agendamento, comportamento do dispositivo, versões e efeitos. Outros modos permitem variação. O plano nomeia o seu contrato e âmbito.","product-kera.5c54a239a4":"Rigor","product-kera.441c7182c1":"Reduções","product-kera.627d92d2f5":"Três contratos de plano","product-kera.0dde78e885":"estrito, com semente, criativo","product-kera.cda3c0cbf4":"Aritmética exata e ordenação estável.","product-kera.74bbf41772":"Variação controlada, repetível por semente.","product-kera.ea176f65ae":"Variação intencional onde for útil.","product-kera.10092298bc":"o modelo de grafo e plano","product-kera.1bfdc3a5b8":"estende-se pelos nós","product-kera.4356987900":"O modelo de grafo e plano estende-se pelos nós.","product-kera.ca36591fe7":"Execução distribuída","product-kera.6824776a78":"Planeie a distribuição","product-kera.8a256e41cf":"particione e recupere","product-kera.c8be46afd1":"A Kera representa particionamento, all-reduce em anel, comunicação, checkpoints e recuperação no plano de execução. O grafo permanece o programa a ser distribuído.","product-kera.be47f3444a":"A execução local e distribuída permanecem num único sistema semântico. A comunicação é um efeito, a identidade permanece intacta e um nó com falha recupera a partir do seu checkpoint dentro do programa.","product-kera.dec8a66d10":"Um sistema","product-kera.52068e255f":"Efeito de rede","product-kera.b74e4ac6b6":"Identidade de recuperação","product-kera.99e02efdee":"etapas sobre um grafo","product-kera.fcfe7264a8":"Ring all-reduce e comunicação.","product-kera.25f77a0efe":"Um nó restaura sem nova identidade.","product-kera.9cfdad27c6":"os programadores devem poder inspecionar","product-kera.81443fd0d5":"o artefacto que conduz tudo isto","product-kera.9181481f27":"Os programadores devem poder inspecionar o artefacto que conduz tudo isto.","product-kera.8bfafb0658":"Ferramentas em torno de .keg","product-kera.2f7228a98f":"Cada ferramenta aborda","product-kera.abe63494e8":"o mesmo grafo","product-kera.2f51abe63e":"As ferramentas Kera podem inspecionar e operar no grafo como um artefacto de primeira classe. A superfície do programador inclui verificação de código, compilação, inspeção de .keg, planeamento de alvos, execução JIT, hashing do grafo, inspeção de tipos e efeitos, emissão de alvos e verificação de execução.","product-kera.da1aa0f57c":"O servidor de linguagem e o editor expõem os mesmos factos semânticos que o compilador utiliza. O grafo não é um detalhe interno revelado após falha; é um objeto de primeira classe que um programador pode ler, aplicar hash, planear, verificar, comparar e rastrear ao longo da cadeia de ferramentas.","product-kera.5954c8f22b":"Ferramentas de grafo","product-kera.788e0802ec":"Factos semânticos","product-kera.6687d5c1f6":"Inspecionar primeiro","product-kera.41021103e5":"Comandos e artefactos","product-kera.ceaeee5493":"a superfície do programador","product-kera.45e5f3f72e":"Comandos","product-kera.e43410f4f7":"a superfície do programador Kera","product-kera.25298f1752":"verificar e compilar","product-kera.38bcdeb9f8":"inspecionar o grafo .keg","product-kera.86bb11a970":"planear e executar JIT","product-kera.ed988f8ae6":"aplicar hash e verificar","product-kera.fb12809720":"operar diretamente no grafo","product-kera.629b09f337":"Artefactos","product-kera.6e9ebf52cb":"o que as ferramentas expõem","product-kera.ffe9efb401":"o grafo endereçado por conteúdo","product-kera.58a93763b3":"tipos e efeitos","product-kera.5bd139bb65":"o plano de alvo","product-kera.a20ae41895":"o registo de execução","product-kera.c4f9d5510a":"os mesmos factos que o compilador utiliza","product-kera.aef346b47c":"o maior utilizador de produção é o Core","product-kera.275738699f":"mas continuam a ser produtos separados","product-kera.4689244f88":"O maior utilizador de produção do Kera é o Core, mas continuam a ser produtos separados.","product-kera.bfc17a6a8c":"Kera por baixo do Core","product-kera.6feaae586e":"Computação subjacente","product-kera.306135779f":"e a máquina de IA acima","product-kera.ce86994282":"O Core fornece ao Kera o universo completo de operações de IA e aprendizagem automática utilizado em todo o Dweve. As operações do Core tornam-se nós e regiões do grafo que o Kera pode planear, fundir, reduzir e emitir.","product-kera.d4bdce5956":"Sem o Kera, o Core usa Rust nativo. Pacotes selecionados adicionam a fundação de grafo e execução do Kera. O Core é dono das operações de IA, treino, inferência e serviço; o Kera é dono do planeamento e execução.","product-kera.6aa9c36142":"Nós do grafo","product-kera.9238d0f153":"Produtos","product-kera.0a3ea60c4f":"Termos","product-kera.f0b13264bf":"Operação do Core para plano Kera","product-kera.4d0b3ee5b1":"dois produtos, uma redução","product-kera.9df97b29a0":"a máquina de IA completa","product-kera.c6bc202654":"treino e inferência","product-kera.4a9a974d41":"kernels e serviço","product-kera.0b8b2dc901":"Rust nativo onde o Kera está ausente","product-kera.764fe5c4eb":"é dono do que a IA é","product-kera.1b0d6de078":"o caminho computacional direto","product-kera.9f80adbad9":"operações como nós do grafo","product-kera.d3be955589":"planeamento e fusão","product-kera.40064088b4":"emissão direta para o alvo","product-kera.914b009acc":"execução heterogénea","product-kera.627619943e":"é dono de como se torna execução","product-kera.38f929de17":"acesso ao caminho","product-kera.732ab99438":"deve ser descrito com a mesma precisão que o caminho","product-kera.aa71619249":"O acesso ao caminho deve ser descrito com a mesma precisão do próprio caminho.","product-kera.1a1ccc8e73":"Fronteira comercial e de código-fonte","product-kera.8eaec5060a":"Executá-lo não é","product-kera.5ee4ec22ee":"o mesmo que lê-lo","product-kera.7ede81c8a4":"A Kera é proprietária e licenciada comercialmente. A página pública deve distinguir a arquitetura documentada dos direitos de acesso do cliente. Uma licença pode incluir diferentes combinações de uso em tempo de execução, acesso a alvos e direitos de implantação.","product-kera.58e0b96df2":"Suporte, depósito de código-fonte, revisão, código-fonte operacional, comissionamento isolado, transferência de tecnologia e trabalho em alvos personalizados são tratados separadamente, salvo acordo em contrário. Os crates complementares permanecem sob Apache 2.0; nem toda licença da Core inclui a Kera, e as que incluem indicam qual portfólio de alvos cobrem.","product-kera.37278a9dbd":"Proprietário","product-kera.4d439b3165":"Direitos definidos","product-kera.b677e3a6f2":"Termos separados","product-kera.c9e4bfa71e":"Dimensões da licença","product-kera.2c10139776":"pacotes desconhecidos permanecem delineados","product-kera.0a2bcea902":"Tempo de execução e alvos","product-kera.61d21bbe05":"Direitos de execução em alvos acordados.","product-kera.c358538bbf":"Depósito, revisão ou entrega quando acordado.","product-kera.f2d6c6fe8a":"Isolamento e transferência","product-kera.112293f287":"Operação isolada e transferência de tecnologia.","product-kera.23f712c054":"Alvos personalizados","product-kera.d2066dc01a":"Novo trabalho em alvos sob acordo.","product-kera.89d0bc06de":"o fecho é verificação","product-kera.966f4a6346":"não um adjetivo de vendas","product-kera.2a21299981":"O fecho é verificação, não um adjetivo de vendas.","product-kera.4fb1fc20db":"Avalie o compilador","product-kera.a9843e2c0b":"Traga LLVM de produção, flags reais, formas reais, o contrato de precisão real e o alvo que importa. Publique ambos os harnesses e os resultados brutos. Depois inspecione quais factos semânticos produziram a diferença. A alegação não é que a geração de código personalizada seja automaticamente melhor. É que reter informação semântica e possuir o caminho de emissão cria oportunidades que um compilador genérico não consegue reconstruir.","product-kera.fde9637178":"Avalie contra a sua compilação","product-kera.7734cefff5":"identidade de conteúdo","product-kera.0ff95f2116":"Identidades de nós BLAKE3, inspecionáveis antes da execução","product-kera.bed97175b0":"plano","product-kera.ff21cf7d36":"diff do planeador","product-kera.098e72b11a":"Fusão, colocação e movimento num único grafo","product-kera.2e96e89125":"emissão","product-kera.4ff7d96042":"caminho próprio","product-kera.73fe00a0bf":"Lowering da Kera sem LLVM no centro","product-kera.341d953e69":"repetição","product-kera.17e5547f1a":"teste estrito","product-kera.bdb739f036":"Garantias determinísticas limitadas sob teste","product-kera.481058320b":"Dweve Kera, o caminho direto por baixo","product-kera.272a94f63f":"Direto para a máquina,","product-kera.602fd36a0b":"não o caminho mais longo","product-kera.b52b000c7e":"Dweve Kera é a linguagem de sistemas e o compilador para computação determinística em caminhos de execução de produtos selecionados. A maioria dos programas passa por muitas camadas antes de um computador fazer o trabalho, e cada camada pode perder o rasto da tarefa. A Kera mantém o trabalho como um plano claro que se ajusta à máquina que faz o trabalho.","product-kera.dc8298b58a":"Veja a rota direta","product-kera.b009a7c55d":"A rota direta","product-kera.900ded66f3":"A tarefa","product-kera.a27ebee1ef":"mantida como um plano claro","product-kera.3ab65ee84b":"A máquina","product-kera.f11df07546":"recebe trabalho feito para ela","product-kera.d5cb3036bd":"A rota","product-kera.9f85cfd453":"menos camadas ocultas","product-kera.ba04f0dff5":"O resultado","product-kera.07d3ec6ec3":"mais rápido e estável","product-kera.8b0dd6470a":"Lembra-se do que é a tarefa","product-kera.38102f3002":"Mantenha o propósito","product-kera.4d315edeea":"em cada passo","product-kera.c8aa28abbc":"Imagine pedir a alguém para fazer um bolo e depois passar a instrução por várias pessoas. Quando chega à cozinha, a última pessoa tem uma lista de movimentos, mas já não sabe que deve fazer um bolo. Pode seguir a lista, mas não consegue tomar as mesmas decisões sensatas que alguém que ainda compreende a tarefa.","product-kera.183fb81a80":"A Kera mantém o propósito ligado. Um cálculo permanece identificável e a relação entre os seus passos fica visível. O computador recebe um plano para a tarefa completa, para poder tomar decisões que se ajustam ao trabalho em vez de seguir instruções minúsculas sem contexto. Ainda sabe o que a tarefa inteira pretende alcançar.","product-kera.c3c7b209a9":"Propósito mantido","product-kera.d718de5182":"Passos ligados","product-kera.d6cb91addc":"Plano completo","product-kera.9815c5a111":"Da tarefa à máquina","product-kera.d1af98313f":"o propósito viaja todo o caminho","product-kera.7bb0ddf922":"Tarefa","product-kera.801094e71f":"O que realmente quer fazer.","product-kera.1926edbfd7":"O trabalho mantido como uma imagem clara.","product-kera.826819699d":"Uma versão feita para a máquina.","product-kera.65bb1b78be":"Máquina","product-kera.024d83cf95":"Trabalho que ela faz bem.","product-kera.e1eaebb5a3":"compreender o trabalho","product-kera.e7b6550723":"permite um melhor caminho","product-kera.27dfe5b1f1":"Compreender o trabalho permite um melhor caminho.","product-kera.c42f45c328":"Isso pode tornar o software muito mais rápido","product-kera.178989fa80":"Mais rápido que o habitual","product-kera.46faf89aa4":"caminho otimizado","product-kera.a83e0f7b74":"Como a Kera ainda compreende o trabalho, por vezes consegue escolher uma forma muito melhor de o executar. Nos testes internos atuais, vários cálculos básicos correm várias vezes mais depressa do que versões já preparadas por uma ferramenta de propósito geral robusta.","product-kera.010db4d216":"Alguns cálculos testados correram mais de dez vezes mais depressa; outros mostram ganhos menores ou permanecem próximos da paridade. Os resultados exatos dependem da máquina, por isso um único número de destaque seria enganador. O caminho habitual deixou de ser o limite final.","product-kera.72afec6994":"Casos mais rápidos","product-kera.10d4669792":"Ganhos amplos","product-kera.cce6d8867e":"Limites testados","product-kera.966ea2ce2a":"Quanto mais rápido","product-kera.1015ddc361":"comparações honestas do dia a dia","product-kera.9b3be86461":"Alguns passos de matemática","product-kera.9fd966430a":"Podem correr mais de dez vezes mais depressa.","product-kera.cd36a295f3":"Alguns cálculos grandes","product-kera.cebdb8bb9d":"Entre as maiores melhorias.","product-kera.b81f607331":"Muitas operações comuns","product-kera.26c1cbbc64":"Correm claramente mais depressa nos tamanhos testados.","product-kera.f9081cfa62":"Alguns casos","product-kera.f180693447":"São atualmente semelhantes em velocidade.","product-kera.3060dc5856":"a velocidade vem muitas vezes de fazer menos trabalho","product-kera.aaecacf8e3":"não de apressar cada passo","product-kera.0d00644efc":"A velocidade vem muitas vezes de fazer menos trabalho, não de apressar cada passo.","product-kera.d75afe90b2":"Menos trabalho significa menos espera","product-kera.7dd522ab2a":"Remover o que","product-kera.40fd6053c6":"nunca foi necessário","product-kera.e0a13c0749":"Um programa mais rápido nem sempre vem de tornar cada instrução ligeiramente mais rápida. Por vezes, a melhor melhoria é remover trabalho que o computador nunca precisou de fazer.","product-kera.3a2053bd07":"A Kera junta passos relacionados, evita resultados temporários e mantém a informação perto do processador. Remover trabalho desnecessário reduz atrasos, uso de memória e movimento de dados, e a poupança cresce nas máquinas onde o movimento custa mais.","product-kera.ec68ad75f2":"Menos intermediários","product-kera.4d3b4aeb03":"Menos movimento","product-kera.57ee8b775a":"Menos energia","product-kera.c084b75397":"Menos viagens pela memória","product-kera.7613add8a7":"sete salas tornam-se duas","product-kera.6ce7e76d31":"Sete salas","product-kera.04cca0bd90":"O caminho habitual transporta pacotes por muitas.","product-kera.7b2b1c351a":"Duas salas","product-kera.7363a6a4cc":"A Kera mantém-nas próximas.","product-kera.108017c058":"Menos viagens","product-kera.f56f2c5408":"Resultados temporários são evitados.","product-kera.19ede6bdb0":"Menos espera","product-kera.d3c31816fa":"Menos atrasos e menos memória usada.","product-kera.466f6535b8":"o melhor caminho","product-kera.01a0f5a116":"depende da máquina disponível","product-kera.dce3c876c3":"O melhor caminho depende da máquina disponível.","product-kera.cc9d052a9f":"O mesmo trabalho pode servir máquinas diferentes","product-kera.626a985048":"Um trabalho","product-kera.f4041ac8dc":"e um plano para cada máquina","product-kera.d390e3301b":"Um processador de portátil, um processador gráfico, um navegador, um chip especializado e um grande sistema de computação não funcionam da mesma forma. A Kera não os obriga a executar instruções idênticas.","product-kera.682242073e":"A Kera mantém uma descrição do trabalho e prepara um plano para a máquina disponível. O plano muda, mas o trabalho não. A Dweve pode suportar mais hardware sem reconstruir as fundações do produto.","product-kera.dc0d0e012d":"Um trabalho","product-kera.5e6d42681a":"Por máquina","product-kera.309a280a30":"Plano ajustado","product-kera.ec2774e1d8":"Um trabalho, quatro máquinas","product-kera.f827184114":"o plano ajusta-se a cada uma","product-kera.ed91cd89f3":"Portátil","product-kera.7a3d93292a":"Um plano para um processador do dia a dia.","product-kera.ca49ca4bb6":"cpu","product-kera.464d6ab7b0":"Chip gráfico","product-kera.a6e248f3ec":"Um plano moldado para uma GPU.","product-kera.7786424bea":"gpu","product-kera.54a2cf5e63":"Navegador","product-kera.5e2f5464c3":"Um plano portátil para a web.","product-kera.ca84d1343b":"web","product-kera.6f9c4dce2e":"Centro de dados","product-kera.d8c8e7e25b":"Um plano distribuído por muitas máquinas.","product-kera.60020d1b19":"escala","product-kera.b433fc7d89":"mudar de máquinas","product-kera.7598fbdae4":"não deve alterar o resultado por acidente","product-kera.7d08ee7b6e":"Mudar de máquinas não deve alterar o resultado acidentalmente.","product-kera.3f2cf7d0d9":"Estável quando a estabilidade importa","product-kera.30f26e69fa":"Escolha o comportamento","product-kera.f683d4d219":"estrito ou criativo","product-kera.e5a01965b6":"Algum software deve ser criativo. Algum deve fazer variações controladas para testes. Algum deve dar o mesmo resultado suportado todas as vezes. A Kera permite que o produto escolha o contrato certo antes de o trabalho ser executado.","product-kera.132e2ba356":"Um caminho estrito controla a execução onde a operação e a máquina o suportam. Um caminho com semente repete a variação; um caminho criativo permite mudanças úteis. Mover o trabalho não precisa de alterar o seu comportamento por acidente.","product-kera.78d4498d96":"Modo escolhido","product-kera.d06a21856e":"Sem deriva","product-kera.0caa127bae":"Três formas de se comportar","product-kera.fd1c5fec09":"o produto escolhe o contrato","product-kera.4a3b161613":"O mesmo resultado suportado todas as vezes.","product-kera.0c69e7aaeb":"estável","product-kera.45705488b9":"Repetível","product-kera.e88b89fadf":"A mesma variação a pedido.","product-kera.9ad3dc4c49":"com semente","product-kera.17d40b122c":"Respostas diferentes onde isso ajuda.","product-kera.3744dd219b":"o programa","product-kera.6b0aa272d5":"também mantém um registo do que realmente foi","product-kera.b040f21755":"O programa também mantém um registo do que realmente foi.","product-kera.47dc8675e6":"O trabalho tem uma identidade","product-kera.1854e60717":"Altere o programa","product-kera.838d2c3e34":"e a sua identidade muda","product-kera.de834097f3":"A Kera mantém o trabalho como um registo selado, o que lhe dá a sua própria identidade. Se o trabalho mudar, a identidade muda. Se permanecer o mesmo, a identidade permanece estável.","product-kera.1b8f8ccb4c":"A Dweve regista o cálculo e o plano da máquina e depois verifica se uma versão mudou. Não precisa de o ler; o registo substitui a suposição por evidência.","product-kera.5d916b38b9":"Identidade","product-kera.fabf782851":"Sem troca","product-kera.03fd7786d5":"Verificado","product-kera.5c47f67a22":"O cartão de trabalho selado","product-kera.12a1c8cda8":"uma impressão digital para o trabalho","product-kera.5d2b90a4c4":"selado","product-kera.6127aafac8":"o cartão de trabalho","product-kera.7b48136bc5":"O cálculo exato que foi executado","product-kera.6d0d5876e6":"impressão","product-kera.d1aada8a31":"uma impressão digital","product-kera.9569a4fb58":"Derivado do próprio trabalho","product-kera.9ef793516f":"escolha da máquina","product-kera.d3d9a43e6e":"O plano selecionado é registado","product-kera.c2a6b03f19":"nova","product-kera.7ab768e0a8":"em qualquer mudança","product-kera.14a9c20048":"Um passo alterado cria uma nova impressão","product-kera.ca4f41de0a":"um programa claro","product-kera.e1150c936f":"também pode indicar o que pode tocar","product-kera.cd0c7bad46":"Um programa claro também pode indicar o que pode tocar.","product-kera.44b37ce7bf":"Sabe o que o programa pode tocar","product-kera.99d48f204d":"O que pode tocar","product-kera.5d7436ddf2":"é declarado antes da utilização","product-kera.9b333524e6":"O software pode ler ficheiros, usar a rede, alterar informações armazenadas ou enviar trabalho para outro dispositivo. A Kera torna essas capacidades explícitas, para que uma configuração possa restringir quais capacidades estão disponíveis.","product-kera.9afb9c4714":"Um sistema concebido para funcionar sem ligações externas pode recusar o acesso à rede. Uma biblioteca oculta não pode adicionar silenciosamente novos acessos, pelo que o software permanece dentro dos limites selecionados pelo seu operador.","product-kera.9a7e6247bd":"Acesso","product-kera.b73aa18729":"Operador","product-kera.d1307b0ff8":"Acesso visível","product-kera.cf4ba0ec70":"Chaves de permissão","product-kera.f6a94ed778":"em torno do trabalho","product-kera.6ce6c512ea":"Ficheiros","product-kera.5bd515d2fb":"Acesso declarado, nada oculto.","product-kera.61c1876e82":"Pode ser recusado quando é necessário funcionamento offline.","product-kera.df485c8713":"Dispositivos","product-kera.b739702025":"Enviar trabalho para fora é uma capacidade explícita.","product-kera.5a5e50060f":"Informações armazenadas","product-kera.ff0de4c225":"As alterações aos dados guardados são declaradas.","product-kera.4d3e36c33d":"A Dweve pode impor isto","product-kera.aeb1679215":"porque possui o caminho do compilador","product-kera.b3af266fc1":"A Dweve pode impor isto porque possui o caminho subjacente.","product-kera.a9317cd2cb":"A Dweve possui o caminho subjacente","product-kera.5b6ffcbcf0":"Possuir o caminho","product-kera.b478cfeaf9":"sob o produto","product-kera.52f9ceea32":"A Kera não depende de uma ferramenta externa para transformar o seu trabalho em algo que a máquina executa. A Dweve construiu todo o caminho por si própria, desde a forma como o trabalho é descrito até à forma como é planeado, preparado e executado nas máquinas suportadas, podendo, portanto, alterar diretamente qualquer parte dele.","product-kera.4f984301e9":"Não interage com essas partes. O seu valor reside no facto de a Dweve poder melhorar o caminho do programa ao processador, em vez de esperar por outra empresa. O hardware e os sistemas operativos permanecem externos, mas o caminho central pertence à Dweve.","product-kera.9137233a67":"Construído pela Dweve","product-kera.935e7ff4d0":"Caminho direto","product-kera.200501a9e9":"Borda externa","product-kera.6e8b0bb182":"Uma oficina responsável","product-kera.52e7b924ba":"do grafo à máquina","product-kera.d558d64b01":"A forma como o trabalho é escrito.","product-kera.6b5c355a51":"A imagem clara da tarefa.","product-kera.341a20e237":"Compilador","product-kera.1a82e7a27c":"A Kera prepara o plano da máquina.","product-kera.3e78a83bcd":"O hardware externo fica na borda.","product-kera.899827e9d8":"A Kera é infraestrutura profunda","product-kera.c3554ba1b9":"e não está incluída em todo o lado","product-kera.ae8b1ab067":"A Kera é infraestrutura profunda e não está incluída em todo o lado.","product-kera.a39081f578":"A aplicação parece simples","product-kera.5c8e5c3be2":"Um ecrã simples","product-kera.05e39ece46":"Uma peça vem de uma empresa, outra peça de uma segunda, e a parte que prepara o trabalho de uma terceira.","product-kera.fe4f2af82a":"O caminho do processador vem de outro fornecedor, e a nuvem de outro ainda.","product-kera.648433f9b6":"Cinco fornecedores, um ecrã","product-kera.450567c91f":"Modelo de uma empresa","product-kera.7bfe518686":"Estrutura de outra","product-kera.f91b7cec97":"Outra peça de terceiros","product-kera.30c3906a08":"Processador e nuvem de outros","product-kera.d2df0e8ac0":"Você possuía o ecrã. Ninguém possuía todo o caminho subjacente.","product-kera.c16d295b52":"A Kera não está em todos os pacotes","product-kera.7d455eab77":"Infraestrutura profunda","product-kera.7d5a041f16":"não está em todos os pacotes","product-kera.3bcb3017f2":"Cada produto Dweve funciona em Core, a máquina de IA completa, e a Core tem o seu próprio caminho rápido. A Kera é o sistema mais profundo por baixo, incluído em pacotes de licença estratégicos selecionados.","product-kera.7bb8eb97e5":"A maioria das pessoas nunca escolhe ou configura a Kera diretamente. Usam o produto acima dela. Onde a Kera está incluída, a sua origem e controlo importam, mas o produto visível permanece o mesmo de usar.","product-kera.cd0ce82619":"Fundação Core","product-kera.2b20417df0":"Kera selecionada","product-kera.bd7d4ca8a2":"Sem configuração","product-kera.4409a64d08":"Core, e Kera onde licenciada","product-kera.e1da14eca6":"duas vias por baixo","product-kera.40c0ddadac":"executa todos os produtos Dweve","product-kera.32ad8b3b6d":"a sua própria execução nativa","product-kera.e015d59764":"sempre presente","product-kera.5ba4f5a71c":"o que usa acima dela","product-kera.596455491d":"em todos os pacotes","product-kera.1e077ac18d":"o caminho direto mais profundo","product-kera.82104d8748":"pacotes estratégicos selecionados","product-kera.8af37eefc2":"o sistema de grafo e compilador","product-kera.166e9d72ba":"escolhido para a implementação","product-kera.ae13578208":"nunca configurado pelos utilizadores","product-kera.50f778a85c":"onde está licenciado","product-kera.9229ab733f":"onde a Kera é utilizada","product-kera.53e96f04d6":"a sua origem e o controlo da implementação importam","product-kera.31b68c1c36":"Onde a Kera é utilizada, onde é construída e quem a controla importam.","product-kera.6af74613cf":"Construída na Europa","product-kera.12b7e713a3":"A rota subjacente","product-kera.e6e1cc1fa6":"também é europeia","product-kera.518d95433a":"A Kera é concebida e construída nos Países Baixos. A operação direta da Kera é licenciada para ambientes ligados, de site privado ou totalmente isolados, controlados pelo cliente, de acordo com o acordo e os requisitos do alvo.","product-kera.7ab808263a":"A Dweve controla mais do que a aplicação: é dona da rota que a transforma em comportamento de máquina. A soberania ainda depende da configuração completa, não apenas da geografia, enquanto vê o produto acima.","product-kera.6ecb662812":"Construída nos Países Baixos","product-kera.147a7d669b":"Controlo subjacente","product-kera.8ab9f88b10":"Configuração completa","product-kera.89fe04cefd":"Três limites de implementação","product-kera.75a9fec445":"onde a licença permite","product-kera.ea722c81af":"Europeu","product-kera.48242bd9c1":"Alojado dentro da UE.","product-kera.442dd009d6":"Controlado pela organização","product-kera.d47d0f6bcc":"Nos próprios sistemas do cliente.","product-kera.2f0d4f153f":"on-premises","product-kera.64a176e362":"Isolado","product-kera.95c28312fc":"Sem ligações externas.","product-kera.53354e1327":"air-gapped","product-kera.93a4d08a95":"o utilizador","product-kera.e03972b2d5":"ainda vê apenas o produto acima","product-kera.b33611fddd":"O utilizador ainda vê apenas o produto acima.","product-kera.9e61d09ef0":"Nunca tem de o ver","product-kera.df967ed69e":"permanece por baixo","product-kera.48a96bef09":"Em utilização normal, não há controlos da Kera para encontrar. O produto escolhe como o trabalho é mantido junto, o plano, a máquina e o comportamento de que necessita, e recebe resultados mais rápidos e estáveis.","product-kera.a64138bd53":"Todo o trabalho permanece intacto, a máquina recebe trabalho concebido para ela, e o resultado pode chegar através de menos camadas ocultas com um registo claro do que foi executado. A Kera encurta esse caminho enquanto permanece fora de vista.","product-kera.e67b3c1b82":"Sem controlos","product-kera.7ff387d7f7":"Escolha do produto","product-kera.95f0f4c17a":"Camada oculta","product-kera.0c23ddb1a1":"Uma superfície amigável, um corte","product-kera.598fc3a179":"o grafo e o plano abaixo","product-kera.cda05ca6d8":"Superfície","product-kera.f3477f2745":"A aplicação que realmente utiliza.","product-kera.6bcfc93dba":"O trabalho claro mantido por baixo.","product-kera.9fe2620fe3":"A versão feita para a máquina.","product-kera.5faa59d4bc":"Resultado","product-kera.c48a98c3c5":"Mais rápido, mais estável e registado.","product-kera.0193e423dd":"utiliza o produto","product-kera.282ff2f4ae":"A Kera encurta o caminho por baixo","product-kera.f226d62623":"Utiliza o produto","product-kera.b76eac5fb8":"Todo o trabalho permanece intacto, a máquina recebe trabalho concebido para ela, e a Dweve é dona de mais da rota do programa ao resultado. A Kera permanece fora de vista. O resultado pode chegar mais rápido, com menos camadas ocultas e um registo mais claro do que realmente foi executado.","product-kera.c8fe7ed389":"Veja o que corre por baixo","product-kera.36a247b5b4":"O que permanece verdadeiro por baixo","product-kera.2a9079f503":"significado","product-kera.300286f8a6":"o trabalho permanece inteiro","product-kera.710296c4f7":"O propósito permanece ligado ao trabalho","product-kera.c1acd38549":"feito para a máquina","product-kera.afcce7478f":"Um plano específico do alvo, não um genérico","product-kera.563f07347e":"uma impressão digital clara","product-kera.b1542ce883":"O cálculo exato pode ser registado","product-kera.9523ccbcc4":"limites","product-kera.296898b104":"capacidades declaradas","product-kera.706159d26d":"O que o programa pode tocar é explícito","product-kera.c69102ccdd":"Dois percursos","product-kera.2172b0b889":"O percurso curto","product-kera.ddaf6b0d00":"preserva o significado","product-kera.30d1fd8ef0":"A maioria das stacks traduz um modelo várias vezes antes de o executar, e cada tradução perde intenção. A Kera compila o grafo que escreveu diretamente para a máquina, por isso o que é executado é o que quis dizer, e o conhecimento que a sua equipa construiu permanece ligado a ele.","product-kera.090db241c8":"sem cadeia de tradução","product-kera.3fcc91b84e":"o que é executado é o que quis dizer","product-kera.558ef7275b":"O terminal","product-kera.8e3e8a1a4c":"Um comando","product-kera.33bd08fe49":"do grafo à máquina","product-kera.e541d3e745":"Um comando recebe o grafo tipado e endereçado por conteúdo e emite execução nativa específica do alvo. O rasto indica o plano que escolheu, o alvo para o qual compilou e o artefacto que produziu, para que todo o caminho da origem ao silício permaneça inspecionável.","product-kera.73e18e855f":"grafo dentro, nativo fora","product-kera.324fe32f78":"o caminho permanece inspecionável","product-kera.a8923ad572":"Menos passos","product-kera.1c46cf6f18":"e a mesma resposta mais cedo","product-kera.a1e0753208":"O seu computador faz o trabalho em muito menos passos, por isso as respostas chegam mais cedo e nada da sua pergunta se perde pelo caminho. Nunca vê esta camada, e é esse o objetivo: ela simplesmente torna tudo o que está acima mais rápido e mais estável.","product-kera.1e7960b1e5":"menos passos","product-kera.abb1b81713":"respostas mais estáveis","product-kera.75246b5a6d":"Percurso genérico","product-kera.23a1a69ce9":"O significado é reduzido fase a fase até restar apenas código genérico.","product-kera.3e1543b1c9":"Percurso direto","product-kera.d0743aea0b":"O grafo tipado permanece identificável da origem até ao código emitido.","product-kera.59bd1ff6f9":"O que custa","product-kera.14464bc3be":"Os factos perdidos regressam como instruções extra, movimento e camadas de tempo de execução.","product-kera.791236e2aa":"O que preserva","product-kera.f3efaf1459":"O significado retido torna-se um plano moldado para a máquina que o recebe.","product-kera.6666416dbe":"genérico contra direto","product-kera.8f31a3f15a":"Caminho de compilação","product-kera.1593a101ec":"grafo à máquina","product-kera.7fec3a0a45":"Tipos e efeitos verificados.","product-kera.d397eeddd8":"Grafo endereçado por conteúdo construído.","product-kera.585204eac4":"Plano de alvo selecionado.","product-kera.f882e9957c":"Objeto nativo, sem centro LLVM.","product-kera.000000000d":"Em vez de pedir a ferramentas separadas que redescubram a mesma tarefa, a Kera mantém juntos a operação, as formas, a propriedade e as escolhas de alvo. Isso dá aos engenheiros um único caminho para inspecionar quando o desempenho, o comportamento ou a responsabilização têm de ser verificados.","product-kera.000000000e":"Os comandos visíveis são fases de um único percurso inspecionado, não entregas a camadas de compilador não relacionadas. Cada fase preserva a identidade do grafo, a escolha do alvo e a evidência necessária para reproduzir a execução, rever o plano selecionado ou rastrear o artefacto emitido.","product-kera.000000000f":"A Kera mantém todo o trabalho junto enquanto prepara o trabalho para a máquina subjacente. O produto obtém um percurso mais curto até uma resposta, enquanto não precisa de compreender, escolher ou operar nenhuma da maquinaria que torna esse percurso possível.","product-kera.0000000101":"A Kera mantém a identidade da operação, o tipo, os efeitos, a propriedade e o movimento ligados do grafo ao alvo. O percurso pode, portanto, ser planeado e revisto como uma computação responsabilizável antes de existir código de máquina. Nada tem de ser redescoberto a jusante, porque nada foi descartado a montante, e o grafo tipado permanece identificável da origem até ao código emitido.","product-kera.0000000102":"Um compilador de uso geral ganha amplitude ao aceitar código reduzido e genérico. Uma vez que os factos especializados desapareceram, as fases posteriores não podem usá-los para escolher um melhor algoritmo, disposição ou plano de movimento. A multiplicação de matrizes tornou-se ciclos anónimos, as formas esperadas desapareceram, a intenção de empacotamento desapareceu e a relação entre operações vizinhas foi cortada.","product-kera.0000000103":"Um nó da Kera transporta a operação e os contratos que a tornam específica. As decisões posteriores do compilador trabalham a partir do significado declarado em vez de tentarem recuperá-lo de um padrão de instruções, e é por isso que a operação ainda pode ser nomeada quando o plano é revisto.","product-kera.0000000104":"O planeador vê o grafo completo antes de o código de alvo ser fixado. Pode decidir colocação, fusão, movimento, ordenação e recuperação em conjunto, em vez de reparar cada preocupação isoladamente. Lê o grafo tipado e os seus contratos, atribui operações a alvos e regiões, funde o que é compatível e planeia ou elimina o movimento entre eles.","product-kera.0000000105":"Os resultados principais comparam operações e formas nomeadas com um caminho LLVM já otimizado. Mostram onde o significado retido do grafo alterou o resultado testado, não que um compilador vence em todas as cargas de trabalho.","product-kera.0000000106":"A matriz mais ampla inclui trabalho numérico, de ativação, vetorial e de bits não relacionado, bem como paridade. Essa amplitude ajuda a separar uma vantagem arquitetural de um kernel favorável, e os casos neutros permanecem no relatório em vez de serem removidos dele.","product-kera.0000000107":"A propriedade torna visível para o planeador cada movimento legal entre memória de anfitrião, dispositivo, remota e persistente. A Kera pode remover uma transferência, reter um valor ou rejeitar um alias ilegal antes de o movimento se tornar sobrecarga de tempo de execução.","product-kera.0000000108":"Os efeitos de ficheiro, rede, mutação, dispositivo e estado persistente permanecem factos explícitos do grafo. As equipas podem rever, controlar e ordenar esses limites antes da execução, em vez de os descobrirem numa dependência em tempo de execução.","product-kera.0000000109":"O grafo endereçado por conteúdo dá à computação uma identidade estrutural duradoura. Aprovação, implementação, cache, repetição e investigação posterior podem todas referir-se ao mesmo ativo identificado.","product-kera.0000000110":"Um grafo pode produzir diferentes planos de destino sem se tornar em vários programas. O artefacto emitido muda com a máquina, enquanto as operações tipadas e as dependências declaradas mantêm uma identidade. Instruções nativas de CPU, planos de dispositivo, artefactos de síntese suportados, execução portátil em sandbox e partições distribuídas são todos planos sobre esse mesmo grafo.","product-kera.0000000111":"A política de execução é escolhida antes de o Kera planear e emitir o caminho. O trabalho estrito fixa o contrato suportado, enquanto a variação com semente ou criativa permanece uma entrada explícita em vez de uma deriva aritmética oculta. As garantias ficam limitadas às operações, backends e planos que foram testados.","product-kera.0000000112":"Partições, comunicação, coletivos, checkpoints e recuperação pertencem ao plano de execução. Escalar entre nós altera, portanto, a forma como um grafo é executado sem apagar qual computação está a ser recuperada. Um nó com falha restaura a partir do estado de recuperação ligado ao grafo, pelo que regressa como o mesmo programa e não como um processo não identificado.","product-kera.0000000113":"O Kera é dono do caminho central desde o grafo semântico até ao planeamento, lowering, emissão e despacho em tempo de execução. Assemblers, drivers, firmware e hardware externos permanecem arestas visíveis em vez de partes não nomeadas da promessa do produto.","product-kera.0000000114":"O Core define o sistema completo de operações e modelos de IA. O Kera é uma fundação de execução separada que determinadas cargas de trabalho do Core podem usar quando é necessário planeamento ao nível do grafo e emissão direta para o destino.","product-kera.0000000115":"O Kera é infraestrutura proprietária, pelo que os direitos de implementação e de execução são definidos por acordo. A cobertura de destinos, a operação isolada, o acesso de revisão, os direitos sobre o código-fonte e os direitos de transferência permanecem explícitos em vez de implícitos.","product-kera.0000000116":"O controlo computacional estende-se para além da localização de um servidor. Inclui quem é dono da linguagem, do formato do grafo, do planeador, do compilador, do runtime, do roadmap de destinos e das políticas que regem a execução. Abrange também onde uma implementação está alojada, quem detém as chaves, quais os limites externos permitidos e quem pode agir sobre o sistema em execução.","product-kera.0000000117":"O Kera fica abaixo dos produtos que precisam de computação direta, mas mantém a sua própria fronteira de produto. A camada superior define o trabalho; o Kera planeia e emite o caminho computacional selecionado. O Core continua a ser a máquina de IA completa acima dele, e os produtos que se compõem sobre o Core não são afetados pelo caminho computacional escolhido por baixo.","product-kera.0000000118":"A linha de comandos expõe uma rota contínua desde o grafo verificado até ao artefacto emitido. Cada etapa nomeia o grafo, o plano, o destino e a saída necessários para inspecionar ou reproduzir o que aconteceu.","product-kera.0000000119":"O grafo .keg é a representação durável do programa, não uma visão temporária do otimizador. O planeamento, a compilação JIT, a emissão para o destino, a distribuição e a reprodução derivam todos desse mesmo objeto semântico.","product-kera.0000000120":"A identidade de cada nó deriva do conteúdo representado e não do nome do ficheiro ou da posição no grafo. Uma alteração reatribui apenas a ascendência afetada, enquanto os subgrafos inalterados mantêm a sua identidade para comparação, cache e aprovação. Um subgrafo inalterado não tem, portanto, de ser recompilado, e um alterado não pode apresentar-se como o artefacto que foi revisto.","product-kera.0000000121":"O tipo numérico, a forma, o layout, o espaço de memória, a região, os efeitos e a capacidade permanecem disponíveis durante o planeamento. Estes factos restringem a execução legal e orientam as escolhas de destino ao mesmo tempo, pelo que o planeador nunca tem de os inferir de um padrão de instruções. O lowering começa com a forma e o layout ainda conhecidos, em vez de reconstruídos.","product-kera.0000000122":"O cálculo puro e a ação externa ocupam categorias diferentes no grafo. O verificador pode recusar uma capacidade não declarada, e o planeador não pode reordenar silenciosamente um efeito como se fosse puro.","product-kera.0000000123":"A propriedade segue um valor através da memória do host, fixa, do dispositivo, unificada, remota e persistente. As mesmas regras que impedem aliases ilegais também dizem ao planeador onde o movimento pode ser removido ou mantido, razão pela qual a análise de segurança e o planeamento de movimento são uma única passagem em vez de duas.","product-kera.0000000124":"O planeamento começa enquanto o grafo completo e os seus contratos ainda estão visíveis. Ordem, colocação, fusão, memória, sincronização, coletivos e recuperação podem, portanto, ser decididos como um único sistema, em vez de uma sequência de reparações locais feitas depois de a informação de que precisavam ter desaparecido. O plano é fixado antes de uma única instrução ser escolhida.","product-kera.0000000125":"A fusão pode impedir que valores intermédios, lançamentos, transferências e pontos de sincronização existam de todo. O Kera aplica-a onde a semântica do grafo o permite, em vez de tornar cada região maior por predefinição, porque uma região fundida que quebra um contrato declarado não é uma otimização.","product-kera.0000000126":"A Kera é responsável pela redução do grafo, seleção de instruções, alocação de registos, agendamento, seleção SIMD, emissão para o alvo, JIT e despacho. O compilador mantém-se consciente da semântica sem fingir que assemblers, controladores, firmware ou hardware desaparecem. Estes permanecem como arestas visíveis do sistema, nomeados em vez de absorvidos na afirmação. O caminho ainda contém transformações, mas permanecem dentro de uma cadeia com um único responsável, pelo que uma alteração na seleção de instruções e uma alteração no planeador são feitas pela mesma equipa sobre o mesmo grafo.","product-kera.0000000127":"Cada comparação medida está ligada a uma operação, intervalo de formas, perfil de hardware e configuração da toolchain. O pacote de reprodutibilidade acompanha a afirmação, para que um resultado forte permaneça inspecionável em vez de universalizado. Uma figura sem o seu harness, flags e máquina não é um resultado que alguém possa verificar, e um resultado num intervalo de formas não é uma afirmação sobre todos os intervalos de formas. O harness é publicado ao lado do número para que a comparação possa ser executada novamente.","product-kera.0000000128":"A matriz mais ampla mantém ganhos, paridade e cobertura pendente na mesma vista. Isso torna possível avaliar até que ponto a arquitetura se generaliza sem esconder casos neutros atrás do título, e uma linha pendente é declarada como pendente em vez de omitida.","product-kera.0000000129":"Diferentes operações melhoram por razões diferentes, incluindo fusão, vetorização, empacotamento, movimento e matemática específica do alvo. O benchmark deve identificar a causa observada em vez de atribuir o mérito a um truque universal, porque uma causa que não pode ser nomeada não pode ser usada como base para a próxima operação.","product-kera.0000000130":"A Kera emite para o perfil de capacidades do processador ou dispositivo que irá executar o trabalho. Os planos de CPU podem selecionar caminhos x86-64, ARM64 ou RISC-V suportados em vez de parar num rótulo de alvo genérico.","product-kera.0000000131":"A alocação de registos, a modelação do intervalo de vida e o agendamento continuam a saber que operação estão a servir. As decisões do backend podem, portanto, preservar o plano do grafo em vez de otimizar apenas um fluxo de instruções anónimo, que é onde uma cadeia genérica perde as decisões de fusão e movimento tomadas anteriormente.","product-kera.0000000132":"O despacho em tempo de execução seleciona um caminho suportado para a máquina real, a política e a forma da carga de trabalho. O registo de execução nomeia esse caminho, para que um fallback oculto não se torne silenciosamente o resultado em análise. Quando uma máquina não consegue servir o plano solicitado, a substituição é declarada em vez de absorvida, e o caminho registado é aquele contra o qual uma comparação posterior é medida. O despacho considera em conjunto o suporte do conjunto de instruções, a largura do vetor, os dispositivos, a política e a forma do grafo.","product-kera.0000000133":"Um único grafo tipado pode emitir código nativo de CPU, PTX, AMDGCN, SPIR-V, Metal, WebAssembly, artefactos FPGA ou um plano distribuído onde suportado. A cobertura é declarada por funcionalidade do grafo e por alvo, em vez de assumida a partir do nome do alvo, pelo que uma combinação não suportada é declarada em vez de degradada silenciosamente.","product-kera.0000000134":"A execução determinística pura está planeada para combinações suportadas de operação, numérica, alvo e plano. O mesmo estado completo produz saída bit a bit idêntica sem usar uma seed para disfarçar variação aritmética não controlada.","product-kera.0000000135":"Particionamento, comunicação, coletivos, checkpoints e recuperação permanecem ligados ao plano do grafo. A Kera define a computação distribuída semântica, enquanto a Mesh é responsável pela colocação autorizada e coordenação da infraestrutura.","product-kera.0000000136":"Verificar, construir, inspecionar, planear, emitir, executar e validar referem-se todos ao mesmo grafo .keg. As ferramentas expõem os factos semânticos que o compilador usa em vez de apresentar um modelo de depuração separado.","product-kera.0000000137":"A Core é responsável por algoritmos, modelos, treino, inferência, famílias numéricas e serving. A Kera é responsável pelo grafo, compilador, runtime e caminho para o alvo que operações selecionadas da Core podem usar como fundação separada. A fronteira é deliberada: a camada superior decide o que o trabalho significa, a camada inferior decide como a máquina o executa, e nenhuma absorve a outra. Sem a Kera, a Core executa o seu próprio caminho nativo, e pacotes selecionados adicionam a rota do grafo por baixo.","product-kera.0000000138":"A Kera é proprietária mesmo quando a sua arquitetura pode ser descrita publicamente. Uso em runtime, cobertura de alvos, revisão de código, acesso ao código e direitos de transferência de tecnologia permanecem termos comerciais separados. Descrever como um sistema funciona não é o mesmo que conceder o direito de o executar, e nenhum dos dois é o mesmo que conceder o direito de o ler. Cada um destes é acordado na sua própria cláusula, e os crates companheiros do sistema mantêm a sua própria licença aberta, independentemente do que o acordo principal diz.","product-kera.0000000139":"A Kera mantém todo o trabalho unido enquanto o produto o prepara para a máquina subjacente. Vê-se o resultado do produto, não outra camada de controlos ou escolhas técnicas. A mesma descrição pode ser planeada para um processador de portátil, um processador gráfico ou um navegador sem que o trabalho em si mude, e o plano utilizado permanece no registo, para que um leitor posterior ainda possa ver o que realmente foi executado.","product-kera.0000000140":"O propósito do trabalho permanece ligado aos seus passos em vez de se desvanecer em movimentos desconexos. Isso dá ao sistema contexto suficiente para tomar decisões para a tarefa como um todo.","product-kera.0000000141":"A Kera é medida em relação a uma rota já otimizada, e o resultado depende do trabalho nomeado. Alguns casos testados melhoram acentuadamente, outros melhoram moderadamente, e a paridade continua a fazer parte das evidências.","product-kera.0000000142":"Uma rota mais curta pode resultar da remoção de resultados temporários, transferências e passagens repetidas antes de ocorrerem. A máquina termina mais cedo porque há menos trabalho a realizar, não apenas porque cada passo corre mais depressa. Juntar passos relacionados também mantém a informação próxima do processador, pelo que menos resultados temporários têm de ser gravados e relidos, e menos movimento significa menos espera e menor consumo de energia no mesmo hardware.","product-kera.0000000143":"O mesmo trabalho descrito pode receber um plano adequado a cada máquina suportada. A forma da máquina muda, mas a identidade e a promessa do trabalho não mudam silenciosamente com ela. Como a descrição é mantida em vez de ser reconstruída para cada máquina, o suporte para novo hardware pode ser adicionado sem perturbar o produto acima dela, e um resultado que chega de uma máquina diferente continua a ser um resultado para o mesmo trabalho.","product-kera.0000000144":"O produto escolhe o comportamento necessário antes de o trabalho ser executado. O trabalho estrito suportado é repetível sem semente, enquanto a aleatoriedade permanece disponível quando o trabalho a solicita deliberadamente.","product-kera.0000000145":"O trabalho recebe uma identidade derivada do que contém. Se o programa mudar, essa identidade também muda, tornando uma troca silenciosa visível no registo. Um programa inalterado mantém a mesma identidade, e um alterado não pode manter silenciosamente a antiga. Essa identidade fica ao lado do plano de máquina que foi escolhido, o que permite que uma verificação posterior confirme que a versão que lhe foi comunicada é a versão que foi executada.","product-kera.0000000146":"Ficheiros, redes, dispositivos, informações armazenadas e outras capacidades externas têm de ser declarados. O operador pode ver e limitar o que um programa pode tocar antes de começar.","product-kera.0000000147":"A Dweve é proprietária da rota central que transforma o grafo em execução suportada pela máquina. O hardware, os controladores, o firmware e os sistemas operativos continuam na periferia e permanecem dependências visíveis.","product-kera.0000000148":"A Kera aparece apenas em produtos e pacotes de licença que precisam do seu caminho de execução mais profundo. O produto acima dela continua simples de utilizar, sem configuração de compilador entregue ao cliente. Onde está incluída, esse caminho mais profundo é licenciado e não aberto, porque uma organização que o compra precisa de uma parte responsável por ele.","product-kera.0000000149":"A Dweve constrói o compilador e a rota de execução nos Países Baixos. Isso estende o controlo europeu abaixo da aplicação, mantendo o hardware, os controladores, a cadeia de fornecimento e as escolhas do operador visíveis na periferia.","product-kera.0000000150":"A Kera permanece abaixo do uso quotidiano enquanto o produto escolhe o plano de máquina e o comportamento de execução. A camada técnica permanece inspecionável para as pessoas responsáveis por ela, sem se tornar outra interface para todos os outros. Nada sobre a máquina, o plano ou o comportamento lhe é entregue como uma definição para escolher. As pessoas responsáveis por uma implementação podem ainda abrir o registo e ler o grafo, o plano e a máquina que o executou.","product-kera.0000000201":"uma base sólida","product-kera.0000000202":"Teste atual","product-kera.0000000203":"O caminho vetorial alvo declarado foi ativado.","product-kera.0000000204":"A configuração de CPU alvo foi aplicada.","product-kera.0000000205":"A biblioteca matemática do fornecedor disponível foi ligada.","product-kera.0000000206":"A variante guiada por perfis foi incluída na verificação.","product-kera.0000000207":"Verificado","product-kera.0000000208":"Porque é importante","product-kera.0000000209":"Os resultados permanecem específicos para a operação, forma, hardware e estrutura testados.","product-kera.0000000210":"até à emissão","product-kera.0000000211":"O que chega à emissão","product-kera.0000000212":"Entrada semântica","product-kera.0000000213":"Caminho genérico","product-kera.0000000214":"Caminho Kera","product-kera.0000000215":"A fase de emissão recebe código reduzido em vez da operação original.","product-kera.0000000216":"A vista local já não contém a relação do grafo.","product-kera.0000000217":"Operação tipada mantida","product-kera.0000000218":"A operação, a forma e os efeitos permanecem disponíveis para o planeador e o emissor.","product-kera.0000000219":"Propriedade e movimento","product-kera.0000000220":"O grafo regista a informação necessária para planear movimento legal.","product-kera.0000000221":"Perdido","product-kera.0000000222":"Mantido","product-kera.0000000223":"A distinção é a informação disponível para o caminho de emissão, não uma afirmação de que a compilação genérica é lenta.","product-kera.0000000224":"Fragmentado","product-kera.0000000225":"Proprietário separado","product-kera.0000000226":"Cada camada pode ser fornecida e alterada de forma independente.","product-kera.0000000227":"Sem rota partilhada","product-kera.0000000228":"O ecrã pode ser possuído enquanto a rota de execução completa não tem um único proprietário.","product-kera.0000000229":"acima de uma rota fragmentada","product-kera.0000000300":"Ponto de verificação do capítulo","product-kera.0000000301":"CAMINHO SEGURO","product-kera.0000000302":"Seguro","product-kera.0000000303":"O que é transportado","product-kera.0000000304":"Um contrato de grafo","product-kera.0000000305":"O próximo capítulo começa a partir da mesma computação identificada.","product-kera.0000000310":"O significado permanece ligado","product-kera.0000000311":"do grafo ao plano","product-kera.0000000312":"Um nó tipado retém a operação, a forma, os efeitos, a propriedade e o contrato numérico que tornam o trabalho específico.","product-kera.0000000313":"O planeador recebe esse objeto semântico intacto, pelo que as escolhas posteriores começam com significado declarado em vez de padrões recuperados.","product-kera.0000000314":"O movimento é evidência","product-kera.0000000315":"antes de a execução começar","product-kera.0000000316":"A propriedade declarada torna as transferências e a colocação na memória parte do plano, em vez de um custo escondido entre ferramentas.","product-kera.0000000317":"Efeitos explícitos e identidade do grafo transformam esse plano em algo que uma equipa pode rever antes de executar e rastrear depois.","product-kera.0000000318":"Um grafo, muitos alvos","product-kera.0000000319":"sem perder a identidade","product-kera.0000000320":"Os planos alvo podem mudar a forma da máquina emitida, mas continuam a nomear o mesmo ativo computacional tipado.","product-kera.0000000321":"A política determinística e a recuperação distribuída permanecem ligadas ao plano, pelo que a escala não cria um programa não identificado.","product-kera.0000000322":"A propriedade alcança","product-kera.0000000323":"do código ao contrato","product-kera.0000000324":"Uma cadeia de compilação própria cria uma fronteira técnica clara entre a Kera, o Core e os sistemas que permanecem na periferia.","product-kera.0000000325":"O acordo comercial transporta essa fronteira para os direitos de implementação, o âmbito-alvo, o acesso de revisão e a responsabilização.","product-kera.0000000326":"O grafo permanece durável","product-kera.0000000327":"a alteração permanece local","product-kera.0000000328":"O caminho de comando, o planeador, o emissor e as ferramentas de repetição tratam todos do mesmo programa .keg endereçado por conteúdo.","product-kera.0000000329":"Quando um nó muda, a ascendência afetada é recodificada, enquanto os subgrafos intocados mantêm a identidade usada por caches e aprovações.","product-kera.0000000330":"Os factos permanecem aplicáveis","product-kera.0000000331":"através de todas as fronteiras","product-kera.0000000332":"Os tipos mantêm formas, layouts, espaços de memória e capacidades disponíveis quando o planeador precisa de tomar uma decisão legal.","product-kera.0000000333":"Os efeitos e a propriedade transformam esses factos em portões sobre ação externa, aliasing, movimento e colocação.","product-kera.0000000334":"Planeie o grafo inteiro","product-kera.0000000335":"depois remova e emita","product-kera.0000000336":"O planeamento do grafo inteiro decide quais regiões pertencem umas às outras antes de a geração de código local fixar a forma de execução.","product-kera.0000000337":"A fusão pode eliminar materialização e movimento, após o que a Kera emite o trabalho restante através do seu próprio caminho de compilação.","product-kera.0000000338":"O código-alvo permanece exato","product-kera.0000000339":"até à escolha do registo","product-kera.0000000340":"O perfil de capacidades do alvo orienta a seleção de instruções em vez de deixar o caminho final da máquina implícito.","product-kera.0000000341":"A alocação de registos e o agendamento ainda têm o contexto de operação necessário para transportar o plano selecionado para o código emitido.","product-kera.0000000342":"Nomeie o caminho selecionado","product-kera.0000000343":"planeie a determinismo com ele","product-kera.0000000344":"O despacho em tempo de execução regista o artefacto-alvo suportado, o perfil da máquina, a política e a forma de carga de trabalho que realmente correu.","product-kera.0000000345":"As obrigações determinísticas são fixadas nesse plano antes da emissão, não adicionadas depois como uma semente ou um modo de repetição de melhor esforço.","product-kera.0000000346":"Um grafo em cada ferramenta","product-kera.0000000347":"um contrato na periferia","product-kera.0000000348":"O planeamento distribuído e as ferramentas de desenvolvimento expõem a mesma identidade de grafo, partições, efeitos e factos do alvo.","product-kera.0000000349":"As fronteiras do produto também permanecem visíveis: o Core é dono do trabalho de IA, a Kera é dona da Computação Direta e a infraestrutura permanece na periferia.","product-kera.0000000350":"Mantenha o trabalho junto","product-kera.0000000351":"o percurso fica mais curto","product-kera.0000000352":"Quando o propósito permanece ligado aos passos, o sistema pode preparar o trabalho inteiro em vez de tratar cada movimento isoladamente.","product-kera.0000000353":"Isso pode remover trabalho do percurso e melhorar casos nomeados sem fingir que cada tarefa muda na mesma medida.","product-kera.0000000354":"Um trabalho muda de forma","product-kera.0000000355":"não a sua promessa","product-kera.0000000356":"Cada máquina suportada pode receber um plano ajustado às suas capacidades enquanto o trabalho descrito mantém uma identidade.","product-kera.0000000357":"O produto também decide se o resultado deve ser estritamente repetível ou se a tarefa pede deliberadamente variação.","product-kera.0000000358":"O significado sobrevive","product-kera.0000000359":"até à prova","product-kera.0000000360":"A evidência final junta o grafo semântico ao plano específico do alvo e à compilação que correu.","product-kera.0000000361":"Isso dá à aquisição e à engenharia uma cadeia para inspecionar em vez de uma história de desempenho em que têm simplesmente de confiar.","product-kera.0000000362":"As afirmações terminam","product-kera.0000000363":"em evidência inspecionável","product-kera.0000000364":"A identidade .keg, o diff do planeador, o caminho emitido e o teste de repetição mostram quais factos produziram uma compilação.","product-kera.0000000365":"Publique o resultado com o seu harness e a afirmação pode ser verificada no hardware que importa.","product-kera.0000000366":"O trabalho permanece inteiro","product-kera.0000000367":"no percurso mais curto","product-kera.0000000368":"A mesma tarefa alcança um plano específico da máquina sem entregar a sua identidade ou limites declarados.","product-kera.0000000369":"Você vê o produto; a Kera mantém o trabalho reconhecível e responsabilizável por baixo.","product-kera.0000000370":"Produtos relacionados","product-kera.0000000371":"Ver Dweve Core","product-kera.0000000372":"Ver Dweve Mesh","product-kera.58e16f23ea":"não um caminho genérico","product-kera.968afd8562":"Ver o grafo inteiro","product-kera.bd5302381a":"OWNED","product-kera.a02b4a56b0":"Programa de grafo","product-kera.b793513413":"Um grafo .keg durável, não uma vista temporária","product-kera.b90a8b39c5":"Lowering próprio para x86-64, ARM64, RISC-V","product-kera.2dfbd50843":"Estrito, com semente ou criativo, escolhido primeiro","product-kera.b6903f7948":"O modelo muda por baixo, o trabalho não.","product-kera.c8d6ec8b39":"que realmente envia","product-kera.094e27cf92":"Ler o caminho de emissão","product-kera.1ada512d64":"A cadeia","product-kera.dd19f98875":"Frente","product-kera.ce325a12a3":"IR tipado com efeitos declarados","product-kera.ec0846c2cb":"Colocar, fundir, mover e ordenar antes de emitir","product-kera.b52b36b726":"Voltar","product-kera.f67e87773e":"Geração de código própria por ISA alvo","product-kera.95797c04c5":"Publique tanto os harnesses como os resultados brutos.","product-kera.f75b896620":"o caminho por baixo fica mais curto","product-kera.5cf8744d5c":"Por baixo","product-kera.1ba3456507":"OCULTO","product-kera.93ead3a4bb":"Menos passos","product-kera.a2c77eb02f":"O trabalho mantém o seu propósito até ao fim","product-kera.254c34d067":"Por máquina","product-kera.fd440af5b2":"Um trabalho, um plano para cada máquina","product-kera.171ca0385a":"Comportamento","product-kera.2a7a49c2a6":"Rigoroso ou criativo, escolhido antes da execução","product-kera.8da2257e6a":"Sem controlos para encontrar e nada para configurar.","product-kera.0367ceda55":"Dweve Kera, Computação Direta","section_st_a2_split-spec-sheet.7c9a7c0610":"Detalhe","section_st_a6_split-scenario-triad.f75fd3a884":"Sem dependências de runtime","section_st_a6_split-scenario-triad.143ac4ef35":"Binário único","section_st_a6_split-scenario-triad.c61f134d87":"Três superfícies","section_st_a6_split-scenario-triad.215475056e":"ONDE É EXECUTADO","section_st_a6_split-scenario-triad.a794a586f0":"Pronto para sala selada","section_st_a6_split-scenario-triad.42d52c32ea":"Modelo local","section_st_a6_split-scenario-triad.fe6168e59f":"Sem rede","section_st_a6_split-scenario-triad.7d93f83c3e":"Código montado por volume","section_st_a6_split-scenario-triad.bee0cb05f8":"Kubernetes","section_st_a6_split-scenario-triad.9f1141549f":"Docker","section_st_a6_split-scenario-triad.5315129cfe":"macOS, Linux, Windows","section_st_a6_split-scenario-triad.a89193f674":"Sem instalação","section_st_a6_split-scenario-triad.f600b9e709":"Um binário","section_st_a7_split-connector-grid.4e6822a6d4":"Recarga a quente","section_st_a7_split-connector-grid.19e35f0609":"Definido em TOML","section_st_a7_split-connector-grid.d9de50b343":"Inventário orientado pelo chamador","section_st_a7_split-connector-grid.8be1bb51b7":"CONECTORES","section_st_a8_split-scaling-profile.7e0861e04c":"Configurável em TOML","section_st_a8_split-scaling-profile.56d6732417":"Limite por projeto","section_st_a8_split-scaling-profile.27a454915b":"Os pontos ativos refletem os agentes simultâneos por nível.","section_st_a8_split-scaling-profile.0ea215ea0d":"FUNDO","section_st_a8_split-scaling-profile.9fc6fb7e03":"TEAMS","section_st_a8_split-scaling-profile.018d2cd1a5":"PARALELO","section_st_a8_split-scaling-profile.16623c5d4a":"CADEIAS","section_st_a8_split-scaling-profile.0fb79c96ed":"Individual → Equipa → Rede","section_st_a8_split-scaling-profile.068f6b3ecc":"ESCALA DE EQUIPA","section_st_a8_split-scaling-profile.53ebc572b4":"Rede","section_st_a8_split-scaling-profile.218887269a":"Equipa","section_st_a8_split-scaling-profile.9fc93acaa4":"Individual","section_st_a9_split-time-lost-donut.7c9a7c0610":"Detalhe","section_st_b5_request-lifecycle.47e364232a":"auditoria #4521","section_st_b5_request-lifecycle.4d3535f846":"patch · session.rs","section_st_b5_request-lifecycle.6c2519cd62":"Execução de ferramenta","section_st_b5_request-lifecycle.f6d1c823ab":"sessão #128 · 14:02","section_st_b5_request-lifecycle.636de0d0c3":"> \"corrige este bug\"","section_st_b5_request-lifecycle.0208131a7d":"Pedido do utilizador","section_st_b7_audit-chain.9239506454":"0d4e · 8f2c · 51a9 · 73be","section_st_b7_audit-chain.a383df4adb":"a015 · 7c93 · 3e6f · d28b","section_st_b7_audit-chain.efd3faebc5":"9e1b · 22a7 · 8d50 · 6b3c","section_st_b7_audit-chain.4df252b458":"4f2a · b7d1 · 1c83 · e0a4","section_st_b8_defense-stack.eee0f04cba":"O SEU CÓDIGO-FONTE","section_st_b8_defense-stack.89b6e2a784":"DEFESA EM PROFUNDIDADE","section_st_c2_dual-loop-flow.9d29573ea6":"ferramenta / passo","section_st_c2_dual-loop-flow.08ab1ac55a":"plano / replanear","section_st_c5_integration-spoke.55d0677ac3":"Todos os conectores passam pela mesma camada de auditoria e permissões.","section_st_c5_integration-spoke.c29eb7e425":"Agente local","section_st_c5_integration-spoke.14afd82a7f":"AURA","section_st_c5_integration-spoke.ed0afbab5a":"GitLab CI","section_st_c5_integration-spoke.39540900bb":"GitHub Actions","section_st_c5_integration-spoke.a2feefe9af":"Jenkins","section_st_c5_integration-spoke.ab4115a7b2":"Ferramentas externas","section_st_c5_integration-spoke.70c123381f":"JSON-RPC 2.0","section_st_c5_integration-spoke.dc99d54d99":"Local","section_st_c5_integration-spoke.6466df1d3d":"Mistral","section_st_c5_integration-spoke.a19ee5a9fd":"OpenAI","section_st_c5_integration-spoke.b780a23b53":"Anthropic","section_st_f1_cta-dark.90e40d5043":"Começar","toc-rail.f5cbdf6bfb":"Conteúdo"}