开源评测】openai/math 深度拆解：722 份 AI 数学手稿与 Lean 形式化的工程真相
【开源评测】openai/math 深度拆解：722 份 AI 数学手稿与 Lean 形式化的工程真相 作者：Valhalla Matrix治理实验室 摘要：2026 年 10 月 6 日，OpenAI 在 GitHub 上发布 opena…
AI 大模型
初试短视频生成：豆包将我梦中的场景画出来了~
本文以一次轻量实操说明：豆包适合低成本试水AI短视频，结构化提示词是提质...
后端开发本地已有一年历史数据，第二天更新别只拉“昨天一天”：量化 K 线增量同步实践
文章把增量同步从“拉昨天”升级为重叠窗口、幂等写入与周期审计，适合已有本...
后端开发[Java] 展示添加元素时 ArrayList 的内部变化
可视化演示降低理解门槛，适合 Java 初学者和教学场景，也可作为源码调试辅...
在线工具
时间戳、JSON、正则、哈希、二维码等，全部在浏览器本地运行，数据不上传服务器 · 查看全部 10 个 →最新文章
工作日每日更新 3-5 篇，全部经人工筛选与二次加工基准真值也会错：我的 AI 审计管线漏报 12 题，先别急着调模型
> 【AI 辅助声明】 本文由作者与 AI 协作者共同完成：实验、复核与所有数字来自真实仓库记录（github.com/a9320/arcanum-spark），AI 参与整理成文。文中每个数字都标注了出处，查不到的我们写"不知道"。 一、…
你让 AI 帮你写代码，攻击者把偷密钥的指令藏进了一张 PNG
大家好，我是冠煌。 先说一个刚发生的真事。2026 年 10 月 11 日，安全圈曝出一类新攻击，名字叫 Ghostcommit。研究者把一段恶意指令，藏进了一张普普通通的 PNG 图片里。你的 AI 编码助手读图、理解项目的时候，顺手就被…
2-6 将井字棋拆分成多个文件
2-6 将井字棋拆分成多个文件 ⏱ 本节预计用时：30分钟 本节意义：上一节的井字棋最终版有300多行，读起来让人头皮发麻。这一节，我们把一个文件拆成好几个小文件，每个文件只管一件事。 这不只是"代码变整洁"，更是真实开发的基本功——真实项…
Spring AI Alibaba 之七：我没写一行 tracing 埋点，Agent 每一步却被 Micrometer 看得清清楚楚
Spring AI Alibaba 之七：我没写一行 tracing 埋点，Agent 每一步却被 Micrometer 看得清清楚楚 我接手一个线上 Agent 排障，运营说模型偶尔抽风，但不确定是模型慢还是工具卡。我第一反应是去 SAA…
Agentic RAG（中）：复杂问题如何拆成多跳检索闭环
Agentic RAG（中）：复杂问题如何拆成多跳检索闭环 单次向量检索适合“问题和答案在同一个片段里”的场景。真正让我发现它不够用的，是一类人物关系题：先根据描述确定 A 是谁，再查 A 的师承或亲属，最后才能回答原问题。 如果把整句复杂…
Spring AI Alibaba 之八：我让 Agent 直接执行 shell 命令，它却读到了目录里的密钥，沙箱到底防住了什么
Spring AI Alibaba 之八：我让 Agent 直接执行 shell 命令，它却读到了家目录里的密钥，沙箱到底防住了什么 一句话结论：SAA 没有给你一个真正的操作系统级容器，它是在「让 Agent 跑 shell」这条最大风险…
AI 时代的移动端稳定性保障 —— 柯南 AI Agent 实践｜QCon上海
- 2026-10-11北京 本文字数：2329 字 阅读完需：约 8 分钟 QCon 上海站聚焦 AI Native 时代工程落地，覆盖 AI Infra、Agent Runtime、安全可观测等九大关键技术方向，汇集百个产业级实战案例。…
利用 AI 代码智能体优化软件架构的五种方法
自动代码生成并不是一个新概念，但 AI 编码智能体的编码速度远超以往的任何工具。这种速度带来了巨大的好处，但也产生了独特的问题，人们很容易失去对输出代码质量的控制。这种失控在架构层面显得尤为突出。如果你只向 AI 输入功能需求，AI 并不会…
Uber 在 Kubernetes 平台上将扩容意图与执行操作解耦
Uber 发布博文，详细介绍其全新的 ServiceScale 控制器，该控制器允许多个编排器安全地管理同一组 Kubernetes 工作负载的扩缩容。这篇由高级软件工程师 Egor Grishechko 和 Srikar Paruchur…
Vidu Q4 4K 实测：哪些镜头能直接进剪辑时间线
Vidu Q4 4K 实测 20 条素材，分档给出可用、降级与重跑结论，附提示词模板、API 并发避坑与后期流程，先小批量试跑再放量。
我把这套 AI 落地方案，讲成一条任务闭环
我把这套 AI 落地方案，讲成一条任务闭环 软件架构师罗小东，多年架构和平台产品设计经验，目前在 Agent 场景落地结合中。 让 AI 深度融合业务场景，自动完成任务闭环 关键词：可拆可合 · 业务驱动 · 快速落地 · 全栈自研 一、方…
从源码看 pi 的上下文管理：原始数据永久保留，模型视角按需裁剪
> 本文基于 pi 源码分析其上下文管理机制。核心结论一句话：pi 把对话历史当作一棵 append-only（只追加）的树持久化，原始数据永不删除、永不覆盖；而发送给模型的消息列表，是一套在读取时从这棵树投影（projection）出来的…
怎么证明"你这个模型是偷我的"——把蒸馏变成取证工具
怎么证明"你这个模型是偷我的"——把蒸馏变成取证工具 背景 模型蒸馏这两年从学术话题变成了生意话题：厂商指控对手用输出训练自己的模型，被指控方说是独立训练的，两边谁都拿不出证据。 取证难在蒸馏不改参数——小模型是用大模型的输出训练的，权重跟…
2026，程序员的时代拐点到了
最近百度热搜上，「AI时代 程序员何处去」直接冲到了第6名，热度还不低。 说明这件事已经不只是圈内人在讨论，普通人也开始关注：写代码的人，接下来到底该往哪走。 image.png （上图就是当前热搜截图，第6条被红框标出。） 2026年的程…