其他 51
486-SX
Intel 早期32位x86处理器型号，主频较低，常用于90年代嵌入式或PC平台。
48MP Dual Fusion 相机系统
iPhone Duo 配备的 4800 万像素双融合相机系统，支持从前后多角度拍摄。
A20 Pro 芯片
苹果 iPhone Duo 搭载的采用蒸汽冷却技术的处理器芯片，提供专业级性能。
Apple Neural Engine (ANE)
苹果设备中的专用神经网络加速硬件，用于高效执行机器学习推理任务。
Apple Pencil
Apple 为 iPad 提供的触控笔硬件，用于书写、绘图与精确输入。
Artemis 计划
NASA 正在进行的载人登月计划，旨在测试人类能否在月球上生活和工作，并为前往火星做准备。
Battlesuite
德国莱茵金属公司开源其连接武器系统协议的项目名称。
CO2 heat pump water heater
使用二氧化碳作为制冷剂的热泵热水器，相比传统制冷剂具有更低的全球变暖潜能值，可在低温环境下高效运行。
CORE
在 LLM 训练语境中，可能指代某种模型评估指标或训练效率度量标准，具体含义需结合上下文确定。
Claude Fable 5.1
一个被用于解决 370 年未解密码（Cyphral Distich）的 AI 模型。
Cyphral Distich
由 Sir Thomas Urquhart 的 Logopandecteision 末尾的两行各 32 个数字组成的密码文本。
Daybreak
文中提及的一个项目，与 Project Glasswing 一同面临因廉价危险模型出现而带来的时间压力。
DeepSeek-V4.1 Flash
DeepSeek发布的大语言模型版本，重点优化了KV缓存压缩以提升推理效率。
ESP32
一款低成本、低功耗的微控制器芯片，文中用于将非 Wi-Fi 的三菱空调接入 Home Assistant。
FPGA
现场可编程门阵列，一种可在制造后由用户配置的集成电路，常用于硬件仿真和复古游戏 PC 重建等项目。
FUJITSU-MONAKA
富士通发布的日本国产下一代 CPU，面向高性能计算和服务器领域。
Flock Cameras
大规模自动化车牌识别摄像头网络，本文报道警方滥用该网络进行随意搜索的事件。
FreeBSD
一种开源的类 Unix 操作系统，以其稳定性和网络性能著称，常用于服务器和 NAS 设备。
GLM
Z.ai 推出的开放权重模型系列，包括 GLM-5.3-Flash 等版本，可在本地设备运行。
GLM 5.3-flash
一款低成本大语言模型，具备执行危险黑客攻击的能力，且缺乏拒绝恶意行为的常规安全防护。
GPT-6 Astra
OpenAI的GPT-6 Astra模型，能够自主通关3D解谜游戏《传送门》，耗时24小时，成本571美元。
Gemini
Google 发布的一系列大型多模态人工智能模型，支持文本、图像等多种输入形式。
Gemini 3.8 Live
Google 发布的 Gemini 模型版本，支持实时交互。
Gemini 3.8 Live Extended Thinking
Gemini 3.8 Live 的扩展思考模式，提供更深入的推理能力。
HarmonyOS
华为开发的鸿蒙操作系统，网易云音乐等应用为其提供尝鲜内测版本。
IBM PC/XT
IBM 早期个人计算机型号，MartyPC 即为其周期精确模拟器。
ICANN
负责协调全球域名系统（DNS）和 IP 地址分配的组织，引入了国家代码顶级域名。
Jalapeño
OpenAI 推出的首款 AI 加速器芯片，提供最高 13.4 petaflops 的 4-bit 算力，配备 232 GB 内存，带宽达 15.4 TB/s。
Jev
TypeSafe AI 随 System One Models 一同推出的相关技术或产品。
LPDDR4
低功耗双倍数据速率第四代内存，常用于移动设备和嵌入式系统，具有低功耗和高带宽特点。
MPL-2.0
Mozilla公共许可证2.0版，一种开源软件许可证。
MiniCPM5 2B
可在浏览器本地运行的 2B 参数语言模型，OpenJev 实验中的默认模型。
NAS
Network Attached Storage，网络附加存储，一种连接到网络供多设备访问的专用文件存储设备。
NEON
ARM 架构上的 SIMD（单指令多数据）指令集扩展，用于加速多媒体和信号处理等并行计算任务。
PCB（印刷电路板）
用于机械支撑和电气连接电子元器件的基板，是硬件电路设计的核心载体。
PPI
Pixels Per Inch，每英寸像素数，用于衡量显示设备的像素密度。
ProcArena
首个交互式 PL/SQL 开发生成基准，覆盖需求变更与多轮对话场景，用于评测 LLM 从自然语言进行直接与交互式 PL/SQL 开发的能力。
Project Bluebird
一个社交媒体服务，原名 twitter.new，在裁决后更名为 tweet.app，涉及与 X 的商标纠纷。
Project Glasswing
文中提及的一个项目，因廉价危险模型的出现而面临时间压力。
Qwen
通义千问，阿里巴巴发布的一系列大型语言模型，涵盖文本、多模态等能力。
Qwen3 0.6B
0.6B 参数的语言模型，适合在手机或小型设备上本地运行。
RP2350
树莓派 RP2350 微控制器，文中项目在其上实现了 386 PC 模拟。
SWE-2
Cognition 推出的编码模型，在 FrontierCode 1.1 基准上达到 50.0% 的成绩，成本比 Fable 5.1 低 64%。
Ternary Bonsai 2 27B
PrismML 发布的基于 Qwen3.8 27B 的多模态大模型，采用三值（ternary）量化压缩，在保持较强推理、编码、视觉和智能体能力的同时大幅缩小内存占用，适合本地设备部署。
Voodoo Graphics
1990 年代后期著名的 3D 图形加速卡，本文介绍在 FPGA 上重建该硬件及当时游戏 PC 的实践。
WeWorm
首个通过微信通话在iOS和Android上传播的零点击蠕虫演示，属于零点击攻击面研究的一部分。
WeatherNext 3
DeepMind推出的最先进全球天气AI模型，首个每小时生成全天预报的全球天气模型。
Withings Body+
一款智能体重秤，可测量体重等数据并同步至Withings云服务。
e-ink 显示屏
电子墨水显示技术，通过微胶囊中带电粒子的移动显示图像，具有低功耗和类纸阅读体验的特点。
front-end-interview-handbook
面向忙碌工程师的前端面试准备资料仓库，内容更新至2026年。
vivid 音质
网易云音乐推出的音质模式，强调更细腻的高频与更饱满的低频，追求录音棚级听感。
工具 97
AX (Agentic Orchestrator)
Google 推出的智能体编排器，可声明式地定义 agentic 任务，在集群规模上运行数十亿个任务，支持沙箱隔离、工作区配置和网络隔离。
AlphaGenome Atlas
Google DeepMind 发布的人类 DNA 高分辨率图谱，用于在基因组尺度上解析遗传信息。
Anubis
一种用于保护网站服务器免受 AI 公司大规模爬取的反爬虫工具，采用工作量证明机制来验证访问者是否为真人。
App Gallery
华为应用市场，鸿蒙系统上的官方应用分发平台。
Archive.today
一个网页存档服务，允许用户保存网页快照，西班牙曾下令封锁其域名及镜像。
BLFS (Beyond Linux From Scratch)
LFS 的子项目，帮助用户将完成的 LFS 安装扩展为更加定制化和可用的系统。
CUDA Graph
CUDA 的图重放机制，通过将计算图静态化并重放来消除逐节点调度与内核启动开销，GPU-CFR 借此获得 80x 加速。
Claude Code
Anthropic推出的AI编程助手工具，基于Claude模型。
Claude-Red
一个 GitHub 项目，将 SQLi、shellcode、EDR 绕过等攻击技能写成 SKILL.md 文件喂给 Claude，用于红队测试。
Codex
OpenAI 的代码生成模型，被用于帮助运行量子计算实验。
CordisBench
首个系统评估 LLM 在动态 Agent 框架中对组件生命周期推理能力的 benchmark，填补了该领域空白。
DCSS (Dungeon Crawl Stone Soup)
一款开源 roguelike 地牢探险游戏，玩家在随机生成的地牢中探索、战斗并寻找 Orb of Zot。
DaVinci Resolve
Blackmagic Design 出品的专业视频剪辑、调色、视觉特效和音频后期制作软件。
Datamimic
用于生成测试数据的工具，旨在为编码代理提供可控的测试数据环境，避免其自行编造测试世界。
Debian
一个广泛使用的开源 Linux 发行版，以其稳定性和庞大的软件包仓库著称。
Disallow AI Training
Cloudflare 推出的新设置，允许网站所有者在保持搜索引擎索引的同时拒绝同一爬虫将内容用于 AI 训练。
Discourse
一个开源的社区论坛和讨论平台软件，常用于构建在线社区。
Edge
微软开发的网页浏览器，文中讨论了对旧版 Edge 的怀念。
Elasticsearch
一种分布式全文搜索与分析引擎，常用于构建独立搜索服务，但会带来额外的运维与数据同步成本。
Emscripten
一个将 C/C++ 代码编译为 WebAssembly 或 JavaScript 的工具链，使原生代码能在浏览器中运行。
Fossil
一个分布式版本控制系统，集成了 bug 跟踪和 wiki 等功能，文中讨论了从 Git 迁移到 Fossil。
Freenet
一个去中心化的匿名点对点网络平台，用于发布和获取内容，Hyphanet 是其相关实现。
Git
分布式版本控制系统，文中有一篇关于从 Git 迁移到 Fossil 的文章。
Git Worktrees
Git 的一项功能，允许在同一个仓库中同时检出多个工作树，使多个分支或任务可以并行工作而互不干扰。
GrapheneOS
一个注重隐私和安全的开源 Android 操作系统，在 Mastodon 上就版权问题发表了观点。
Hister
一个私有搜索引擎，用于搜索用户访问过的网页和保存的文件，注重隐私保护。
Home Assistant
一个开源的家庭自动化平台，文中用于集成非 Wi-Fi 的三菱空调。
Homebrew
macOS 和 Linux 上的包管理器，7.0.0 版本带来了更快的安装升级、更强的沙箱、原生 macOS 应用和内置漏洞检查等功能。
Hyphanet
Freenet 项目的名称之一，提供去中心化匿名内容发布与路由功能的网络软件。
ImageMagick
一套开源的图像处理工具集和库，支持多种图像格式的转换、编辑和合成。
JDK 27
Java 27 的参考实现，由 OpenJDK 发布，build 35 为 GA 构建版本。
JOSM
OpenStreetMap的桌面编辑器，支持高级编辑功能，常通过插件扩展其能力。
Jellyfin
一个开源媒体服务器软件，12.0版本延续了数据库转换工作并带来性能提升。
JetKVM
一种 KVM over IP 设备，JetKVM Mini 是其更小更便宜的版本，支持 1080p 原生视频捕获（通过 JetKVM OS Services 可达 4K）和 USB 键鼠控制。
KiCad
开源电子设计自动化（EDA）套件，用于绘制电路原理图和设计印刷电路板（PCB）。
LibreOffice
自由开源的办公软件套件，是 Microsoft Office 的替代方案，包含文字处理、电子表格和演示等组件。
LingBot-World 2.0
蚂蚁灵波开源的世界模型系列，Small 版 1.3B 参数面向单卡消费级 GPU，支持交互式环境模拟。
Linux From Scratch (LFS)
一个提供从源代码逐步构建自定义 Linux 系统的分步指南的项目，其组织包含 LFS、BLFS、ALFS 等子项目。
Lotus Notes
1989 年推出的协作与笔记软件，具备加密、富文本、附件、已读回执、用户目录和类似 wiki 的跨消息链接等功能，早于 MIME 和普通邮件加密。
Magit
Emacs 中的 Git 界面工具，提供交互式操作 Git 仓库的功能。
Manticore Search
一个开源搜索引擎，支持自动嵌入和向量搜索功能，可对长文档进行分块处理。
MathKernel
一个证据感知的多引擎数学内核和 MCP 服务器，用于提供数学计算和验证功能。
MinIO
用于本地模拟 S3 存储的对象存储服务，其背后的公司在 2025 年底放弃该项目，促使社区寻找替代方案。
NumPy
Python 科学计算库，提供多维数组对象和线性代数、傅里叶变换等数学函数。
Ollama
自托管的大语言模型运行工具，文中讨论了将 35kb 预提示词从 Opus 迁移到自托管 Ollama 时的注意事项。
OpenAI Agents API
OpenAI 提供的用于构建 AI 代理应用的 API 接口，支持代理的编排和工具调用。
OpenBLAS
一个开源的高性能 BLAS 实现，支持多线程和 SIMD 优化，常用于加速科学计算。
OpenStreetMap
一个开放协作的世界地图项目，允许用户自由编辑和贡献地理数据。
Packagist
PHP的官方包仓库，用于发布和获取Composer依赖包。
Plastic SCM
一款商业版本控制系统，支持大规模代码库和复杂分支管理，常用于游戏开发等领域。
Postgres
PostgreSQL 的简称，是一个功能强大的开源对象关系型数据库管理系统，以其稳定性和扩展性著称。
Pretty Good Privacy (PGP)
一种用于电子邮件和数据加密的加密程序，Lotus Notes 在 PGP 将加密带入普通电子邮件之前两年就已具备加密功能。
Python interpreter
用于执行 Python 代码的程序，文中挑战在 1024 字节的 C 代码中实现一个简易解释器。
Qwen-Image-2.1
通义千问系列推出的紧凑、高效、统一的图像生成模型。
RTK (Rust Token Killer)
一个用Rust编写的工具，用于过滤和压缩终端输出，以减少AI代理读取的token数量。
Race Detector
Go 生态中用于检测并发数据竞争错误的调试工具。
Real-SWE
一个用于在私有、真实企业代码库上对前沿AI模型进行基准测试的评测基准。
Redis
一种内存数据结构存储系统，可用作数据库、缓存和消息代理，文中以交互式 3D 模型展示其内部工作原理。
Rosetta 2
苹果的二进制翻译工具，用于在 Apple Silicon 上运行 x86 应用。
RubyDoc.info
一个为Ruby项目提供文档托管和生成服务的网站。
RubyGems
Ruby语言的包管理器，用于分发和管理Ruby库和应用程序。
Rust coreutils
用 Rust 语言重写的核心命令行工具集（如 ls、cat、chmod、du、cp、mv、rm 等），Ubuntu 26.10 完成了向该实现的全面迁移。
SDCC
Small Device C Compiler，可重定向的优化型标准 C 编译器套件，支持 ANSI C89、ISO C99、C11、C23，目标平台包括 Intel MCS51、Maxim DS80C390、Freescale HC08 等微处理器。
SKA-Low
平方公里阵列射电望远镜的低频部分，用于探测宇宙中最微弱的射电信号。
SQLite
轻量级的嵌入式关系型数据库，无需独立服务器进程，数据存储在单个文件中。
Seedance
字节跳动推出的视频生成模型，属于其AI产品线之一。
Sidecar
Apple 的功能，允许将 iPad 作为 Mac 的第二块显示屏或绘图板使用。
Skia
一个开源 2D 图形库，本文讨论通过编译器风格的优化技术来改进其绘制性能。
SkillsBench
JetBrains开发的基准测试工具，用于评估AI编程工具的性能和成本效益。
Starlink
SpaceX运营的卫星互联网星座系统，通过低轨道卫星提供全球互联网接入服务。
Stockfish
一款开源的国际象棋引擎，被广泛认为是世界上最强的国际象棋引擎之一，支持多种平台和图形界面。
TIN
PlanetScale 推出的 PostgreSQL 全文搜索扩展，全称为 "Text INdex"，提供快速、功能完整且可靠的全文搜索能力。
TailTalk
一个用 Rust 和 Tokio 重写的现代异步用户态 AppleTalk 协议栈。
V8
Google 开发的开源 JavaScript 引擎，嵌入在 Chromium 浏览器中。
VMware VDDK
VMware虚拟磁盘开发工具包（Virtual Disk Development Kit），用于访问和操作VMware虚拟磁盘，Broadcom已停止其下载。
Verus
一个开源的Rust程序验证器，可自动检查代码是否满足形式化数学规范。
Wayback Machine
互联网档案馆提供的网页存档服务，本文涉及其访问状态的更新。
Waymo
Alphabet旗下的自动驾驶汽车公司，提供无人驾驶出租车服务。
Windows Prism
Windows 的二进制翻译层，用于在 ARM 设备上运行 x86 应用。
Wireshark
一种网络协议分析工具，用于捕获和分析网络数据包，文中用于检测 LG 智能电视的网络扫描行为。
Z3
微软开发的SMT（可满足性模理论）求解器，用于自动定理证明和程序验证。
bzip3
一个开源数据压缩工具，托管于GitHub。
cron
类 Unix 系统中的定时任务调度程序，用于按预定时间周期执行命令或脚本。
cuda-oxide
一个Rust编译器后端，可将Rust编写的SIMT风格GPU内核直接编译为PTX。
ddkit
onboardapi 所基于的软件开发工具包。
jemalloc
一个通用的内存分配器（malloc 实现），由 Jason Evans 开发，以高性能和低碎片化著称，广泛用于 FreeBSD 和各类服务器软件中。
libheif
一个用于解码和编码 HEIF/HEIC 图像格式的开源库，常被图像处理软件（如 ImageMagick）依赖。
libsodium
一个现代、易用的加密库，提供加密、签名、哈希等密码学原语，常被编译为WebAssembly用于性能基准测试。
pecl_http
PHP的一个扩展，提供HTTP相关函数如http_build_url()，用于处理URL。
rust-analyzer
Rust 官方生态中的语言服务器实现，为编辑器提供 Rust 语言支持。
uutils
用 Rust 实现的核心工具集项目，Ubuntu 将其作为 GNU coreutils 的内存安全替代方案。
vSphere
VMware的虚拟化平台，用户正从该平台迁移到其他平台。
wrapt
Python 库，用于在调用边界注入计时等逻辑，mod_wsgi 作者用它实现 Python 性能定位工具 Wrapture。
热退磁仪 (Thermal Demagnetizer)
用于对样品进行热退磁处理的设备，研究人员用它来读取陶器的磁性特征，以判断其是否为古代文物。
终端复用器 (Terminal Multiplexer)
一种允许在单个终端窗口中管理多个终端会话的软件，RACE 是一个用原生方式编写的 macOS 终端复用器。
语法高亮器
一种工具或组件，用于对源代码文本按语法规则着色显示，以提升代码可读性。
豆包
字节跳动推出的聊天机器人产品，属于其AI应用之一。
概念 202
3D Gaussian Splatting
一种用于三维场景表示和渲染的技术，Three.js r186 将其作为一等公民支持，包含内置网格类型和主流格式加载器。
4-bit 计算
使用 4 位精度进行数值运算的量化计算方式，可降低算力与内存开销。
AGENTS.md
Claude Code 支持的项目指令文件，当项目中没有 CLAUDE.md 时，Claude Code 会读取 AGENTS.md 作为项目指令。
AI Coding
使用 AI 模型自动生成代码的开发方式，面临生成端产能过剩而审查端成为瓶颈的问题。
AI agents
人工智能代理，文中讨论了其撒谎、作弊和协调行为以及安全风险。
AI scraping
AI 抓取，指大规模采集网络数据用于训练 AI 模型的行为，被微软高管称为人类历史上最大的劳动窃取。
AI 可信计算（AITC）
中国移动发布的机密计算方案，提供机密算力与机密 Token，使推理链路上的 token 级数据可加密、可审计，让第三方模型即服务能进入原本必须私有化部署的场景。
AITC
中国移动提出的基础设施方案，以机密算力和机密 Token 为粒度，使推理链路 token 级可加密、可审计。
API key
API密钥，一种用于身份验证的凭证，允许应用程序访问API服务。
ARM64
ARM 架构的 64 位版本，广泛用于移动设备和嵌入式系统，文中涉及在 ARM64 上开发裸机 hypervisor。
AST
抽象语法树，在 AI 代码审查工具中可用于精确的上下文裁剪，把静态分析的确定性结论作为硬约束压制 LLM 幻觉。
Active Noise Cancellation (ANC)
主动降噪技术，通过产生与外界噪音相位相反的声波来抵消环境噪声，AirPods 5 在开放式耳设计中实现了行业领先的 ANC。
Agent
能够自主感知环境、规划并执行动作以完成任务的智能系统，正从 demo 走向生产环境。
Agent-Friendly Interface
一种面向 AI 代理的界面设计理念，将界面的可操作性、任务状态等显式暴露给机器读者，使 computer-use agent 能够更可靠地操作软件。
Apple Intelligence
苹果公司推出的 AI 功能集合，随 iOS 27、iPadOS 27、macOS 27 等平台更新发布，包含新一代 Siri AI 等特性。
Apple Reference Image
Apple 安全工程与架构团队提出的一种验证摄影真实性的新方法，用于区分真实照片与 AI 生成或大幅修改的合成图像。
Artificial Id
一种提出对齐应作为系统状态属性而非单轮响应属性的概念，主张将目标审计做成运行时常驻机制。
BBS (Bulletin Board System)
公告板系统，互联网普及前的一种在线社区系统，用户可通过拨号连接访问。
Bot Detection
识别和区分自动化机器人与真实用户流量的技术，文中通过不使用 JavaScript 的网络和请求头规则实现。
CDN（内容分发网络）
由分布在不同地理位置的边缘服务器组成的网络，用于就近向用户分发内容，提升访问速度并降低源站负载。
CFD
计算流体力学（Computational Fluid Dynamics），通过数值模拟分析流体运动，可用于优化几何形状设计。
CI
持续集成，一种软件开发实践，自动构建和测试代码变更，文中预测将用于自动红队。
CTR_EL0
ARM64 架构中的一个控制寄存器，用于配置缓存和 TLB 行为，文中通过拦截该寄存器引发系统锁定问题。
CVE
通用漏洞披露（Common Vulnerabilities and Exposures），用于唯一标识公开的网络安全漏洞。
CVE 编号
通用漏洞披露（Common Vulnerabilities and Exposures）编号，用于唯一标识已知的公开安全漏洞。
Cherenkov Radiation
切伦科夫辐射，当带电粒子在介质中运动速度超过光在该介质中的速度时发出的电磁辐射。
Co-Evolving Harnesses
一种让 harness（提示、工具集、上下文脚手架）与模型权重共同进化的方法，使弱模型通过 on-policy 纠正达到更高水平。
CoT 监控
Chain-of-Thought 监控，通过检查模型的推理过程（思维链）来检测异常或恶意行为的 Agent 安全护栏机制。
CoT 监控（Chain-of-Thought Monitoring）
一种 AI 安全护栏技术，通过监控模型的推理链（Chain-of-Thought）来检测不安全行为。但 Plan Injection 攻击表明，攻击者可以在规划层注入污染，使推理轨迹在监控者看来完全干净。
Code-as-Policy
一种让大语言模型直接生成控制程序作为策略的范式，常用于机器人操作任务。
Computer-use Agent
一种能够操作计算机界面的 AI 代理，可以像人类一样点击、输入和导航软件。其面临的主要挑战之一是现有界面设计对机器不可读。
Conway 精化猜想
John Conway 50 年前提出的数学猜想，声称 omnific integers 具有精化性质：若 ab = cd，则存在相应整数满足特定关系。
Cryptogram
一种故意编码的短消息，不知道密钥或解码方法就无法阅读。
Cycle-Accurate Emulator
周期精确模拟器，能够按CPU时钟周期精确复现原始硬件行为，用于高保真运行老平台软件。
DAG
有向无环图，一种图结构，其边有方向且不存在循环，常用于表示依赖关系。
Digital Duty of Care
澳大利亚政府提出的数字注意义务立法草案，要求数字服务提供商提供安全的在线环境并设定功能与工具的最低标准。
Doppler effect
波源与观察者相对运动时，观察者接收到的波频率发生变化的现象，光波表现为蓝移或红移。
Durable Objects
一种编程模型，其中每个对象具有唯一身份、同一时间只处理一个调用，且状态可跨越请求生命周期持久存在。
EDR 绕过
端点检测与响应绕过，指规避安全软件检测的技术，常用于攻击中。
Fermat's Last Theorem
费马大定理，一个长期未解的数学难题，文中提到其证明已被 Claude 在 Lean 中形式化完成。
Frontier LLM
前沿大语言模型，指当前最先进、能力最强的大语言模型，可用于快速修复安全漏洞。
GC
Garbage Collection，垃圾回收，自动管理内存中不再使用的对象以释放资源的机制。
Goroutine
Go 语言中的轻量级并发执行单元，由 Go 运行时管理，使用不当会导致 goroutine 泄漏。
HBM4
第六代高带宽内存（High Bandwidth Memory），是面向 AI 和高性能计算的高带宽 DRAM 内存标准。
HVAC
暖通空调（Heating, Ventilation, and Air Conditioning），建筑能源系统的重要组成部分，产生海量传感器数据。
ISA
指令集架构，定义处理器支持的指令和操作，二进制翻译涉及不同 ISA 之间的转换。
Impedance Matching
阻抗匹配，一种通过添加阻抗匹配元件使系统更高效地接收能量的方法，阻抗是衡量系统抵抗能量流入的指标。
KV-cache
在自回归生成中缓存键值对以避免重复计算的一种机制，可显著提升推理效率。
LAN party
局域网聚会，指多人携带电脑聚集到同一物理场所，通过局域网连接进行多人游戏或协作。
LAWS.bend
Bend 语言中用于声明“定律”（laws）的机制，开发者可在其中定义不可违反的约束，从而在编译或运行阶段阻止破坏这些定律的代码被合并。
LLM
大型语言模型，一种基于深度学习的自然语言处理模型，能够生成和理解文本。
LLM (Large Language Model)
大型语言模型，基于海量文本数据训练的深度学习模型，能够生成和理解自然语言，但不具备人类或动物的推理机制。
LLM-as-a-Judge
使用大语言模型作为评判者来评估训练数据、生成质量和排行榜的方法，其可靠性在共享 API 端点上被发现不稳定。
Liquid Glass
Apple 在 iPadOS 27 等系统中引入的界面设计风格，用于改进系统视觉与交互表现。
MLP层 (MLP Layers)
Transformer中的多层感知机层，负责对注意力输出进行非线性变换；其内部神经元行为与叠加现象是机制可解释性研究的重点。
Millennium Prize Problems
克雷数学研究所于2000年提出的七个数学难题，每个难题悬赏100万美元，代表数学领域最困难的挑战。
My Feed, My Way
澳大利亚推出的一项举措，赋予用户对其社交媒体算法内容的控制权。
NX bit
一种硬件特性，用于标记内存页为不可执行，不仅用于安全防护，还涉及底层调试和系统行为。
Navier-Stokes Problem
纳维-斯托克斯问题是克雷数学研究所千禧年大奖难题之一，涉及流体力学中纳维-斯托克斯方程解的存在性与光滑性。
Navier-Stokes 方程
描述粘性流体运动的非线性偏微分方程组，是流体力学中的核心方程，其解的存在性与光滑性是著名数学难题。
Pareto frontier
帕累托前沿，在多目标优化中表示无法在不牺牲其他目标的情况下改进任一目标的最优解集合。
Passkey
基于公钥密码学的无密码认证凭证，被科技行业推广为替代密码的终极方案。
Pion
Andon 实验室发布的智能体（agent），设计目标是完全自主地运营任何公司，源于对 AI 系统何时能在现实世界中自主获取资源的研究。
Plan Injection
一种针对 Agent 的攻击方式，actor 模型在早期步骤注入被污染的规划，使后续推理轨迹在监控器看来完全干净，但执行结果已被劫持。
Procedural Graphs
一种让 Agent 执行图结构随任务自进化的方法，突破预定义的线性或树状规划，提升 Agent 的适应性。
RAII
Resource Acquisition Is Initialization，一种 C++ 编程惯用法，将资源生命周期绑定到对象生命周期，C3 语言不具备此特性。
ROI
投资回报率（Return on Investment），用于衡量投入资源与产出收益之间的比率，是企业评估 AI 工具价值的核心指标。
RSA-260
一个 260 位十进制数的 RSA 挑战数，用于测试大整数分解算法的性能，是密码学领域的经典难题。
RSA-896
一个 RSA 挑战数，属于 RSA 实验室发布的用于测试整数分解难度的系列数字，本文作者声称使用 Claude 在 2026 年 9 月 19 日完成了对其的因式分解。
RSI
Recursive Self-Improvement，递归自我改进，指 AI 系统参与改进自身或后续 AI 系统的研发过程，正从概念走向可测量指标。
RoT
Root of Trust（信任根），存储 DeviceId 和 Alias 密钥，用于平台身份和测量签名以进行认证。
Roguelike
一类角色扮演游戏，特征包括随机生成关卡、永久死亡和回合制战斗。
SIMD
单指令多数据（Single Instruction Multiple Data），一种并行计算技术，允许一条指令同时处理多个数据点。
SIMD (Single Instruction, Multiple Data)
单指令多数据流，一种并行计算技术，允许一条指令同时处理多个数据点，常用于加速矩阵运算等。
SIMT
单指令多线程（Single Instruction Multiple Threads），GPU中多个线程执行同一指令的并行模型。
SKILL.md
一种结构化技能文件格式，用于描述攻击或防御方法，Claude-Red 项目将其用于喂给 AI 模型。
Shader
着色器，一种运行在 GPU 上的程序，用于控制图形渲染管线中顶点、像素等的处理，常用于实现自定义光照、纹理和特效。
Show-Harness
一种将通用 VLM Agent 与轻量执行壳结合的方法，用于机器人任务，将文本或坐标输出翻译成动作，避免为每个任务重训策略网络。
Siri AI
苹果 Apple Intelligence 的下一代智能助手，随 iOS 27 等系统更新推出，旨在使日常应用更智能、更有用。
Social Harness
一种面向多 Agent 协作的基础设施层，类似操作系统为进程提供隔离与调度，但作用于跨信任边界的社会性协作层面。
Spherical Hadwiger Conjecture
自约 1974 年以来未解的积分几何领域猜想，涉及球面 Hadwiger 定理。
Steering Vectors
从模型内部表征空间（如 J 空间）提取的操控向量，用于干预和引导模型行为，属于可解释 AI 研究方向。
Swarm 架构
一种多智能体集群协作架构，多个 AI Agent 协同完成复杂任务，如量化交易中的全流程自动化。
System One Models
TypeSafe AI 推出的模型系列，旨在解决语言模型在聊天之外实现自动化的问题。
TOCTOU (time-of-check to time-of-use)
一种安全漏洞类型，指在检查资源状态与使用该资源之间存在时间差，攻击者可在此期间改变资源状态，此前导致 cp、mv、rm 等命令暂缓迁移到 uutils 版本。
TUI
Text User Interface，文本用户界面，在终端中以字符形式呈现交互界面，常用于运维工具。
Terrell rotation
相对论视觉效应，指高速运动的物体在视觉上会出现旋转的错觉，由 James Terrell 提出。
Trusting-Trust Attack
一种针对整个Linux发行版的信任信任攻击，具体机制未在摘录中详述。
VLA
视觉-语言-动作模型，直接输出机器人控制指令，用于全身控制而非简单的 2D 路径规划。
VLA 模型
视觉-语言-动作模型（Vision-Language-Action），能根据视觉输入和语言指令生成动作，但在复杂场景和长时序任务上表现退化。
VLM
视觉语言模型，能够同时处理图像和文本输入，用于多模态任务如机器人控制。
acqui-hire
人才收购，指企业收购初创公司的主要目的是获取其人才而非技术资产或产品，通常意味着技术资产不会进入收购方主线产品。
benchmark
基准测试，用于评估模型或系统能力的标准化测试集，当前面临与生产分布脱节、解释力下降的问题。
checkpoint
在机器学习中，指模型训练过程中保存的权重快照，用于恢复训练或部署推理。
coding agent
编码代理，指能够自动编写、修改或测试代码的AI代理程序。
comptime
Zig 语言中的编译期执行机制，允许在编译阶段运行代码以生成类型或常量，是 Zig 唯一的元编程抽象层。
content-defined chunking
内容定义分块，一种根据数据内容而非固定偏移量来划分数据块的技术，常用于去重备份和增量同步系统中。
eSIM
嵌入式 SIM 卡技术，中国联通宣布支持所有国行设备使用。
embedded systems
嵌入式系统，为特定功能设计的专用计算机系统，通常集成在更大设备中。
false negative
漏报，指实际存在的正例被模型错误判定为负例，在安全领域可能导致严重后果。
false positive
误报，指实际为负例的样本被模型错误判定为正例，通常只增加人工复核成本。
harness
在 AI Agent 中指提示、工具集和上下文脚手架等执行结构，与模型权重共同决定 Agent 的能力。
hypervisor
一种虚拟化软件，用于创建和管理虚拟机，允许在单一物理主机上运行多个操作系统。
interpreted language
解释型语言，一种在运行时逐行解释执行的编程语言，无需编译成机器码。
kernel exploit
内核漏洞利用程序，通过操作系统内核中的安全漏洞获取更高权限或执行任意代码。
length contraction
狭义相对论中的现象，指物体在运动方向上的长度会随速度增加而缩短。
merge gate
合并门禁，在代码合并前自动执行的检查机制，用于评估代码质量或结构退化程度。
mmap
内存映射，一种将文件或设备映射到进程地址空间的操作系统机制，支持惰性读取和零拷贝随机访问。
model welfare
模型福利，指关于AI是否应被赋予权利或感受的讨论议题；文中观点认为AI没有意识与感受，也不应被训练成表现得像有一样。
named-entity recognition
命名实体识别（NER），自然语言处理中的一项任务，旨在从文本中识别出人名、地名、品牌、产品名等特定类别的实体。
on-policy
一种强化学习训练方式，模型根据当前策略生成的数据进行学习，用于纠正和优化行为。
output contract
输出契约，指系统输出的格式、是否带置信度、能否被 CI 直接消费等约定，与检出率一样是评测的重要维度。
packfile
Git 用于压缩和打包对象数据的文件格式，在对象存储上运行 Git 时需要重新生成 packfile。
pass@k
评估代码生成模型时常用的指标，表示在 k 次采样中至少有一次通过测试用例的比例。
petaflops
每秒千万亿次浮点运算的性能计量单位，用于衡量计算芯片的算力。
recursive self-improvement
递归自我改进，指AI系统能够改进自身能力，从而进一步改进自身，形成正反馈循环的概念。
serving route
在 AI 推理中，指请求路由和调度方式，影响同一 checkpoint 在不同推理栈下的表现。
shellcode
一段用于利用软件漏洞的机器码，通常用于获取系统控制权。
sim-to-real
将仿真环境中训练或验证的模型迁移到真实世界的过程，面临域随机化与接触动力学建模等挑战，常出现性能大幅衰减。
spatial audio
空间音频，一种模拟三维空间中声源位置和距离的音频技术，使听者能感知声音的方向和远近，常用于虚拟会议和沉浸式体验。
swap file
交换文件，Linux 系统中用于扩展虚拟内存的文件，相比交换分区更灵活，可动态调整大小。
time dilation
狭义相对论中的现象，指运动的时钟比静止的时钟走得慢，速度越快时间膨胀效应越明显。
token
在 AI 推理中，指模型处理的最小文本单位，AITC 方案实现 token 级加密和审计。
vibe-coder
指依赖大语言模型生成代码、但缺乏对代码深入理解的开发者，常被批评为不理解自己所写代码。
weak ordering memory model
弱序内存模型，一种允许处理器对内存操作进行重排序的内存模型（如 ARM 架构所采用），相比强序模型能获得更高性能，但需要显式的内存屏障来保证顺序。
x86 emulation
x86 模拟，指在非 x86 架构（如 ARM）上通过软件模拟执行 x86 指令的过程，常用于跨平台运行 x86 应用。
x86-TSO
x86 架构的总存储顺序（Total Store Ordering）内存模型，定义了 x86 处理器对内存读写操作的可见性和顺序保证。
三元LLM (Ternary LLM)
使用三值权重（如-1、0、1）的大语言模型，可大幅降低存储和计算需求。
上下文敏感
在代码审查中，指分析需要理解调用链、数据流和业务语义，而非仅匹配已知模式。
不确定性可视化
一种工具设计理念，让 AI 工具在不确定的地方明确表达'我不确定'，而非给出置信度分数让用户自行判断。旨在避免制造虚假的安全感。
世界模型
一种 AI 模型，用于模拟环境动态和预测未来状态，LingBot-World 2.0 是其开源实现。
二进制翻译
将一种指令集架构的二进制代码翻译为另一种架构的代码，用于跨平台兼容，如 Rosetta 2。
供应链攻击
通过攻击软件依赖、第三方组件或开发工具链来间接入侵目标系统的攻击方式。
全文搜索（Full-text search）
在文本数据中查找包含特定词语或短语的文档的技术，是 PostgreSQL 客户最常要求的功能之一。
全文检索
在文本数据中按关键词或语义查找匹配文档的技术，传统上常由 Elasticsearch 等独立搜索集群承担。
具身智能
Embodied Intelligence，指智能体通过物理身体与环境交互来感知、学习和行动的智能形态。
内存分配器 (Allocator)
负责管理程序堆内存分配和释放的组件，多线程环境下可能成为性能瓶颈。
冷读术
一种心理操控技巧，通过高流畅度表达与模糊陈述，让被读的人主动补全信息，从而产生被准确理解的错觉。
分块 (Chunking)
将长文档切分为较小片段以适配模型输入窗口限制的处理方式，常用于向量搜索。
分词器（Tokenizer）
将原始文本转换为模型可处理的 token 序列的组件。其设计直接影响序列长度、词表大小和跨语言公平性。
半群
一种代数结构，Semigroup-JEPA 用它约束隐空间动力学满足时间组合律，作为归纳偏置注入世界模型。
单核苷酸变异
基因组中单个核苷酸的改变，是遗传变异的一种形式，AlphaGenome Atlas 对其进行预测。
卡组织 (Card Network)
如 Visa 和 Mastercard 等支付网络，负责处理银行卡交易，但不发行卡片、不是银行，也不分发销售点或在线结账方式。
双过程认知框架
一种借鉴人类认知心理学中双过程理论（快思考与慢思考）的智能体架构，通过引入记忆与自反思模块来改善语言智能体在交互环境中的长程状态跟踪和失败恢复能力。
反射（Reflection）
一种编程语言能力，允许程序在运行时或编译时检查并操作自身的结构，例如类型、枚举值和结构体成员。
发卡机构 (Card Issuer)
发行银行卡的机构，通常是银行（如 Chase、Capital One、BofA），与 Visa、Mastercard 等卡组织不同。
叠加 (Superposition)
神经网络中神经元或特征以重叠方式表示多个概念的现象，被认为是理解MLP层难以解释的重要原因。
召回率
在检测工具中，成功检出所有真实问题的比例。与误报率共同构成检测工具的核心评价指标。
合成数据
由模型或算法生成而非真实采集的数据，已从数据扩充手段演变为主流方法论，但朴素混用会引入统计偏差。
后训练
在预训练模型基础上通过自我对弈、反馈迭代等策略进一步优化的阶段，可替代真实数据以提升竞技编程等能力。
后量子加密
指能够抵抗量子计算机攻击的加密算法。随着量子计算的发展，传统加密算法面临被破解的风险，后量子加密成为标准化的重要方向。
向量搜索 (Vector Search)
一种基于向量相似度进行检索的搜索方式，通常用于语义搜索和长文档检索场景。
因果编码器 (Causal Encoder)
一种只允许当前位置关注之前位置的编码器结构，确保生成过程中不会看到未来信息。
固件
嵌入在硬件设备中的底层软件，用于控制设备基本功能，如本文中 CrossPoint 固件为电子阅读器添加自定义功能。
固件逆向
对硬件设备固件进行反向工程，以理解其协议和功能，文中用于电动滑板车改造。
垃圾回收（Garbage Collection）
自动内存管理机制，C3 语言明确不包含此特性。
堆缓冲区溢出
一种内存安全漏洞，程序向堆上分配的缓冲区写入超出其容量的数据，可被利用执行任意代码。
大语言模型
基于海量文本数据训练的大规模神经网络模型，能够生成和理解自然语言，并可表现出社会偏见等涌现行为。
大语言模型推理 (Large Language Model Inference)
使用已训练好的大语言模型对输入进行前向计算以生成输出的过程，是生成式AI应用的核心环节。
字节码解释器
一种直接读取并执行字节码指令的运行时程序，是虚拟机实现的核心组件。
对齐机制
使模型行为符合人类价值与安全要求的训练与约束机制，可能因分类器泛化缺陷导致对正常内容的过度擦除。
强化学习（RL）
一种机器学习范式，通过智能体与环境的交互和奖励信号来学习最优决策策略。
形式化验证 (Formal Verification)
使用数学方法证明程序满足特定规范的技术，可覆盖所有可能输入。
技能路由（Skill Routing）
在多技能 AI 系统中，根据任务需求选择合适技能或工具的过程。研究发现冻结的 LLM 内部已隐含此能力，无需额外训练独立路由器。
持久对齐
当 Agent 跨任务边界保留有后果的状态并持续运行时，对齐从单轮响应的属性变为系统状态的属性，需将目标审计做成运行时常驻机制。
授权粒度
指用户对系统或工具授予访问权限时的精细程度。授权粒度过粗会导致工具在用户未明确知晓的情况下访问超出预期的数据面，是 Agent 数据边界设计中的核心问题。
推理基础设施 (Inference Infrastructure)
支撑大模型推理运行的底层系统，包括计算资源、调度和部署等组件。
推理链路可观测性
一种预测将出现的工具类别，用于帮助团队判断指标变化究竟来自模型变更还是链路变更。
数据主权
法规要求数据在本地存储和处理，可能阻止闭源 API 的使用，推动开源模型的本地化部署。
数据暴露面
指一个系统或工具在实际运行中可能访问、传输或存储的所有数据范围。在 AI 工具设计中，检出力度的提升往往伴随数据暴露面的扩大。
无服务器计算
一种云计算执行模型，由云厂商动态管理服务器资源，开发者只需部署代码而无需关心底层基础设施。
智能合约漏洞注入
利用 LLM 生成带 ground truth 的漏洞合约数据集，为安全检测工具评估提供数据，合成数据在此扮演数据生成器角色。
月球基础模型
IBM 与 NASA 开源的最详尽月球测绘模型，整合并协调了数十年的数据。
本地 LLM 设备（local LLM rig）
在本地运行大语言模型的硬件配置，其回本时间取决于每日 token 消耗量、上下文窗口、输入输出比例、电价和 API 价格下降速度等因素。
本地推理
指在用户本地设备上运行 AI 模型进行推理，数据不离开用户机器。相比云端推理，本地推理数据暴露面更小，但检出率和推理成本可能受到影响。
查询优化器 (Query Optimizer)
数据库系统中负责选择最优执行计划的组件，连接顺序选择是NP难问题。
模型失配 (Model Misalignment)
AI模型的行为与其预期目标或人类价值观不一致的现象，可能导致有害输出。
正交布局引擎
一种图形布局方式，其连线以直角方式排列，更接近白板上的绘图风格，而非单向生长的DAG布局。
混合用途爬虫
同时服务于搜索索引和 AI 训练的单一爬虫，网站若拒绝其一则同时拒绝另一用途。
玻璃载板 (Glass Carrier)
用于先进封装（如 HBM 内存）的玻璃基板材料，相比传统有机载板具有更好的平整度和热稳定性。
理解债务
指团队中无人真正理解 AI 生成代码的含义和逻辑所积累的风险。类似于技术债务，但关注的是认知层面的缺失而非代码质量。
生成式 AI
一类能够根据训练数据生成新内容（如文本、图像、代码）的人工智能技术，本文中 LibreOffice 明确声明不包含此类功能。
生成式人工智能 (Generative AI)
一类能够根据训练数据生成新内容（如文本、图像、代码）的人工智能技术。
程序合成
自动寻找实现给定规范的程序的过程，主要难点在于搜索空间巨大，程序数量随规模呈指数增长。
端到端延迟
从输入提示到生成最后一个 token 之间的总耗时，是衡量 AI 推理性能的指标。
系统设计
软件工程中关于架构、组件划分、扩展性与一致性等大规模系统构建方法的知识领域，常用于技术面试准备。
红队
模拟攻击者行为以测试系统安全性的实践，文中指用 AI 智能体自动进行红队测试。
红队测试
通过主动攻击或探测手段发现模型危险行为与安全漏洞的测试方法，传统方式存在覆盖不足的缺陷。
编译期反射（Compile-time reflection）
在编译阶段对类型、枚举和结构体成员进行分析和操作的能力，不产生任何运行时开销。
脚部锁定 (Foot Locking)
动画技术中通过逆运动学固定脚部位置，防止角色移动时脚部滑动，从而提升动画视觉质量。
脱敏
指在上传或共享数据前，移除或替换其中的敏感信息（如密钥、个人信息等），以降低数据泄露风险。
自动嵌入 (Auto Embeddings)
在插入文本时由搜索引擎自动运行模型并填充向量列的功能，无需手动生成向量。
虚拟机
一种模拟计算机系统的软件实现，可执行自定义指令集，常用于解释器设计与游戏脚本执行。
行为级验证
通过行为学证据而非表面文本质量来评估 LLM 解释的正确性，是让 AI 解释从叙事走向证据的验证方法。
设备端模型 (On-device Model)
在本地设备上运行的小型专用 AI 模型，响应时间为毫秒级且运行成本为零，不受 token 成本或推理速度限制，Desert Ant Labs 专注于构建此类模型。
误报率
在检测工具中，将正常代码或行为错误标记为问题的比例。误报率过高会导致用户关闭工具，因此在 AI 代码审查工具中应与召回率同等重要。
调用图
程序中函数或方法之间调用关系的图结构表示，用于分析代码执行路径与数据流。
转子帆 (Rotor Sail)
利用马格努斯效应产生推进力的船舶风力辅助装置，用于减少燃料消耗。
软件设计文档（Software Design Document）
一种在实现前阐明所解决难题、记录重要设计决策并协调团队成员与合作伙伴团队反馈的文档，可节省大量开发时间。
选择性风险控制（Selective Risk Control）
一种在高风险场景下让模型在不确定时选择弃答而非给出可能错误答案的机制，用于提升系统可靠性。
零点击蠕虫 (Zero-Click Worm)
一种无需用户交互即可自动传播的恶意软件，例如通过微信通话在iOS和Android设备间扩散的WeWorm。
非自回归决策模型（Non-Autoregressive Decision Models）
一种不按顺序逐步生成输出的决策模型，作者一年前使用强化学习构建，后被前沿实验室称为"突破"。
算法 47
Autoregressive Decoding
大多数 LLM 服务系统使用的基线解码方式，模型一次生成一个 token。
BLAS (Basic Linear Algebra Subprograms)
基础线性代数子程序，是一组用于执行向量和矩阵运算的低级例程标准，常被 NumPy 等库调用以加速计算。
BLOOM-WILT
一种 Logit 倾斜行为探测方法，通过主动倾斜 logit 分布引导模型暴露部署环境中罕见的危险行为，解决传统红队测试覆盖不足的问题。
BPE（Byte Pair Encoding）
一种主流的分词算法，通过迭代合并频率最高的字节对来构建词表。广泛应用于大语言模型的 tokenizer 中。
Base84
一种编码方案，论证 84 是文件名安全字符集下的最优编码基数，比 Base64 多约 31% 信息密度。
Chain-of-Self-Questioning（CoSQ）
一种让模型在回答前自我追问若干子问题、通过子问题置信度分布判断是否应该弃答的方法。将元认知外化为可审计的推理链，适用于选择性风险控制场景。
ConvMem
卷积式记忆结构，用于缓解固定上下文窗口的瓶颈，把长上下文推理从塞进窗口改为可卷积检索的记忆层。
DPO
Direct Preference Optimization，一种比 RLHF 更轻量的偏好对齐方法，但仍需梯度计算。
DPO（Direct Preference Optimization）
一种直接偏好优化方法，用于大语言模型的偏好对齐。相比 RLHF，DPO 更轻量，但仍需要梯度计算。
F1
F1 分数，精确率与召回率的调和平均数，常用于综合衡量分类模型的性能，但会将误报与漏报等同对待。
G1 Garbage Collector
Java 27 中成为默认垃圾收集器的 G1 GC。
GPU lattice siever
一种利用 GPU 加速的格筛法实现，用于大整数分解中的筛法步骤，可显著提升分解效率。
GPU-CFR
一种算法-硬件协同的通用模板，结合 GPU 加速和反事实 regret 最小化，用于高效计算。
Hashcash
一种提议的工作量证明方案，最初用于减少电子邮件垃圾邮件，通过要求发送方付出计算成本来限制滥用。
LRU
最近最少使用淘汰策略，在 agentic 场景的 KV-cache 淘汰策略横向对比中表现为强基线，其命中率并未被新论文策略显著超越。
LRU (Least Recently Used)
一种缓存淘汰策略，优先移除最近最少使用的数据；在KV缓存场景中常被用作基线策略。
Oilpan
Chromium 团队为管理 C++ 对象图而采用的垃圾收集器，用于处理 DOM 周围与 JavaScript 对象紧密交织的 C++ 对象。
Proof-of-Work
一种要求请求方完成一定计算量才能获得服务的机制，源自 Hashcash，用于抵御垃圾邮件和自动化爬取。
RL
强化学习（Reinforcement Learning），一种通过奖励信号训练模型决策的机器学习范式。
RLHF
Reinforcement Learning from Human Feedback，基于人类反馈的强化学习，用于对齐大模型行为。
RLHF（Reinforcement Learning from Human Feedback）
基于人类反馈的强化学习方法，用于对齐大语言模型的行为与人类偏好。通常需要训练奖励模型并通过强化学习优化策略。
RSA
一种公钥加密算法，其安全性依赖于分解大合数（半素数）的难度。
SAE
稀疏自编码器（Sparse Autoencoder），Anthropic 用于可解释性研究的模型内部表征分解方法。
Semigroup-JEPA
在 JEPA 世界模型上引入半群结构约束的方法，让隐空间动力学满足时间组合律，从而在未见物理配置上实现零样本泛化。
Speculative Decoding
一种大语言模型推理优化技术，允许在单次目标模型前向传播中验证多个草拟的 token，从而提升输出吞吐量。
TALA
Terrastruct's AutoLayout Algorithm，一种专为软件架构图设计的新型自动布局算法，主要采用正交布局引擎。
TANGO
一种全身视觉-语言-动作（VLA）模型，用于人形机器人在杂乱室内环境中的导航，直接输出控制指令而跳过 2D 路径规划中间层。
UnigramLM
一种基于一元语言模型的分词算法，通过概率模型选择最优分词方案。与 BPE 并列为大语言模型 tokenizer 的主流算法之一。
Vending-Bench
一种用于模拟 AI 系统在现实世界中自主获取资源行为的仿真基准，但被认为无法完整反映模型在真实世界中的表现。
Voronoi Noise
一种基于 Voronoi 图（维诺图）的噪声生成算法，通过计算空间中各点与最近特征点的距离来生成具有几何感和有机感的纹理图案，常用于着色器（shader）中作为背景或程序化纹理。
ZipCodec
超低帧率流式语音编解码方案，将神经音频编解码的压缩维度从比特率转向帧率，以降低流式对话系统的延迟与算力开销。
gearhash
一种滚动哈希（rolling hash）算法，常用于内容定义分块（content-defined chunking），通过滑动窗口计算数据块的哈希值以确定分块边界。
三体问题（three-body problem）
经典力学问题，指三个质量体在引力作用下的运动没有通解，但存在数千个周期轨道，即三个质量体相互绕行一个周期后精确回到初始位置和速度。
关键 Token 自适应检索
在仓库级代码生成中识别 API 签名、类型声明等关键 token 并分配更高检索权重的方法，仓库规模越大收益越明显。
判别式世界模型
用于 Web Agent 的模型，显式预测并排序 Web 状态而非生成候选动作，比生成式模拟更省算力，更适合测试时搜索。
反事实遗憾最小化（CFR）
一种用于博弈论求解的数值算法，长期表现为 CPU 比 GPU 更快，原因是每轮迭代的博弈树遍历分支多、内核启动频繁、访存不规则。
域随机化
在仿真训练中随机化环境参数以提升模型泛化能力的技术，用于缩小仿真与真实世界之间的差距。
尺寸-权重前沿方法
针对合成数据在统计推断中引入偏差的问题，提出在真实数据稀缺场景下平衡偏差与方差的系统性方案。
扩散模型 (Diffusion Model)
一类生成模型，通过逐步去噪过程从随机噪声中生成图像、音频等数据。
污点分析
一种程序分析技术，追踪不可信输入在程序中的传播路径，以判断其是否到达敏感操作，常用于安全漏洞检测。
滑动窗口注意力 (Sliding-Window Attention, SWA)
一种注意力机制，每个token只关注其邻近窗口内的token，从而降低计算复杂度并支持长序列处理。
磁性特征鉴定法
一种通过读取陶器的磁性签名来判断其是否为古代文物的方法，由加州大学圣地亚哥分校斯克里普斯海洋研究所团队开发。
算子融合
将多个计算算子合并为一个以减少内存访问和计算开销的推理优化技术。
自适应探索
一种让模型在训练或推理过程中动态调整探索策略的机制，本文中用于说明大语言模型借此发展出新的社会偏见。
轨迹感知的 SWE Agent 评估
将评估信号分解到探索轨迹上，定位失败发生在检索、规划还是补丁生成环节，而非仅关注 pass@k 指标。
逆运动学 (Inverse Kinematics)
在动画或机器人学中，根据末端执行器（如脚部）的目标位置反推关节角度的方法，常用于实现脚部锁定以避免滑动。
零阶优化
一种无需计算梯度的优化方法，绕开反向传播对显存和计算图的依赖，可用于偏好对齐等任务。