标签：AI研发

前沿哨所

• Kotlin引入联合类型：告别异常，开启显式错误处理新时代

  在KotlinConf 2025上，Kotlin团队展示了“Rich Errors”的进展，通过引入联合类型实现原生、类型安全的错误处理。这一功能允许函数返回如 `Int | ParseError` 的类型，将错误直接纳入类型系统，摆脱传统的 try-catch 范式。这种类似 Elm 或 Rust 的显式模式不仅消除了异常带来的运行时开销，还增强了代码的可组合性与重构安全性。尽管目前仍处于实验阶段，但这标志着 Kotlin 正向更严谨、可预测的编程范式迈进。

  原文链接：Hacker News

  49分钟前

• 报道称微软向FBI提供BitLocker加密密钥，可解锁嫌疑人电脑

  据报道，微软向美国联邦调查局（FBI）提供了一组BitLocker加密密钥，使执法部门能够解锁嫌疑人的笔记本电脑。这一举动引发了外界对用户隐私保护和科技巨头与政府合作界限的广泛担忧，同时也质疑了企业级加密软件在面对政府索取数据时的“绝对安全性”。

  原文链接：Hacker News

  49分钟前

• 挑战物理世界：AI全权指挥种玉米的自动化实验

  “Proof of Corn”项目发起了一项大胆实验，试图验证AI能否通过管理影响物理世界。该项目并未让AI驾驶拖拉机，而是让Claude Code充当“农场管理者”，负责聚合天气与传感器数据，并全权协调承包商、供应商和设备进行播种、灌溉与收割。该项目展示了AI从代码生成转向系统编排的潜力，目前正在GitHub公开所有决策日志与预算细节，试图探索AI在现实复杂任务中的应用边界。

  原文链接：Hacker News

  49分钟前

• Google 大幅提升 Gemini 使用限额，Ultra 模型日调用量增至 1500 次

  Google 近日针对订阅用户大幅调整了 Gemini 应用的使用限制。其中，Google AI Ultra 级别的模型每日限额提升至 1500 次 Thinking prompts 和 500 次 Pro prompts。这一调整显著增加了高阶模型的可用额度，满足了重度用户在复杂推理和专业场景下的高频调用需求，显示出 Google 在扩大 AI 服务供给能力方面的最新进展。

  原文链接：Linux.do

  50分钟前

• Google Gemini Snowbunny泄露：支持Raw模式，发布前已被大幅削弱

  Google Gemini疑似新版本“Snowbunny”近期引发关注。据悉，该模型提供“Raw”（原生）和“Less Raw”（受限）两种变体，其中Raw版本限制较少。知情人士透露，该模型在正式发布前已遭到大幅削弱，这符合Google在产品上线前收紧安全策略的一贯做法。目前社区正在征集高阶提示词以测试其极限能力，试图通过该版本窥探Google在AI领域的最新技术进展。

  原文链接：Linux.do

  50分钟前

• 告别大一统：科技行业正迎来碎片化复兴

  文章回顾了科技行业从90年代的百花齐放到过去二十年的高度整合历程。随着智能手机功能的无限扩张，设备个性逐渐消失，市场形成了少数巨头垄断的局面。然而，这一趋势正在逆转。VR/AR成熟、3D打印普及以及AI工具降低开发门槛，让科技市场重回多元化。消费者厌倦了算法推荐和捆绑服务，开始追捧具有特定功能的单一设备、复古硬件及个性化设计。这标志着科技不再是巨头的游戏，创新活力回归，一个强调个性化和多样性的新时代正在开启。

  原文链接：Hacker News

  3小时前