2026年08月05日
最后更新：2026-08-05 08:06:51 UTC+8
我在 2016 年用 C 编写了 lib Correct，并想用 Rust 重新审视它。我没有直接进行直接转换，而是深入研究了如何让 Rust 的 std::simd 为我工作。我最终得到了一个用于卷积码的模板化通用维特比解码器，它根据可用的指令集在运行时调度解码。对于小额价格和订单，整个解码过程都在...
文章网址：https://blog.hartwork.org/posts/libexpat-city-of-munich-open-source-sabbatical/ 评论网址：https://news.ycombinator.com/item?id=49176606 积分：43 # 评论: 2
文章网址：https://808bits.com/articles/fips-140-3-not-a-security-guarantee/ 评论网址：https://news.ycombinator.com/item?id=49176634 积分：8 # 评论: 0
文章网址：https://unit42.paloaltonetworks.com/passwordless-authentication-security-risks/ 评论网址：https://news.ycombinator.com/item?id=49176644 积分：7 # 评论: 3
文章网址：https://mysk.blog/2026/08/04/webkit-proxy-icloud-private-relay-ip-leak/ 评论网址：https://news.ycombinator.com/item?id=49176697 积分：4 # 评论: 0
arXiv:2607.28657v1 公告类型：新 摘要：大型语言模型 (LLM) 通常需要精心设计的提示才能释放其全部潜力，这对于非专家用户来说可能是一个障碍。这项工作通过引入任务感知提示重写器（TAPR）来解决这一挑战，该模型将用户提示重新表述为任务优化的提示，其明确目标是改进下游 LLM p...
arXiv:2607.28642v1 公告类型：新 摘要：长思路推理提高了复杂问题的性能，但也引入了冗余积累、上下文溢出和错误锚定。我们认为，在有界上下文窗口下，核心瓶颈不是轨迹压缩或测试时间控制，而是缺乏可以取代dis的可重用中间接口。
arXiv:2607.28632v1 公告类型：新 摘要：重大数学猜想仍然严重依赖专家直觉，因此仍然没有一种统一的方法来系统地生成和验证具有巨大数学潜力的猜想。我们提出了一个用于重大猜想发现的三阶段管道，包括从明确的本地证据模块进行区域搜索、反射值......
arXiv:2607.28631v1 公告类型：新 摘要：能够自主研究的人工智能科学家系统有可能显着加速科学发现。然而，评估和比较人工智能生成的论文的质量仍然是一个开放的挑战。我们使用利用前沿大语言的自动同行评审系统提出并实施严格的基准测试协议......
arXiv:2607.28629v1 公告类型：新 摘要：从反应式大语言模型（LLM）到持久的、可操作的系统的快速转变暴露了代理人工智能架构理解中的关键差距，特别是在分离自主人工智能代理的推理、编排和执行层方面。尽管最近取得了进展，但用于设计和评估的统一框架......
我见过很多人的审稿人在初次审稿后就沉默了，但我也注意到异常安静的作者。我最终撤回了我的论文，但仍然是一名积极的审稿人。在我的一批 4 篇论文中，一篇撤回，一篇发表反驳，还有两篇完全沉默。在两篇无线电静默的论文中，我认为其中一篇的分数处于临界点。我也是唯一一个评论者...
正如标题所示，因为 Papercopilot 还没有数据，而且人们一直在谈论分数总体低于去年，我认为调查反驳阶段后的平均分数分布可能会很有趣（不考虑置信权重）。非常粗略和简单的民意调查（我也意识到其中存在自我选择偏差）。在这里投票：http...
经过一段非常沉默的讨论后，我们对 NeurIPS 处于一种非常困惑的状态，并且真的不确定如何看待这一切。我们不希望撤回提交的内容，因为我们不知道审稿人和 AC 对该论文的看法，在经过一系列充满希望的初步审阅后放弃了对话。截至目前，ICLR 摘要提交截止日期是在 NeurIPS 审查之前...
在使用法学硕士协助审阅，并且收到似乎严重依赖法学硕士生成的文本的审阅后，我注意到两个反复出现的问题。 1. 无休止地寻找不受控制的变量 法学硕士非常擅长识别未明确控制的其他变量。问题是这些变量中的许多几乎没有现实的机会改变论文’......
Cloudflare 发布 Wallets，并开放 cloudflare.pay 账户标识认领。完整支付功能将随后上线，计划支持稳定币收付，以及供 AI Agent 使用的虚拟钱包；账户所有者可设置额度、允许名单和单笔交易上限。现在开放的是账户标识认领Cloudflare Wallets 面向需要在网络上自动购买服务的 AI Agent。8 月 4 日开放的第一项能力，是让 Cloudflare 账户在 cloudflare.pay 认领一个唯一的 Wallet handle，也就是容易记忆的账户标识。完整的钱包充值、付款和收款功能将随后提供。这一区别很重要。用户现在可以前往 cloudfla...
Cloudflare 发布 @cloudflare/computer 早期预览版，为 AI 智能体提供可持续保存文件的工作区，并把轻量 Worker 隔离环境与完整 Linux 容器放在同一套运行接口下。项目采用 MIT 许可证，当前只适合实验和原型开发。它不是一台远程桌面云电脑@cloudflare/computer 是给开发者使用的开源智能体运行时。它把文件系统、命令执行和 Git 操作整理成一套工作区接口，让 AI 智能体可以读取代码、改写文件、运行测试，再继续处理下一步任务。这里的“computer”不是带桌面窗口的消费级云电脑。它更接近一间给智能体使用的持久工作室：文件留在工作区中，...
OpenAI 已取消创建新账号和使用 ChatGPT 时的手机验证要求。这项变化不适用于所有场景：开发者在 API 平台首次生成密钥时仍需验证手机号，账户安全触发的登录验证和用户自行开启的 MFA 也没有被取消。注册和使用 ChatGPT 不再强制验证手机号新用户创建 OpenAI 账号时，不再需要先提交手机号并输入短信验证码。只使用 ChatGPT 聊天、保存对话或管理账号的普通用户，不会因为这项基础手机验证要求而被卡在注册流程中。已有账号的用户仍应按原来的方式登录。例如，通过 Google、Microsoft、Apple 或企业 SSO 注册的账号，需继续使用对应的登录入口。取消手机验证并...
阿里于 8 月 3 日正式上线 Qwen3.8-Max。新模型采用 2.4 万亿参数的混合专家架构，支持图像与文本输入、100 万 Token 上下文、混合思考、函数调用、内置工具和结构化输出。普通用户可用图像与长文档提问，开发者可通过 QwenCloud API 接入模型。Qwen3.8-Max 从预览转为正式模型QwenCloud 在 8 月 3 日的模型更新中加入 qwen3.8-max。这个正式模型 ID 可用于 API 请求，与 7 月先行开放的 qwen3.8-max-preview 区分开来。模型规模为 2.4 万亿参数，采用 MoE（Mixture of Experts，混合专...
giffgaff 停号后，只有英国网络 O2 与 Lebara 能通过 PAC 接收原号码；新西兰 Skinny 和美国 Ultra Mobile PayGo 不能接收英国号码，只能另办新号。四种方案的维护周期分别是 O2 六个月、Lebara 90 天、Skinny 12 个月和 Ultra 每 30 天扣费。选择前还要检查本地激活、漫游、付款和设备条件，不能只比较保号成本。先确认是限制服务还是正式停号“封号”不是一个准确的运营商状态。账户显示 disabled 时，可能是付款异常、安全检查或使用情况审查造成的服务限制。此时应先登录账户查看套餐和余额是否显示为 Not available，再...
OpenAI公开一份249页研究文档，整理内部模型Astra参与获得的十项数学与理论计算机科学成果，覆盖高维球堆积、群论、量子复杂性、格问题和图论；同时发布一份解释这些思路如何形成的推理笔记。OpenAI这次公开的是什么这次公开内容的主体不是模型规格表，而是一份249页的研究文档。文档把成果分成十个章节，主题从高维几何、编码理论一路延伸到群论、量子复杂性和极值图论。文档摘要将这些结果归因于一个内部OpenAI模型，这个模型称为Astra。对普通读者来说，可以先把它理解为一组由模型参与探索、再整理成数学论文的研究结果。它讨论的不是常见的问答题或考试题，而是数学家和理论计算机科学家长期研究的开放问...
MiniMax H3 于 7 月 31 日发布并开放 API，可统一接收文字、图片、视频与音频参考，输出 4 至 15 秒的 2K 双声道音视频。2K 视频按 0.80 元/秒计费，开发者可通过同一个 V2 接口完成文生视频、首尾帧控制和多模态参考生成。一个模型接收四种素材MiniMax H3 是面向视频创作的多模态生成模型。它把文字提示词、图片、视频和音频放进同一个上下文中处理，最终输出带原生双声道声音的视频。当前 API 输出分辨率为 2K，时长可以选择 4 至 15 秒的整数值。这套输入方式解决的是“参考关系”问题。用户可以用一张图片指定人物或画面，用一段视频提供动作、镜头或剪辑节奏，再...
字节跳动正式发布视频创作模型 Seedance 2.5。新模型单次可生成 30 秒视频，支持多轮延长、图片视频音频混合参考和时间戳定向编辑，正在陆续上线即梦 AI 网页端与豆包专业版。单次生成时长提升到 30 秒Seedance 2.5 延续统一的音视频联合生成架构，一次生成画面与声音。单次视频长度从 Seedance 2.0 的 15 秒提升到 30 秒，创作者可以在一个结果中安排更多镜头和更完整的情节，不必先把内容拆成多个短片段。模型还支持在已有结果上继续延长视频。延长不是简单重复最后一帧，而是接着原有主体、场景和叙事节奏生成后续镜头。对剧情短片、广告分镜和教学演示来说，这种方式可以减少手...
DeepSeek-V4-Flash 正式版 API 于 7 月 31 日上线公测，版本更新为 DeepSeek-V4-Flash-0731。模型结构和尺寸保持不变，主要变化来自重新后训练，并新增原生 Responses API 与 Codex 接入能力；本次更新只作用于 Flash API。这次更新只更换 Flash API 模型版本调用 deepseek-v4-flash 的开发者现在使用的是 DeepSeek-V4-Flash-0731。它仍是 2840 亿总参数、单次激活 130 亿参数的混合专家模型，支持 100 万 Token 上下文。Token 是模型处理文本时使用的计量单位，10...
giffgaff 在华号码停用后，先保护仍依赖旧号码的银行、邮箱和社交账号，再在停用日起 30 天内通过客服申请 PAC。拿到 PAC 后交给新的英国运营商完成携号转网，同时关闭自动续费，并在同一期限内处理账户余额，避免号码被回收。先迁移仍依赖旧号码的账号把验证码迁移放在第一位。先检查邮箱、密码管理器、银行、支付工具、社交平台、云服务和开发者账号，找出仍把 giffgaff 号码用于登录、短信双重验证或找回密码的服务。如果某个账号仍保持登录，不要主动退出。进入安全设置，把短信验证换到能够长期控制的新号码；支持验证器应用、通行密钥或硬件安全密钥的服务，可以同时增加一种不依赖手机号码的验证方式。下...