Agili 的 Hacker Podcast

Agili 的 Hacker Podcast 2026-02-19


Listen Later

今日精选涵盖 AI 模型发布、硬件策略博弈、经典设备复活,以及编程语言设计等多个话题。

Anthropic 禁止订阅账户用于第三方工具
政策变更

Anthropic 修订法律文档,明确禁止将订阅方案(免费版、Pro 版、Max 版)的身份验证凭据用于第三方工具。Claude Code 的 OAuth 验证仅限原生工具和 Claude.ai 网页端使用,开发者构建第三方服务必须通过 API 密钥。

订阅经济学争议

社区指出 Claude Pro 实际上是"健身房模式"——轻度用户补贴重度用户。第三方客户端可能缺乏系统提示词缓存优化,导致推理成本飙升。Anthropic 此举被认为是防止第三方工具"薅羊毛"。

部分开发者担忧这种封闭生态趋势。有观点认为模型正在商品化,过度限制灵活性会加速用户转向 DeepSeek 或 OpenAI。在巴西等地区,这种服务与软件的强制绑定可能涉及非法搭售,但反对方认为用户购买的是"产品"而非"原始 API 访问权"。

27 年前的 Apple iBook 仍能连接 Wi-Fi
证书过期的隐形障碍

重装旧款 Mac 系统困难重重。2011 年左右的设备因内置根证书(Root Certificates)通常只有 10 年有效期,过期后无法通过 HTTPS 连接苹果服务器。用户需要先通过其他设备下载镜像,手动更新密钥链才能恢复联网。

证书设置有效期是为了实现吊销列表的"垃圾回收"。但反对者认为 PKI 体系对被厂家放弃的"孤儿"设备极不友好,建议将 TLS 信任机制与 DNS 挂钩。

现代网络的兼容挑战

旧款 Mac 的固件无法识别 WPA3 路由器,现代路由器的"频段导航"也常导致仅支持 2.4GHz 的老机器无法发现网络。解决办法是手动降级安全协议或设置独立的 2.4GHz 网络。

社区推荐 MIST 和 OpenCore 等开源项目来对抗厂商的"计划性报废"。

15 年 FP64 市场分割,Blackwell Ultra 打破格局
人为制造的性能鸿沟

RTX 5090 的 FP32 算力达 104.8 TFLOPS,但 FP64 仅 1.64 TFLOPS,64:1 的差距并非技术瓶颈。从 2010 年 Fermi 架构开始,NVIDIA 消费级显卡的 FP64/FP32 比例从 1:8 逐步退化至 1:64。十五年间 FP32 性能提升 77 倍,FP64 仅提升约 9 倍。

早期这种"阉割"甚至通过驱动程序实现:GF100 核心硬件支持 1:2 比例,但在 GeForce 产品线被限制为 1:8。

AI 浪潮瓦解旧逻辑

现代 AI 训练不依赖 FP64,更青睐 FP16、BF16 甚至 FP8。科研人员开始用消费级显卡搭建算力集群,迫使 NVIDIA 在 2017 年更新 EULA 禁止在数据中心使用 GeForce 显卡。

Blackwell Ultra(B300)打破传统,原生 FP64 性能从 B200 的 37 TFLOPS 骤降至 1.2 TFLOPS。有人认为是为节省芯片面积,也有人指出与美国出口管制政策有关——APP 超过阈值的芯片会受到更严格禁运。

Step 3.5 Flash:开源推理模型
架构设计

阶跃星辰发布的 Step 3.5 Flash 采用稀疏专家混合架构(MoE),总参数量 196B,每个 token 仅激活 11B 参数。三路多标记预测(MTP-3)在典型场景下可实现 100-300 tok/s 吞吐量,峰值达 350 tok/s。

本地部署表现

社区评价这是 200B 级别中首个在本地环境表现出色的模型,推理速度在上下文增加时衰减极慢。但存在"推理过度"倾向,有时为简单问题生成冗长推理链。目前在 llama.cpp 中存在"推理死循环"漏洞,官方已确认将修复。

Google 发布 Gemini 3.1 Pro
推理能力跃升

Gemini 3.1 Pro 在 ARC-AGI-2 中获得 77.1% 分数,相较 3.0 Pro 的 31.1% 翻倍增长。社区对此持怀疑态度,认为跨越式提升可能源于过度针对基准测试优化或数据泄露。

实际应用

模型能直接根据文本生成可运行的动画 SVG 或构建复杂 3D 互动体验。有用户反映 token 输出上限似乎比 2.5 版本更小,在重构长篇论文时容易过度截断。处理包含 XML 标签的复杂提示词时,比 Claude 更容易出现异常。

Minecraft Java 版从 OpenGL 迁移至 Vulkan
迁移动机

这一变更属于"Vibrant Visuals"更新计划,旨在解决游戏长期以来在主线程上的 CPU 瓶颈。目前在 Linux 上通过 Zink 翻译层运行 Minecraft 已能获得更好性能。

模组社区挑战

Mojang 警告从 OpenGL 迁移到 Vulkan 对模组作者意味着比往常更大的工作量。仅使用 JSON 模型或调用 Blaze3D API 的模组受影响较小,但 Sodium、Iris 等深度优化渲染的模组需要大规模重写。

macOS 端将采用 MoltenVK 翻译层。旧款集成显卡或过时驱动可能仅支持 Vulkan 1.0/1.2,若游戏要求更现代规范,部分设备将被淘汰。

Hindley-Milner 与双向类型检查的选择
核心问题是泛型

HM 与 Bidirectional 的对比往往是假象,真正的核心问题是语言是否需要泛型。泛型通常需要支持 Unification(合一)。双向类型系统是 HM 的超集,通过 infer 和 check 两个函数协作。

实践建议
  • 通用编程语言:带合一机制的双向系统是最佳平衡点
  • DSL 或学习项目:可舍弃合一,采用要求手动标注的双向系统
  • 追求极致性能:过度推导可能导致编译速度变慢
  • 一旦语言涉及子类型,HM 往往捉襟见肘。处理标称子类型时,双向系统通常是更好选择。

    用 9999 个连字显示 13 世纪修士数字
    技术实现

    开发者 Bobbie Chen 创建了一款字体,利用 OpenType 连字显示西多会修士数字。这种数字系统可用单一字形表示 0-9999 之间的任何整数。

    使用连字的好处是它们只是对底层字符的视觉增强,用户可以搜索数字、复制粘贴,无需 JavaScript。实现方式是通过数千行 sub one zero zero zero by cistercian_1000 指令进行贪婪匹配。

    社区建议可使用 ZWJ 配合组合字符将上万个字形缩减为 37 个码位。关于这些数字为何未被 Unicode 收录,原因是负责数字化的研究机构并未正式提出申请。

    Pebble 生产二月进度
    硬件进展

    Pebble Time 2 已进入 PVT 阶段,成功认证 3ATM 防水。受春节影响,计划 3 月 9 日开启量产,首批产品预计 4 月送达,所有预订单 6 月前完成交付。

    Index 01 智能戒指同样处于 PVT 阶段,防水等级 IPX8。Pebble Round 2 处于 DVT1 阶段,预计 5 月底开始生产。

    软件更新

    由于 Yahoo 和 OpenWeather API 失效,Pebble 移动端现自动转接至 Open-Meteo,让旧款表盘天气功能"复活"。Android 端找回关键 Package ID,海量旧版插件无需更新即可重新运行。

    相关链接:

    • Anthropic officially bans using subscription auth for third party use
    • 27-year-old Apple iBooks can connect to Wi-Fi and download official updates
    • 15 years of FP64 segmentation, and why the Blackwell Ultra breaks the pattern
    • Step 3.5 Flash – Open-source foundation model, supports deep reasoning at speed
    • Gemini 3.1 Pro
    • How to choose between Hindley-Milner and bidirectional typing
    • Gemini 3.1 Pro
    • Minecraft Java is switching from OpenGL to Vulkan
    • Making a font with ligatures to display thirteenth-century monk numerals
    • Pebble Production: February Update
    ...more
    View all episodesView all episodes
    Download on the App Store

    Agili 的 Hacker PodcastBy Agili 的 Hacker Podcast