玛丽娜·维亚佐夫斯卡（来自洛桑联邦理工学院）证明了E8晶格在八维空间中提供了相同球体的最密集堆积方式，同时也解决了傅里叶分析中的某些问题。这段视频于2022年7月5日在国际数学家大会开幕式上展示，由国际数学联盟组织，地点在赫尔辛基。 了解维亚佐夫斯卡的工作详情： 《在匮乏、战争与和平时期，一位乌克兰人在数学中发现了魔力》，《量子》杂志 《高维空间中的球体堆积问题得到解决》，《量子》杂志 《从神奇的数学函数中，找到一个统一的解决方案》，《量子》杂志 2022年菲尔兹奖得主： 雨果·杜米尼尔-科平 June Huh 詹姆斯·梅纳德 玛丽娜·维亚佐夫斯卡
每日HackerNews RSS
对不起。
这是一个高度交互的网络应用程序，需要JavaScript。简单的HTML界面是可能的，但这并非如此。Post Ed Zitron edzitron.com 做了：plc:qc6xzgctorfsm35w6i3vdebx 似乎Anthropic已经将其20美元/月专业订阅中的Claude Code功能移除，基于其定价页面。有谁能确认拥有20美元计划的人吗？ claude.com/pricing 2026-04-21T21:55:23.549Z
## Anthropic 调整 Claude Code 访问权限
Anthropic 似乎正在从 20 美元的 Pro 计划中移除 Claude Code 的访问权限，将其独占地转移到 Max 计划（100 美元以上）。虽然这一变化尚未得到官方公告确认，但已反映在更新后的定价页面和支持文章中，引发了开发者们的担忧和沮丧。
用户报告称，他们对 Anthropic 的体验起初充满热情，但随后模型性能下降（尤其是在 4.6 版本中），沟通出现问题，现在又面临访问限制。一些人正在转向 OpenAI 的 Codex、GLM 和 Kimi 等替代方案，认为这些方案性价比更高，配额也更好。
核心问题似乎是容量限制，以及用户利用 Claude Code 构建自主代理可能造成的不可持续使用。虽然一些人推测这只是暂时的，但另一些人认为 Anthropic 正在优先考虑支付更高的企业客户。关于现有 Pro 订阅者是否会被保留旧权限，存在争议，一些人甚至威胁要取消订阅并要求退款。Anthropic 的聊天机器人目前与定价页面的变化相矛盾，加剧了混乱。
Brex是Capital One旗下公司，为企业提供一系列金融产品。这些包括商业支票账户（通过Column N.A.提供，FDIC保险），以及现金管理服务（Treasury & Vault，由Brex Treasury LLC提供，FINRA/SIPC）。重要的是，Treasury中的资金*不*受FDIC保险，而Vault资金*可能*在存入合作银行后受保险。 Brex还提供由多家非关联银行（Emigrant、Fifth Third、Airwallex、Sutton Bank）在Mastercard和Visa网络下发行的企业信用卡。支付服务由Brex Payments LLC处理，该公司是一家持牌汇款公司。 Brex提供分级定价，起价为每月0美元/用户，更多功能每月12美元/用户。投资Brex的证券涉及风险，不受FDIC担保。
## CrabTrap：利用LLM法官保障LLM代理安全 - 摘要
Brex开发了CrabTrap，一个开源HTTP代理，旨在增强生产环境中LLM驱动代理的安全性。其核心思想是使用另一个LLM作为“法官”来评估外发请求，在执行前进行评估，从而充当防止潜在有害行为（如数据泄露）的安全屏障。
关于CrabTrap的讨论集中在依赖概率性LLM进行安全保障的固有局限性上。人们担心提示注入攻击可能会针对法官本身，并且缺乏确定性保证。一些人认为非LLM的基于规则的系统会更可靠，而另一些人则建议采用混合方法——使用静态规则进行基本过滤，并使用LLM法官处理复杂场景——可以提供平衡。
这场辩论凸显了随着LLM代理变得越来越强大，对健全安全措施的需求，以及在这些系统中平衡功能与安全的挑战。许多评论员指出了替代方法，如eBPF监控和确定性访问控制列表（ACL）。Brex计划很快开源代码。
请启用 JavaScript 并禁用任何广告拦截器。
## SpaceX 以 600 亿美元收购 Cursor
SpaceX 已达成协议，将以 600 亿美元收购 AI 驱动的编码工具 Cursor，引发了 Hacker News 的讨论。一些人认为此举是一种奇怪的过度支出，可能与埃隆·马斯克收购 X（前身为 Twitter）的财务负担有关。
讨论的中心是 Cursor 在竞争激烈的 AI IDE 领域的实际价值和“护城河”，一些人质疑 SpaceX 是否可以内部构建类似的工具。另一些人则认为，收购是为了确保 xAI 的数据使用并提升 IPO 前的炒作。理论范围从转向大规模太空数据中心（“戴森球”）到仅仅是解决马斯克被认为的编码弱点。
许多评论员表示怀疑，将这笔交易与马斯克过去的冒险经历进行比较，并预测 Cursor 在收购后质量会下降。GitHub Copilot 和 JetBrains 等替代方案正在被讨论作为潜在的替代品。该交易对 AI 领域的影响以及对纳税人资金的使用也是争议点。
请启用 JavaScript 并禁用任何广告拦截器。
## backlit-kbd: Python 键盘背光控制
`backlit-kbd` 是一个易于上手的 Python 包，用于在 Linux 上控制键盘背光亮度。它通过 `sysfs` 自动检测兼容硬件，并提供安全的 `--mock` 后端，用于在不影响系统的情况下进行测试。
**主要特性：**
* **硬件控制：** 通过百分比或原始级别调整亮度。
* **闪烁：** 支持同步闪烁模式和异步通知式闪烁。
* **易于安装：** 通过 PyPI 安装 (`pip install backlit-kbd`)。
* **Python API：** 提供简单的 API，使用 `create_controller` 实现安全、模拟回退控制。
* **CLI 界面：** 提供命令行界面，用于快速调整和测试。
* **示例：** 包含用于通知闪烁、亮度波形和迪斯科灯的示例脚本。
**用法：** 使用 `--mock` 进行安全实验。对于真实的硬件控制，请确保具有向 `sysfs` 设备写入的适当权限。该软件包还包括全面的测试，并利用 GitHub Actions 和 PyPI Trusted Publishing 进行现代发布实践。
对不起。
GitHub Copilot 正在调整其个人计划（Pro、Pro+ 和学生版），以维持现有用户的服务质量。**新用户注册已暂停**，原因是“代理工作流”（复杂、长时间运行的编码任务）的需求增加，这些任务消耗的资源远超预期。
为此，**所有计划的使用限制将被收紧**，Pro+ 提供的限制是 Pro 的 5 倍以上。用户现在可以在 VS Code 和 Copilot CLI 中**直接查看其使用限制**。更强大的 Opus 模型现在仅供 Pro+ 订阅者使用，旧版本将被逐步淘汰。
这些更改是暂时的，GitHub 正在开发更可持续的解决方案。如果用户对这些调整不满意，可以在 5 月 20 日之前**取消订阅并获得退款**。Copilot 利用会话和每周基于 token 的限制，并考虑模型复杂度来管理资源消耗。目标是在 Copilot 的功能扩展时，平衡所有用户的可靠性和访问性。
## GitHub Copilot 价格变动引发用户反弹
GitHub Copilot 正在对其定价结构进行重大调整，从统一费用模式转变为对个人和企业计划都采用基于令牌的系统。这一转变引发了用户的一波挫败感，特别是那些担心成本增加和使用限制的专业版用户。
核心问题在于访问像 Opus 这样强大的模型。微软将 Opus 4.7 限制在更昂贵的专业版+ 级别，大大增加了之前通过专业版获得可负担访问权限的用户的成本。一些用户报告说，尽管他们是专业版+ 订阅者，但完全无法访问 Opus。
许多人批评缺乏透明度和在账单周期中期突然实施这些更改。人们也越来越担心严格的速率限制以及在时间窗口内管理令牌使用的焦虑。一些用户已经开始探索 Claude 和 OpenCode 等替代方案，质疑长期依赖第三方人工智能服务的可行性。
这些变化凸显了运行大型语言模型的潜在成本，并暗示了人工智能编码工具领域中更广泛的“劣质化”趋势。
启用 JavaScript 和 Cookie 以继续。
这段 JavaScript 代码创建了网页上由特定元素触发的交互式工具提示（或“气泡”）。它解析页面内容，查找文本节点中的 `[[term|heading|body]]` 标记，并将其替换为按钮。 当鼠标悬停或焦点位于按钮（工具提示触发器）上时，会显示一个气泡，其中显示与 `term` 关联的 `heading` 和 `body`。气泡的位置会动态计算，以适应视口，避免边缘。其他页面内容会被调暗，以突出显示气泡及其触发器。 该代码处理鼠标交互（悬停、点击）、键盘导航（焦点、Escape 键）和移动设备的触摸事件。它包含气泡打开和关闭的动画，并确保设置了正确的可访问性属性（ARIA）。当用户在气泡外部交互、移开鼠标或按下 Escape 键时，气泡会关闭。气泡也会在窗口大小调整或滚动事件时重新定位。
该系统提供了一种从语义描述生成图表的方法，而非手动放置元素。您使用节点（如服务和队列）和边（它们之间的连接），并赋予它们唯一的、稳定的ID来定义场景。 内置的布局引擎，灵感来自杉山算法，自动处理视觉排列——定位节点、连接边和放置标签——确保清晰的分层结构。这允许增量更新；图表的更改不需要完全重新生成。 该系统与渲染器无关，可以以多种格式（SVG、PNG）和不同主题生成一致的图表。重要的是，它是确定性的：相同的输入*始终*产生相同的输出，并且每个步骤（验证、标准化、布局、渲染）都可以进行检查，以便于调试和控制。
对不起。