2026年06月20日
最后更新：2026-06-20 08:08:06 UTC+8
文章网址： https://brooker.co.za/blog/2020/08/06/erlang.html 评论网址： https://news.ycombinator.com/item?id=48602918 积分： 24 #评论： 11
文章网址： https://en.wikipedia.org/wiki/Zenzizenzizenzic 评论网址： https://news.ycombinator.com/item?id=48603664 积分： 46 #评论： 16
文章网址： https://www.nyu.edu/about/news-publications/news/2026/june/how-do-flocking-birds-and-schools-of-fish-move--new-research-off.html 评论网址： https://news.ycombinator.com/item?id=48604115 积分： 5 #评论： 0
文章网址： https://www.theguardian.com/science/2026/jun/19/spacex-retirement-savings-elon-musk 评论网址： https://news.ycombinator.com/item?id=48604186 积分： 62 #评论： 27
文章网址： https://www.lloydslist.com/LL1157571/Iran-imposes-mandatory-insurance-on-ships-transiting-Strait-of-Hormuz-with-fees-likely-to-follow 评论网址： https://news.ycombinator.com/item?id=48604584 积分： 8 #评论： 0
arXiv: 2606.19501v1公告类型：新 摘要：去中心化金融使主管面临快速移动、网络化的信用风险。 通用LLM专员很难适应这种情况：他们过度阅读薄弱的证据并推荐高风险的干预措施，而现有的评估则没有提供与监管机构一致的方法来衡量由此产生的虚假警报。 我们引入了DeXposure-Claw ，这是一种基于预测的……
arXiv: 2606.19494v1公告类型：新 摘要：多代理法学硕士评议，即代理在几轮中交换和修改答案，越来越多地用于提高推理和准确性，但很少有人对其工作方式和原因进行建模。 这种深思熟虑反映了人类如何做出决定。 作为社会动物，我们都受到群体的拉动，经典意见动力学模型的群体效应......
arXiv: 2606.19475v1公告类型：新 摘要：大型语言模型（ LLM ）通过自回归生成彻底改变了语言建模，在各种任务中实现了强大的性能。 最近，扩散语言模型（ DLM ）已经成为一种替代范式，它通过迭代去噪而不是下一个令牌预测来生成文本，从而允许并行细化...
arXiv: 2606.19469v1公告类型：新 摘要：本科计算机科学由大约每十年修订一次的国际课程指南管理，但课程缺乏可靠、可重复的方法来衡量它们在多大程度上完全覆盖了当前的指导方针，以及在重组指导方针时覆盖范围如何变化。 我们通过人工循环管道来解决这个问题，该管道测量...
arXiv: 2606.19464v1公告类型：新 摘要：由大型语言模型（ LLM ）驱动的自主代理人工智能系统引入了一类新的安全、隐私和合规性挑战：可以跨组织边界调用工具、操纵数据、安装软件并与对等代理协调的代理不仅必须受到身份验证和访问控制的限制，还必须受到...
几个月前，我得到了我的第一个维护项目。在此之前，我只从头开始构建新的解决方案，并维护自己的代码。但是维护别人的系统感觉完全不同。这是一个规范的推荐系统，使用XGBoost模型和微分进化进行优化。问题在于所有内容都在一个存储库中：原始数据摄取，转换...
大家好！我已经开发了一个研究优化器（ QQN Quadratic Quasi-Newton ） ，并在我能够的地方发表了一篇论文，但我真的很想将算法本身轻松提供给社区进行评估。我有一个Rust、Java和Javascript实现，但这些都是用我自己的学习框架构建的（最后一个是Tensorflow.js ） ，所以我需要将其移植到...
我正在思考这个问题，并决定深入研究torch.compile。了解运营商融合作为torch.compile背后的核心思想是非常有趣的。因此，我用500行蟒蛇创建了一个微型版本的torch.compile和一个显示其工作原理的笔记本： https://github.com/purohit10saurabh/tinytorchcompile如果您觉得这很有趣，请告诉我！由/u/Ot🙂提交...
我维护了cuTile Rust ，并刚刚发布了论文“Fearless Concurrency on the GPU.“随着越来越多的GPU代码由人工智能生成，瓶颈从编写代码转移到信任它。cuTile Rust允许您编写或生成GPU内核，其内存安全性和数据竞赛自由度由编译器通过Rust的所有权和借用检查进行验证。您可以通过施工获得这些保证。这是瓷砖基底……
Codex 的 Record & Replay 不是简单录屏回放，而是把一次本地工作流示范转成可复用 skill。它适合稳定、重复、偏个人偏好的 macOS 操作；当前可用性受地区、Computer Use 开关和组织策略限制。录一次操作，产物是 skillRecord & Replay 的核心产物不是视频，也不是按坐标重放的宏脚本，而是一份 Codex skill。用户先在 Mac 上示范一个已经知道怎么完成的流程。Codex 观察完成任务所需的操作和窗口内容，录制停止后再把这段流程整理成 skill：什么时候触发、需要哪些输入、按什么步骤执行、最后怎么验证结果。这和普通提示词的差别在于，s...
OpenAI Codex 的模型供应商边界变了：本地工作流可以指向支持 Responses 或 Chat Completions 的模型与供应商。真正需要看清的是限制条件：Chat Completions 兼容已进入弃用路径，云端任务暂时不能改默认模型。Codex 不再只绑定默认 OpenAI 路径Codex 现在把模型选择拆成两层：model 决定调用哪个模型，model_provider 决定请求发往哪个供应商。默认仍是 OpenAI，但本地配置里可以新增供应商，写入 base URL、认证环境变量、请求头，以及线缆协议。这对开发者的实际影响很直接。过去 Codex 更像一个围绕 Open...
Kimi K2.7 Code 已开放权重，定位长程编码智能体模型。它沿用 K2.6 架构，给出 1T 总参数、32B 激活参数、256K 上下文和 MoonViT 视觉编码器；性能数据仍缺少独立复现，需要开发者在真实仓库里长测。K2.7 Code 把更新焦点压到编码 Agent月之暗面这次不是只给 Kimi K2 系列补一个小版本号。Kimi K2.7 Code 的定位很窄：coding-focused agentic model，面向端到端软件工程任务，而不是通用聊天。模型建立在 Kimi K2.6 之上，架构仍是 MoE。当前公开规格是：1T 总参数、32B 激活参数、61 层、384 个...
Anthropic 暂停 Claude Fable 5 与 Mythos 5 访问，导火索是美国政府针对外国用户使用先进模型的限制指令。公开信息仍缺少完整官方原文，但核心信号已经清楚：AI 出口管制正在从芯片、算力和云服务，推进到模型访问本身。Fable 5 刚开放就被按下暂停键Claude Fable 5 的生命周期被拉得很短。它在本周刚作为 Anthropic 面向更广用户开放的 Mythos 级模型出现，随后又因为美国政府指令被暂停访问。受影响的不只是普通用户，限制口径还覆盖外国个人和实体，甚至包括身在美国境内的外国国民。Anthropic 选择统一下线，而不是只做地区或身份分流。这个动...
Kimi 智能助手在 2026 年 6 月 12 日宣布 Kimi 信用卡开放预约，官方称其为“AI 原生信用卡”。目前确定的信息是：消费积分可兑换 Kimi 算力额度、Agent 使用额度和高级功能权限；具体申领条件、审核标准、合作银行和兑换比例仍未公布。Kimi 把会员权益包装进信用卡6 月 12 日，Kimi 智能助手官方微信公众号发布《全球首张 AI 原生信用卡！开放预约！》，宣布 Kimi 信用卡开启预约。官方给出的定位不是传统联名卡，而是把 AI 服务放进信用卡权益体系：持卡人的消费积分可转化为 Kimi 算力额度，并用于兑换 Agent 使用额度、高级功能权限等。这句话里真正有信...
Google 在 6 月 9 日发布 Gemini 3.5 Live Translate，定位为实时语音到语音翻译音频模型。官方称其支持 70 多种语言、2000 多种语言组合，并开始接入 API、Google Translate 和 Meet。不是翻译按钮，而是连续语音流模型Google 把 Gemini 3.5 Live Translate 定义为“latest audio model”，不是 Google Translate 里的一个普通 UI 更新。它面向的是 speech-to-speech translation：输入连续语音流，输出另一种语言的语音，同时保留说话人的语调、节奏和音...
Anthropic 在 2026 年 6 月 9 日发布 Claude Fable 5，把此前只在 Project Glasswing 中受限开放的 Mythos 级能力推向通用用户。它的关键信息不是“更强”，而是 1M 上下文、128k 输出、每百万输入 10 美元、每百万输出 50 美元，以及高风险请求会回退到 Claude Opus 4.8。Fable 5 是通用版 MythosAnthropic 将 Claude Fable 5 定义为“面向通用用户安全开放的 Mythos-class 模型”。官方说明里，Mythos-class 位于 Opus class 之上；4 月先通过 Pro...
Google 在 6 月 8 日升级 NotebookLM：默认底座转向 Gemini 3.5 与 Antigravity，给每个 notebook 配置安全云端计算机，可运行代码、生成文件，并从聊天中补全来源库。现阶段面向 Google AI Ultra 和部分 Workspace 商业客户开放。NotebookLM 开始承担执行型研究任务Google 官方博客把这次更新定义为 NotebookLM 的“agentic capabilities”升级。具体变化有三项：聊天体验接入 Gemini 3.5 与 Antigravity；每个 notebook 配置安全云端计算机，可以写代码、运行代...
Google AI Plus 不是简单从9.99美元降到4.99美元，而是出现了更细的订阅分层：入门档价格下探，2TB 档位继续以9.99美元出现在 Google One 官网。入门 AI Plus 降到 4.99 美元6月8日，Google AI Plus 入门订阅将从美国区 7.99 美元/月降至 4.99 美元/月，包含储存空间从 200GB 提高到 400GB。价格下调会在用户下一次续费时生效，储存扩容则在未来几天内陆续推出。这个变化的信号不在“便宜了3美元”本身，而在 Google 开始把消费级 AI 订阅压到 5 美元附近。ChatGPT Plus、Claude Pro、Googl...
Kimi Code 这轮“焕新升级”的主线不是模型参数，而是开发者工具本身重写：新版 CLI 从 Python/uv 迁到 Node.js，配置格式、终端 UI、插件、子 Agent、目标队列和 ACP 接入都在 5 月末到 6 月初密集更新。新版 CLI 从 Python/uv 切到 Node.jsKimi Code 官方迁移文档把这次升级定义为“重大版本升级”：CLI 底层从 Python/uv 迁移到 Node.js，旧版将逐渐停止维护。官方给出的直接收益是安装链路更简单、启动更快、终端界面重新设计。这不是简单改安装脚本。新版数据目录、配置文件和会话结构与旧版不同。官方文档说明，第一次运...