PulseAugur
中
实时 07:54:14
English(EN) Introducing AXON - the first AI-native sovereign systems language. • Compiler formally verifies your declared intent at compile time • Targets seL4 formally ver

AXON 发布，成为首个原生人工智能的主权系统语言

作者 PulseAugur 编辑部 · [1 个来源] ·

一种名为 AXON 的新开源编程语言已推出，被设计为一种原生人工智能的主权系统语言。它拥有一个在编译时正式验证用户意图的编译器，并以 seL4 微内核为目标。AXON 拥有每秒 1.9 亿次操作的原生性能，并强调本地人工智能推理，无需依赖云。 AI

影响 推出了一种用于构建具有形式验证和本地推理功能的人工智能系统的新语言。

排序理由 发布了一种新的开源编程语言及其相关的编译器。 [lever_c_降级自研究：ic=1 ai=1.0]

在 Mastodon — mastodon.social 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

AXON 发布，成为首个原生人工智能的主权系统语言

报道来源 [1]

  1. Mastodon — mastodon.social TIER_1 English(EN) · aieonyx ·

    推出 AXON - 首个 AI 原生主权系统语言。• 编译器在编译时正式验证您声明的意图 • 目标是 seL4 的形式化验证

    Introducing AXON - the first AI-native sovereign systems language. • Compiler formally verifies your declared intent at compile time • Targets seL4 formally verified microkernel • 190M ops/sec native performance • Zero cloud. All local AI inference. Axon verify monitor.axon → ✓ c…

相关实体

相关话题