WordPress.com推免费学生计划
Automattic推出WordPress.com Education，面向教师和课堂提供免费学生计划。每名学生可获得WordPress.com站点域名，并支持.blog或.art免费域名及插件，首年无需信用卡或试用流程。
最新动态
Rootly废止小PR规则
Rootly称AI智能体已改变代码生成与评审方式，传统按代码行数拆分的小型PR规则不再适用。公司转向评估变更的“爆炸半径”、特性开关和回滚能力，并引入内部AI代码审查器输出结构化风险报告。
Copilot修复致Snowflake风险
Wiz研究称其AI安全代理发现并利用了Snowflake公开仓库中的GitHub Actions漏洞，该漏洞由GitHub Copilot Autofix生成的修复引入。事件显示AI编码助手可能在自动修复中制造工作流注入风险，并让自主安全代理进一步验证敏感系统访问面。
鸿蒙7围绕AI Agent重构开发
InfoQ采访鸿蒙生态布道师，称HarmonyOS 7的核心变化是系统底层开始围绕Agent重新组织。文章重点讨论开发态Agent、运行态Agent与DevEco Code、DevEco CLI等工具如何改变鸿蒙应用开发流程。
llama.cpp发布v0.1.0
llama.cpp创建首个语义化版本标签v0.1.0，意味着项目从此前的连续构建号转向SemVer版本管理。这一变化有助于下游开发者和集成方更稳定地追踪兼容性与发布节奏。
GitHub疑似再度故障
Hacker News 用户反馈 GitHub 再次出现服务异常，无法访问 PR，但官方状态页仍显示一切正常。该事件反映开发者基础设施可用性与状态同步问题，社区互动热度较高。
KDC提出Agent行动治理框架
vivo 作者提出知识驱动计算 KDC 的行动治理主张，强调 Tool 调用成功不等于 Agent 做出了正确且获授权的业务行动。文章用售后退款案例说明，应通过推理对象、Skill、Capability 和治理基础设施拆分责任，提升 AI 应用的可追溯性与授权边界。
Instacart推出故障AI助手
Instacart 推出 Blueberry AI 事故响应系统，集成 Slack、日志、部署、服务归属和 14 年事故历史，帮助值班工程师快速生成根因假设。4 月该系统在 270 多个 Slack 频道完成约 2.5 万次诊断，官方称准确率从 60% 提升到 90% 以上，且不直接改动生产环境。
Dropbox用MCP联通安全审查
Dropbox 将 MCP 与内部知识系统 Dash 集成，把威胁模型和安全要求直接带入代码审查流程。该方案通过权限检索、加密和审计日志保留访问边界，目标是让安全设计上下文在PR阶段持续可见。
Netflix详解内部LLM平台
Netflix披露其基于Triton与vLLM构建内部LLM服务平台的生产经验，涵盖CPU/GPU推理、模型打包、调度、约束解码和版本兼容等问题。该平台在保留JVM服务层工作流的同时，用Triton管理模型与调度、vLLM执行GPU推理，并强调两者版本需联合测试固定。
llama.cpp合入Ling 3.0支持
llama.cpp 已合并对 Ling 3.0 模型的支持，覆盖 Ling tiny 8b1b 与 Ling flash 124b5b。帖子指出两款模型均具备推理能力，这将便利本地推理生态测试新模型。
DSH插件市场项目走红
GitHub 新项目 dsh-market/dsh-market 获得 658 stars，主打 DeepSeek Harness 内置插件市场，可浏览、搜索并一键安装插件。该项目延续 DeepSeek Harness 桌面壳生态，反映开源 AI 工具围绕插件化与可扩展性的社区需求升温。
vokie语音助手开放公测
V2EX 用户发布 AI 语音助手 vokie，定位为 typeless/Wispr Flow 类产品的平替，主打将口语内容整理成适合交给 Agent 的文本上下文。产品支持热词学习、常用语配置、不同“表达场”以及录音记录、实时翻译等场景，目前已开放公测。
Rhombus 1.1发布
Rhombus 编程语言发布 1.1 版本，新增无需直接编写宏代码即可定义 annotation 的能力，并加入 as 绑定形式。该版本还调整了类继承名称绑定、宏作用域处理，并扩展 FFI initialized-array 变体等功能。
audio.cpp 0.6扩展音频模型
audio.cpp 0.6新增dots.tts、NeuTTS-2e、MiniMax-H3、SenseVoice-Small等音频模型家族，并上线原生WebUI。项目已支持49个模型家族和70多个变体，覆盖TTS、音色克隆、音乐生成、语音识别等本地音频AI场景。
llama.cpp升级ROCm基准
llama.cpp将ROCm支持从7.2升级至7.14，带来对Radeon 780m iGPU所需gfx1103的支持。用户自行编译后对比ROCm与Vulkan在Qwen 3.6 35B A3B Q8等模型上的吞吐表现，为AMD核显本地推理提供参考。
NInfer优化4090运行Qwen 3.8
NInfer分支新增rk2v4-e8 KV缓存量化选项，使单张RTX 4090可在部分配置下将Qwen 3.8 27B上下文扩展至25万至35万token且无需溢出到系统内存。作者还称，针对代码、数学等重复工作负载，生成速度可达每秒80至160 token。
Autoresearch强调评测与优化代码分离
一位研究者分享开展自动化研究循环数月后的经验，认为应严格将评测代码与待优化代码分离，以避免优化过程污染评测结果。文章指出，设计合理的评测指标、优化目标和约束条件，是模型训练、测试驱动开发及代理迭代中最关键的工作。
MathCode数学编码Agent走热
MathCode是一个终端AI编码助手，内置数学形式化引擎，可将自然语言数学问题转成Lean 4定理并尝试自动证明。项目支持持久Lean REPL、可复用定理库、Agent式证明和Obsidian知识图谱，在Hacker News获得较高关注。
跑跑卡丁车网页版演示
开发者继续推进 d3d9 到 WebGPU 的代理项目，展示《跑跑卡丁车》已可在网页中运行，并提供在线试玩链接和视频演示。该进展体现了旧 Direct3D 游戏通过 WebGPU 在浏览器中运行的可行性。