被剪映逼疯的2亿创作者,终于等来了一个“掀桌子”的人
剪映付费墙高筑,创作者深陷“工具焦虑”。开源项目OpenCut应运而生:免费、本地处理、无水印、零上传,操作类剪映,浏览器即开即用。虽功能尚简、稳定性待提升,但已成隐私与自由的可靠备选。8.7万+ Star见证众望所归。(239字)
rust开发,选VS Code还是RustRover?
VS Code + rust-analyzer 灵活轻量,适合爱自定义工具链的开发者;RustRover 深度集成Cargo与AI(Air),项目理解统一、调试重构开箱即用,更适合中大型Rust项目长期开发。(239字)
制度可信与数学可信之间,差一个 128 字节
Agent 时代的新问题是:陌生 Agent 替你做完事,能拿出什么证据?本文对比国内外主流平台的信任能力——身份认证有、授权控制有,可移交、可独立验证的证据没有——并给出一个开源的最小可行形态:RTTP 意图寻址(已获 IANA CRI 27)+ 128 字节 IQA 证明信封 + fail-closed 全帧验证,三语言实现可直接接入任何 MCP 栈,发布物逐件密码学密封自证。
128 字节里装下了什么——一份可以离线复核的信任
"可审计、可追责"喊了两年,缺的是一个可离线复核的证据载体。本文拆解 128 字节 IQA 证明信封:固定布局零解析器、地位四态(一态一断言)、撤销不是删记录而是签发新信封、fail-closed 让任何一字节篡改自动 REJECT。附公开一致性向量,逐字节可复现。
制度可信与数学可信之间,差一个 128 字节
Agent 时代的新问题是:陌生 Agent 替你做完事,能拿出什么证据?本文对比国内外主流平台的信任能力——身份认证有、授权控制有,可移交、可独立验证的证据没有——并给出一个开源的最小可行形态:RTTP 意图寻址(已获 IANA CRI 27)+ 128 字节 IQA 证明信封 + fail-closed 全帧验证,三语言实现可直接接入任何 MCP 栈,发布物逐件密码学密封自证。
【pi-rust源码拆解】Agent 源码看不懂?先跟着一条消息走一遍
本文以 pi-rust 为例,详解编码 Agent 中一条用户指令(如“读配置文件”)的完整执行链路:从输入框提交、界面分流、会话管理、上下文构建,到模型请求、工具调用、结果回传与 Agent Loop 闭环。厘清模型(仅生成指令)与程序(实际执行)的职责边界,揭示消息流转、turn/Run/Session 三层结构及压缩、重试、取消、恢复等关键机制。(239字)
如果要给 Agent 搭一套可观测平台,应该从哪里开始?
Agent执行“改配置”却未生效?问题常出在中间环节:模型理解偏差、工具读写失败或错误未传递。Langfuse通过追踪每步的输入/输出、耗时与状态,将完整执行链(Trace)可视化,助力精准定位故障点,告别日志盲猜。(239字)