🚨 Uber 内部用来盯 AI agent 的那套安全系统 ADR，开源了，能把公司里没人报备就偷偷用上的 AI 工具揪出来。 GitHub 上 1623 star、172 个 fork，相关论文被 MLSys 2026 接收，系统本身已经在 Uber 生产环境跑着。 现在公司里的 agent 安全基本是个黑洞：谁在用 Cursor、谁装了 Claude Code、哪个客服 agent 被人用提示词绕过去了，安全团队看不见。ADR 把这件事拆成五块来做——先把没批准的 AI 工具找出来，再观测 agent 到底调了什么工具、执行了哪些动作，然后评测防御能力、检测威胁、拦住不安全的操作。 观测这块已经在生产环境里跨 macOS、Linux、Windows 采了七种以上 AI 编程工具的轨迹；检测用的是两层结构，先高召回粗筛，再对可疑会话做深一层的推理。它还带了一个 ADR-Bench，300 多个任务、134 个 MCP server，把 17 种 agent 攻击手法全覆盖了一遍。 要说清楚的是，这次开源的是 Discovery、Sensor、ADR-Bench 和 Detector 这几块，负责拦截的 Prevention 组件和离线的 Explorer 引擎没放出来。 agent 进了生产，安全这一课迟早得补。 GitHub：

开会前还在把文档一页页搬进 PPT？Presenton 可以先帮你搭初稿。 它能根据提示词、文档或现成模板生成演示稿，生成后还能自己拖拽修改。 最后可以导出可编辑的 PPTX 或 PDF，适合先把方案讲清楚。 中文字符裁剪有人报过问题，正式交付前记得逐页看版面.

和Quant Alex @StochAlex07 讨论： SABR Theta与Spot Theta+Vol Theta+Cross Theta的异同与应用，以及SABR模型自洽性分析。 **English Summary of the Chat** **SABR Theta vs Spot Theta + Vol Theta + Cross Theta** The conversation between **Alex Wu** (white bubbles) and **Jeff Liang** (green bubbles) is a technical discussion focused on **SABR Theta versus Total Theta** (i.e., Spot Theta + Cross Theta + Vol Theta), model self-consistency, PDE residual, and the correct definition of SABR Greeks. ### Key Points Discussed: 1. **SABR Gamma = Spot Gamma** (first major question, raised by Jeff) Jeff asked whether SABR Gamma (\(\partial^2 P / \partial F^2\)) is identical to Spot Gamma and whether it includes the dependence of \(\sigma_B\) on \(F\). He also provided the full chain-rule expansion of SABR Gamma in terms of Black-76 Greeks. Alex confirmed the understanding and **later affirmed in code** that this is exactly how SABR Gamma is implemented in their system. 2. **SABR Theta vs Total Theta and Model Self-Consistency** (main topic, led by Jeff) Jeff shared a clear 3-point understanding: - SABR Theta is computed directly via the SABR approximation formula to obtain \(\sigma_B\), then applying the Black-76 chain rule: \(\partial P/\partial t =\) BS_Theta(\(\sigma_B\)) + BS_Vega \(\cdot \partial\sigma_B/\partial t\). - Total Theta is the exact decomposition from the SABR PDE (Spot Theta + Cross Theta + Vol Theta). - When the model is **fully self-consistent** (Residual = \(\partial P/\partial t + \mathcal{L}P = 0\)), SABR Theta = Total Theta; otherwise the difference is the unexplained PnL caused by the approximation error in the Hagan formula (especially pronounced in long-dated, high vol-of-vol, or high-skew options). 3. **Practical Implication – Theta Decomposition Decision** (comment by Alex) Alex noted that whether to perform Theta decomposition depends on the risk-management approach: - Without decomposition → use SABR Gamma vs. dP/dt. - With decomposition → SABR Gamma maps to Spot Theta, Vanna to Cross Theta, and Volga to Vol Theta. **Overall Tone**: The discussion is highly technical and collaborative. Jeff drives the conversation by asking clarifying questions and presenting a well-structured 3-point summary of his recent study. Alex provides confirmations, practical insights, and code-level validation. Both participants demonstrate a strong command of SABR model nuances, particularly the relationship between approximation error, PDE residual, and real-world risk management.

发现一套牛逼的 Codex 用法！ 有人已经拿它做课件、汇报、答辩、知识卡，连图片和 PDF 都能拆回 PPT 继续改。 如果你刚开始折腾 Codex，可以先看这「10 个必装 Skill」： 按使用场景分好了，直接照着选👇 一、自己讲课、演讲、做分享 1）Marp 把文字和图片整理成课件，后续换案例、补内容，改源文件就能重新生成。适合常规培训，默认导出的 PPTX 是图片式。 2）Slidev 适合讲代码、公式和操作过程，支持分步动画和网页互动。让 Codex 整理逐页内容，再补演示效果；交互多了，也需要多调试。 3）归藏 guizang-ppt-skill 电子杂志、瑞士国际主义等风格，适合整套分享保持统一。先选风格、试一页正文，再继续做；主要用浏览器播放。 4）张咋啦 frontend-slides 先出视觉样张，再选字体、配色和布局，适合想跳出固定模板的分享。输出以 HTML 为主，离线播放前检查字体和图片。 二、做汇报、答辩，交给客户继续改 1）ppt-master 把页面做成可编辑的文字、形状，也支持部分原生图表和表格。先让 Codex 试做正文和数据页，导出后改一个数字，看看图表是否跟着变。 2）slide-skill 提供主题和模板流程，适合反复制作同类汇报。内容更新后可以重新生成，中文断行、字号和图表编辑能力要检查。 3）deck-dna 给两三份认可的旧 PPT，提炼字号、配色和布局，再做新稿。适合沿用公司风格；有严格母版要求，仍要保留原模板。 三、做科普、知识卡和图文课件 1）宝玉 baoyu-slide-deck 黑板、水彩等风格，背景、插画和文字整页生成。先定文案再生图，效果直观，但改字可能要重做一页。 2）宝玉 baoyu-design 先用 HTML 调整设计，再按对应流程导出，也包含可编辑 PPTX 的导出方式。需要配套工具，不能把任意网页直接无损转成 PPT。 3）PPTAgent 把论文、报告接到材料解析、大纲规划和页面生成流程里。长材料可以试，配置比单个 Skill 多，生成的结论和数字要对回原文。 四、只有图片或 PDF，想继续修改 1）GordenSuperPPTSkills 通过 Image2PPTX 相关流程拆文字、补背景、分离元素，适合拿现成图片改标题、挪配图。部分对象仍是图片，不会全部变成原生图形。 2）LRriver/AIPPT 在一个工作台里生成图片、拆分和编辑，少一些导出再导入。效果取决于接入的服务，正式使用前先试一页。 3）NBLM2PPTX 分离 PDF 页面的文字和背景，再组装成 PPTX。没有源稿、只想改字时可以试，复杂图表可能仍保留为图片。 五、想在界面里管理整套制作过程 1）codex-slides 先改大纲、顺序和风格，再生成页面，适合边看边调整。它偏图片式制作，不适合需要频繁更新表格数据的文件。 2）Presenton 模板、模型接入、编辑和导出放在一起，适合长期反复做 PPT。让 Codex 协助搭建，部署和模型费用需要自己管理。 日常课件用 Marp，需要互动再用 Slidev；正式交付用指定模板加 ppt-master；知识卡用宝玉整页生图；只有图片、没有源稿时，再用 Gorden 拆。 建议先做封面、正文和最复杂的一页，满意了再做整套