制度可信与数学可信之间,差一个 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字)
【软件练习生】聊聊AI时代下,自用的前端技术栈
本文是位跨领域开发者的技术栈年度复盘:从HTML/CSS/JS基础到TypeScript工程化,涵盖Bun、Vite、Tailwind、React等现代前端工具链,延伸至Node服务端、数据库、AI Agent开发及计算机底层知识。强调“学以致用+AI协同”,拒绝浮躁,倡导扎实积累。(239字)
Zed 自动补全的坑终于填上了
Zed修复了LSP补全逻辑缺陷:此前因LSP未提供textEdit时,Zed会错误替换光标后整词,导致代码被“背刺”。现改为以光标位置为编辑边界,尊重用户lsp_insert_mode配置,补全更精准可靠。(239字)
用餐厅和盘子理解栈和堆
最近在学 Rust。其实之前就学过一段时间,但学到所有权这里就卡住了,概念一多加上当时在专升本,后面就放弃了🥲。趁着国庆假期有整块时间,决定重新捡起来,这次争取把它啃下来。
本文的内容来源于 Rust 官方教程 [What Is Ownership?](https://doc.rust-lang.org/book/ch04-01-what-is-ownership.html),在学习所有权(R