U.S. to Dismantle System Tracking Atlantic Currents That Are at Risk of Collapse
特朗普政府正在拆除一个包含900多个仪器的海洋观测系统，该系统用于追踪大西洋关键洋流。科学家担忧AMOC洋流可能因气候变暖而接近崩溃临界点，失去这一监测数据将使科学家无法获取关键的海洋和海洋生物状态信息。
阅读全文 →2026-06-04 科技新闻
每日科技资讯精选
2026-06-04 周四
🗞 科技日报 2026-06-04
每日精选 Hacker News 前十热门科技资讯
Elixir v1.20: Now a gradually typed language
Elixir v1.20完成了集合论类型系统的首个里程碑，可在无需类型注解的情况下进行类型推断和渐进式类型检查。该系统能高效发现现有程序中的死代码和已验证Bug，采用独特的dynamic()类型，具备兼容性和窄化特性，极低的误报率使其极具实用价值。
阅读全文 →I built a vulnerable app and spent $1,500 seeing if LLMs could hack it
作者构建了一个故意存在漏洞的React Native应用来测试LLM能否发现安全漏洞。GPT-5.5以7/10的成功率领先，Deepseek V4 Pro得分3/10，Claude Sonnet 4.6和Opus 4.8各得2/10。五个其他模型完全失败。成功的模型在解压APK后迅速转向利用Firebase漏洞。
阅读全文 →Gemma 4 12B: A unified, encoder-free multimodal model
Google推出Gemma 4 12B，一个可在仅16GB内存的笔记本电脑上本地运行的中型多模态模型。其核心创新是编码器-free统一架构，视觉和音频输入直接流入LLM骨干网络，消除了独立编码器以降低延迟和内存使用。以Apache 2.0许可发布，下载量已超1.5亿。
阅读全文 →The ways we contain Claude across products
Anthropic阐述了如何在三个产品中控制AI代理的爆炸半径。他们对比了人在回路监督（存在审批疲劳问题，用户约93%的请求都会批准）与 containment方法（使用沙箱、虚拟机和出口控制）。应对三类风险：用户滥用、模型不当行为和外部攻击者，分享了构建 containment架构过程中的真实安全教训。
阅读全文 →"They're made out of weights"
对Terry Bisson经典短篇《They're Made Out of Meat》的创意改编，以两个角色的对话形式探讨AI语言模型的本质。这些模型完全由浮点权重构成——没有语言模块、没有推理单元：仅仅是八十层数字做矩阵乘法来预测下一个token。文章以黑色讽刺结尾：下一代模型将配备持久记忆。
阅读全文 →I was recently diagnosed with anti-NMDA receptor encephalitis
Andrew Gallant被诊断为抗NMDA受体脑炎，一种自身免疫性脑炎症。症状从流感样问题进展到严重焦虑、精神病和幻觉。最初被误诊为焦虑症并送入精神病医院，后转入神经科。IVIG和类固醇治疗迅速改善病情，目前参加satralizumab临床试验，预后良好，恢复超出预期。
阅读全文 →Artificial intelligence is not conscious – Ted Chiang
Ted Chiang认为AI不具备意识，批评Anthropic对其LLM Claude的拟人化倾向。他指出Anthropic的84页「Claude宪法」将AI视为拥有价值观、判断力和可能情感的存在。CEO Dario Amodei表示对AI意识持开放态度。Chiang认为这种拟人化思维的逻辑结论是荒谬和令人不安的。
阅读全文 →Uber's $1,500/month AI limit is a useful signal for AI tool pricing
Simon Willison讨论Uber将员工AI编码工具支出上限设为每月1500美元的决定，此前Uber在四个月内耗尽了2026年AI预算。按两个工具计算，每年约36000美元，约占Uber软件工程师平均薪酬（33万美元）的11%，这为AI工具的实际价值提供了有形的美元参考。
阅读全文 →DaVinci Resolve 21
DaVinci Resolve 21引入全新Photo页面，将好莱坞级调色工具带入静态摄影。AI工具包括智能搜索IntelliSearch、AI语音生成器、CineFocus景深调整、面部年龄转换和UltraSharpen。调色页新增MultiMaster修剪和图层节点图，Fusion增加70+ Krokidove工具，Fairlight简化音频轨道管理。
阅读全文 →