文章

把问题读懂,把方法带走。

从可运行的教程,到有出处的机制与工程拆解。

61 篇 · 从可运行的教程,到有出处的机制与工程拆解。

  1. 01 / 构建 · 实战教程

    持久幂等:让操作身份与结果一起提交

    用带CRC的追加日志、进程崩溃与99个截断前缀,解释持久幂等的提交边界。

    10 分钟
  2. 02 / 构建 · 实战教程

    Outbox投递:本地可靠,不等于远端只执行一次

    对照有键和无键接收端,解释回复丢失、回执缺失与远端重复副作用。

    10 分钟
  3. 03 / 构建 · 实战教程

    对话恢复:从意图、回执到完整问答

    在三个提交边界真实终止JVM,以持久事实恢复完整历史,保留远端重复执行反例。

    10 分钟
  4. 04 / 探索 · 工程案例

    MuJoCo控制调参:最优候选不等于验证通过

    54个开发回合选择参数,36个留出回合复核位置误差与稳定完成契约。

    10 分钟
  5. 05 / 探索 · 工程案例

    MuJoCo质量迁移:同一套增益还能用吗?

    36回合对照固定和质量缩放增益,解释更低平均误差为何仍不能通过速度验收。

    10 分钟
  6. 06 / 探索 · 工程案例

    MuJoCo失联策略:零力不等于停止

    27回合比较旧观测控制、超时置零与衰减,展示观测超时和物理制动的差别。

    10 分钟
  7. 07 / 理解 · 机制拆解

    KV分块反量化:工作区小了,为什么更慢?

    区分缓存负载、工作数组和实测耗时,保留分块CPU实现更慢的810条计时记录。

    10 分钟
  8. 08 / 理解 · 机制拆解

    KV分组打包:4-bit到底省了多少?

    实际保存半字节整数码,复算分组scale开销、补齐字节与注意力输出误差。

    10 分钟
  9. 09 / 理解 · 机制拆解

    KV残差窗口:最近Token一定值得高精度吗?

    用早段与近段注意力对照,解释同样的float32窗口为何收益不同。

    10 分钟
  10. 10 / 构建 · 实战教程

    Java 幂等重试:没收到回答,不等于没有执行

    用七组本地 HTTP 故障对照,解释幂等键、并发认领、请求冲突与进程崩溃窗口。

    11 分钟
  11. 11 / 探索 · 工程案例

    MuJoCo 速度估计:滤掉噪声,也可能让控制更差

    54回合真实仿真对照位置差分、指数平滑与真值速度参考,解释噪声放大、估计滞后和稳定性验收。

    11 分钟
  12. 12 / 理解 · 机制拆解

    KV 量化轴:Key 与 Value 为什么不能一概而论?

    162组保存整数码的离线对照,比较全张量、逐Token与K逐通道/V逐Token,保留混合策略并非总更优的结果。

    10 分钟
  13. 13 / 构建 · 工程案例

    Java 会话历史与请求窗口:裁掉的旧事实还能回来吗?

    通过裁剪、提交、重启和扩窗的连续实验,分离可回看的完整历史与一次模型请求的上下文。

    9 分钟
  14. 14 / 构建 · 工程案例

    Java 对话历史落盘:程序崩溃后,半轮记录怎么办?

    校验追加日志、142种截断前缀和三个真实异常退出子进程,明确本地提交与远端幂等的边界。

    9 分钟
  15. 15 / 构建 · 工程案例

    Java 请求重试:三次超时,不等于一个总期限

    七种真实本地 HTTP 情况,比较状态码、Retry-After、尝试上限和总等待预算。

    9 分钟
  16. 16 / 探索 · 工程案例

    MuJoCo 延迟观测:知道旧位置,能预测现在吗?

    24条配对轨迹比较即时/80ms延迟、位置噪声和常速度外推,保留超调下降但任务仍失败的结果。

    9 分钟
  17. 17 / 探索 · 工程案例

    MuJoCo 绕障:路径上的点能过去,执行器就能过去吗?

    六条实际接触轨迹对照直达、贴边和留余量路径,解释几何尺寸、跟踪误差与碰撞之间的关系。

    9 分钟
  18. 18 / 探索 · 工程案例

    MuJoCo 第二场景:目标位置相同,为什么有的控制器停不住?

    用二维力控执行器比较质量与PD阻尼,记录饱和、超调和稳定完成,避免把经过目标当作任务成功。

    9 分钟
  19. 19 / 理解 · 机制拆解

    KV 缓存开销剖析:把省下的计算和新增的工作分开

    对909次查询做分段计时,验证源码签名、查找、复制与续算分别花在哪里,同时保留缓存仍慢的结果。

    9 分钟
  20. 20 / 理解 · 机制拆解

    KV 量化入门:省下多少字节,又引入什么误差?

    比较整张量与逐行int8量化,显式计入scale,观察离群值对注意力输出的影响。

    9 分钟
  21. 21 / 理解 · 机制拆解

    注意力分块:不保存完整分数矩阵,如何保持结果?

    从错误的分块平均出发,推导在线Softmax累加,并用9组数组和558次计时区分省内存与加速。

    9 分钟
  22. 22 / 构建 · 工程案例

    Java LLM 实践(十):点了取消,读取线程为什么还在运行?

    30次本地HTTP连接,区分会话取消、阻塞读取退出与远端工作,比较Future中断和主动关闭连接。

    11 分钟
  23. 23 / 探索 · 工程案例

    具身智能实践(十四):方块落进盒子,就能宣布任务完成吗?

    8条MuJoCo轨迹、三个旁路判定器与真实回放,区分历史放置、当前证据和恢复流程中的完成资格。

    13 分钟
  24. 24 / 理解 · 机制拆解

    LLM 机制实验(七):缓存省了计算,为什么实测反而更慢?

    4860次实测查询比较三种缓存准入策略,把字节预算、工作集、计算量与本地耗时放在一起验证。

    12 分钟
  25. 25 / 构建 · 工程案例

    Java LLM 实践(九):取消请求后,旧回答为什么还会覆盖新会话?

    18 种固定线程交错,验证流式预览、完成和错误回调的请求归属,以及取消和有限幂等的边界。

    10 分钟
  26. 26 / 探索 · 工程案例

    具身智能实践(十三):下降中断之后,应该从哪一步恢复?

    18 个 MuJoCo 回合与同步回放,将阶段契约接入恢复预算,区分正常下降误停、物理放置和控制器终止。

    13 分钟
  27. 27 / 理解 · 机制拆解

    LLM 机制实验(六):缓存加大了,为什么还是一次都没命中?

    27 条冷启动轨迹、324 次请求与 648 个数组,按字节限制前缀检查点,观察工作集、隔离与 LRU 淘汰的实际收益。

    11 分钟
  28. 28 / 构建 · 工程案例

    Java LLM 实践(四):两个请求同时返回,谁有资格写入历史?

    用真实Java线程复现回复乱序,加入版本票据、完整问答提交与有界回执,明确本地幂等和远端执行的区别。

    8 分钟
  29. 29 / 检索 · 工程案例

    Java LLM 实践(七):引用是真的,为什么答案仍然不能通过?

    22 个固定配置案例,拆开引用存在、版本范围、字段支持与完整性,验证 Java 回答验收边界。

    9 分钟
  30. 30 / 检索 · 工程案例

    Java LLM 实践(六):先验收检索证据,再谈RAG回答

    10篇原创合成资料、14个固定问题,手写BM25与引用边界;保留词汇失配和无答案题的误命中。

    8 分钟
  31. 31 / 构建 · 工程案例

    Java LLM 实践(八):流式回答断了,半句答案该不该进入历史?

    22 个回环 HTTP 案例,验证 UTF-8、SSE 分帧、取消与异常结束,把逐步预览和完整历史提交分开。

    11 分钟
  32. 32 / 构建 · 工程案例

    Java LLM 实践(五):工具超时了,为什么任务还在执行?

    用白名单、严格参数、零队列与调用预算构建只读工具执行器,并复现取消不等于终止的边界。

    8 分钟
  33. 33 / 探索 · 工程案例

    具身智能实践(十二):恢复预算耗尽之后,夹爪应该做什么?

    12 个 MuJoCo 回合与三画面回放,对比保持、松爪、松爪后退,区分终止决定与实际退出后果。

    12 分钟
  34. 34 / 探索 · 工程案例

    具身智能实践(十一):已经放好了,为什么还要撤销“完成”?

    七条 MuJoCo 轨迹与双画面回放,将历史完成事件和当前有效状态分开,保留传感误报与过期边界。

    11 分钟
  35. 35 / 探索 · 工程案例

    具身智能实践(八):检测到掉落以后,夹爪应该做什么?

    15回合固定场景对照保持、松爪、松爪后退:报警相同,退出动作不同,最终放置也不同。

    9 分钟
  36. 36 / 探索 · 工程案例

    具身智能实践(十):恢复次数受控了,为什么任务反而没完成?

    12回合对照无限恢复、两次预算与400ms冷却:分别记录启停、验收窗口、终止原因和最终任务结果。

    9 分钟
  37. 37 / 探索 · 工程案例

    具身智能实践(九):松爪命令成功,不等于放置完成

    五条真实轨迹同时检查单帧与持续窗口:错误观测、延迟松爪和完成后的外力揭示验收范围。

    9 分钟
  38. 38 / 理解 · 机制拆解

    LLM机制实验(一):改动未来Token,前面的输出应该变吗?

    从手算两行Attention到双层数值对照,验证因果掩码、Softmax与未来信息泄漏。

    8 分钟
  39. 39 / 理解 · 机制拆解

    LLM机制实验(二):KV Cache省掉了什么,怎样证明没有算错?

    逐前缀重算、逐Token缓存与分块缓存三路对照,记录误差、投影行数和真实数组字节。

    8 分钟
  40. 40 / 理解 · 机制拆解

    LLM 机制实验(五):改了历史,能否只重算变化的后缀?

    27 个固定条件、81 个原始数组,验证最长相同前缀裁剪、位置同步、滑窗回退与作用域隔离。

    10 分钟
  41. 41 / 理解 · 机制拆解

    LLM 机制实验(四):前缀改了,旧 KV Cache 还能继续用吗?

    三种子、六条件,比较错误复用与带键校验的前缀缓存;数值相同也不代表允许跨作用域共享。

    9 分钟
  42. 42 / 理解 · 机制拆解

    LLM机制实验(三):缓存只留四格,为什么不等于重算四个Token?

    用双层滑动注意力区分绝对位置、缓存槽位和历史表示,展示两种形状正确却计算错误的实现。

    8 分钟
  43. 43 / 探索 · 工程案例

    具身智能实践(七):搬运规则,为什么会误停正常下降?

    21回合MuJoCo对照:下降需要自己的抓取契约。用正常误停、旧包报警与晚下降残留接触,拆开监测范围、停止动作和最终放置。

    13 分钟
  44. 44 / 构建 · 工程案例

    Java LLM 实践(三):超时之后,别让对话历史悄悄变了

    用候选副本、整轮提交与UTF-8请求预算重写多轮会话边界:41项离线检查,失败不污染历史,裁剪失败也能保留原状态。

    10 分钟
  45. 45 / 构建 · 工程案例

    TypeScript 能保证模型输出正确吗?32组输入与 Java 校验器的边界对照

    从类型断言、unknown到原始JSON:复现22个误接收、4个对象校验盲区,以及Java/TypeScript契约一致性的实际边界。

    11 分钟
  46. 46 / 探索 · 工程案例

    具身智能实践(六):恢复门控与路径重规划,各自解决了什么?

    30回合消融对照:重规划把首次目标跳变从50–97毫米降至约0.25毫米,却没有提高本矩阵的放置成功率。用原始日志拆开恢复证据、动作连续性与任务结果。

    14 分钟
  47. 47 / 探索 · 工程案例

    具身智能实践(五):通信恢复了,为什么还不能立刻继续搬运?

    18回合 MuJoCo 对照:旧正常包让基线反复启停却最终成功;用连续新证据与剩余路径规划重新定义恢复。

    12 分钟
  48. 48 / 理解 · 工程案例

    24次全对之后:怎样设计更有区分度的上下文实验?

    从Agnes 3.0的24次真实结果出发,排除句式和编号线索,冻结128项相似干扰对照;用Java 8与独立审计验证材料,不把离线准备当模型结果。

    10 分钟
  49. 49 / 探索 · 工程案例

    具身实践(二):没抓住,就别继续搬运

    在 MuJoCo 中加入抬升与双侧接触确认,用18回合对照检验停止空手搬运,并公开轨迹、视频、代码与局限。

    12 分钟
  50. 50 / 探索 · 工程案例

    具身实践(四):消息还在到,观测已经过期了

    45回合MuJoCo对照,分离采样间隔、异常计数与观测年龄;理解旧消息为何会掩盖真实松爪,以及时间阈值仍有什么局限。

    14 分钟
  51. 51 / 探索 · 工程案例

    具身实践(三):抓住之后,还要一直确认吗?

    27回合MuJoCo对照:用单次观测缺失与受控松爪,检验持续监测、误停和40毫秒确认延迟,并公开代码、轨迹与重放。

    14 分钟
  52. 52 / 理解 · 实验复盘

    把答案放在上下文中间,模型就会漏掉吗?一次提前停止的对照试验

    用 Java 固定 6 组虚构资料,对照开头、中间、末尾与无答案条件;公开 29 次请求、HTTP 429 和不能下的结论。

    12 分钟
  53. 53 / 理解 · 工程案例

    LLM 实验(二):先让对照成立,再谈上下文位置

    用 Java 8 实现成组对照与节流,完成 Agnes 3.0 的24次真实请求;公开逐项评分、服务端用量,并解释全对结果的边界。

    16 分钟
  54. 54 / 构建 · 实战教程

    Java LLM 实践(二):HTTP 200 之后,怎样验收模型的 JSON?

    从一次真实的代码围栏响应和三次超时出发,用 Java 8 实现严格结构校验、受限格式适配与可追溯的失败处理。

    16 分钟
  55. 55 / 探索 · 实战教程

    具身智能实践(一):在 MuJoCo 中抓起方块,再故意抓偏

    用真实物理接触完成一次抓取放置,再对照0、25、50 mm目标偏移,保存视频、状态轨迹和明确的成功判定。

    18 分钟
  56. 56 / 构建 · 工程案例

    AI Radar 工程拆解:从 RSS 到网站,中间发生了什么?

    沿着本站真实代码,追踪采集窗口、每日配额、去重、自动检查和部署,并用证据定位“采集成功却没有更新”。

    12 分钟
  57. 57 / 探索 · 机制拆解

    OpenVLA 代码导读:图像和一句指令,怎样变成机器人动作?

    沿着 processor、视觉投影、动作 Token 与反归一化追踪一次推理,重点检查动作单位、边界索引和部署接口。

    12 分钟
  58. 58 / 理解 · 机制拆解

    KV Cache 拆解:多轮对话的历史,为什么还要再传一遍?

    从因果注意力推导 K/V 复用,用一个可计算的内存例子区分推理缓存、前缀缓存与聊天记录。

    10 分钟
  59. 59 / 构建 · 实战教程

    Java 8 调用大语言模型:从第一次请求到多轮对话

    用三个真实运行的 Java Demo,理解模型请求、JSON 解析、读取超时与对话历史。

    15 分钟
  60. 60 / 随笔

    一个新的开始

    从第一次搭建博客,到再次拥有记录的热情。永远不要缺少重新开始的勇气。

    1 分钟