## Attyx:用Zig语言编写的确定性终端模拟器
Attyx是一个用Zig编程语言从头开始构建的终端模拟器,优先考虑正确性和清晰性。其核心是一个确定性的状态机——这意味着相同的输入*始终*产生相同的输出——这无需依赖传统的终端组件,如PTY或窗口系统来实现。
其架构清晰地分离了解析、状态管理和渲染。输入通过解析器处理,触发修改终端状态并更新网格显示的动作。Attyx支持广泛的VT功能,包括SGR颜色、超链接、鼠标报告和带括号的粘贴。
目前,Attyx具有GPU加速渲染(macOS上的Metal,Linux上的OpenGL)和一个功能性的PTY桥接,用于shell交互。配置通过TOML文件和CLI参数处理,并具有强大的测试套件,利用黄金快照比较。开发遵循基于里程碑的方法,许多核心功能已经实现并积极维护。Attyx的设计具有可扩展性,并正在为通过会话事件日志进行AI集成做准备。
## Anthropic 与五角大楼:摘要
Anthropic(一家专注于人工智能安全的的公司)与五角大楼之间就人工智能服务合同产生争议。最初,合同规定五角大楼必须遵守 Anthropic 的使用政策。然而,五角大楼寻求重新谈判,要求“不受限制的访问”用于“所有合法目的”,从而有效地取消了这些限制。
Anthropic 拒绝了这一要求,除非能保证其人工智能不会被用于对美国公民进行大规模监控或自主武器系统(“杀手机器人”)。五角大楼的回应包括威胁,例如取消合同、援引《国防生产法》,或——最具争议的是——将 Anthropic 指定为“供应链风险”,从而有效地扼杀其业务。后一种威胁,通常保留给外国对手,被视为前所未有的越权行为。
核心问题在于五角大楼对不受限制的人工智能访问的需求与 Anthropic 对负责任的人工智能开发和公民自由的承诺之间的冲突。人工智能社区的许多人,包括 OpenAI 和 Google 等竞争对手,都在支持 Anthropic,担心这会为政府控制和扼杀创新树立危险的先例。这种情况凸显了滥用权力的可能性以及在人工智能部署中伦理考量的重要性。