学习活动

学习与构建,留下真实足迹。

按真实日期回看文章、笔记、实验、项目与周汇总。单条外部资讯留在 Radar。

  1. 随笔

    在 48GB Mac mini 上跑 27B 大模型:量化、KV 缓存与上下文的工程取舍

    48GB Mac mini 本地部署 27B 模型的实测记录:量化方案、KV 缓存推导、统一内存 OOM 与上下文取舍。

    9 分钟已发布
  2. 实战教程

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

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

    10 分钟已发布
  3. 实战教程

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

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

    10 分钟已发布
  4. 实战教程

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

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

    10 分钟已发布
  5. 工程案例

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

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

    10 分钟已发布
  6. 工程案例

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

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

    10 分钟已发布
  7. 工程案例

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

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

    10 分钟已发布
  8. 机制拆解

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

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

    10 分钟已发布
  9. 机制拆解

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

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

    10 分钟已发布
  10. 机制拆解

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

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

    10 分钟已发布
  11. 实验 / 042

    持久投递与历史恢复

    17种场景、193条子进程记录;无接收端幂等的投递崩溃后执行两次,三个历史恢复窗口均保留完整问答。

    已完成
  12. 实验 / 043

    KV打包、残差窗口与分块成本

    144组对照、810条计时:高精度近段窗口在近段注意力上收益更大;分块减少工作数组,但本机CPU计时更慢。

    已完成
  13. 实验 / 044

    二维控制的调参、失联与迁移

    153回合、306000物理步;留出集选中控制器7/18通过,失联置零仍滑行,质量缩放降低均值却未通过速度契约。

    已完成
  14. 实战教程

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

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

    11 分钟已发布
  15. 工程案例

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

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

    11 分钟已发布
  16. 机制拆解

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

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

    10 分钟已发布
  17. 实验 / 039

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

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

    已完成
  18. 实验 / 040

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

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

    已完成
  19. 实验 / 041

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

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

    已完成
  20. 工程案例

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

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

    9 分钟已发布
  21. 工程案例

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

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

    9 分钟已发布
  22. 工程案例

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

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

    9 分钟已发布
  23. 工程案例

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

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

    9 分钟已发布
  24. 工程案例

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

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

    9 分钟已发布
  25. 工程案例

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

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

    9 分钟已发布
  26. 机制拆解

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

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

    9 分钟已发布
  27. 机制拆解

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

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

    9 分钟已发布
  28. 机制拆解

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

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

    9 分钟已发布
  29. 实验 / 033

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

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

    已完成
  30. 实验 / 030

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

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

    已完成
  31. 实验 / 032

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

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

    已完成
  32. 实验 / 031

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

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

    已完成
  33. 实验 / 035

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

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

    已完成
  34. 实验 / 038

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

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

    已完成
  35. 实验 / 037

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

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

    已完成
  36. 实验 / 036

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

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

    已完成
  37. 实验 / 034

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

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

    已完成
  38. 工程案例

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

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

    11 分钟已发布
  39. 工程案例

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

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

    13 分钟已发布
  40. 机制拆解

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

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

    12 分钟已发布
  41. 实验 / 028

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

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

    已完成
  42. 实验 / 029

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

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

    已完成
  43. 实验 / 027

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

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

    已完成
  44. 工程案例

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

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

    10 分钟已发布
  45. 工程案例

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

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

    13 分钟已发布
  46. 机制拆解

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

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

    11 分钟已发布
  47. 实验 / 026

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

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

    已完成
  48. 实验 / 025

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

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

    已完成
  49. 实验 / 024

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

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

    已完成
  50. 工程案例

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

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

    8 分钟已发布
  51. 工程案例

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

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

    9 分钟已发布
  52. 工程案例

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

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

    8 分钟已发布
  53. 工程案例

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

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

    11 分钟已发布
  54. 工程案例

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

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

    8 分钟已发布
  55. 工程案例

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

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

    12 分钟已发布
  56. 工程案例

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

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

    11 分钟已发布
  57. 工程案例

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

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

    9 分钟已发布
  58. 工程案例

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

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

    9 分钟已发布
  59. 工程案例

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

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

    9 分钟已发布
  60. 机制拆解

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

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

    8 分钟已发布
  61. 机制拆解

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

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

    8 分钟已发布
  62. 机制拆解

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

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

    10 分钟已发布
  63. 机制拆解

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

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

    9 分钟已发布
  64. 机制拆解

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

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

    8 分钟已发布
  65. 实验 / 023

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

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

    已完成
  66. 实验 / 015

    L2–L4 / 注意力与缓存机制

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

    已完成
  67. 实验 / 020

    E11 / 完成事件与当前有效性

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

    已完成
  68. 实验 / 014

    A2 / 并发历史提交

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

    已完成
  69. 实验 / 016

    E8 / 报警后的退出动作

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

    已完成
  70. 实验 / 022

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

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

    已完成
  71. 实验 / 019

    L5 / 前缀缓存失效

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

    已完成
  72. 实验 / 018

    E10 / 有界恢复与冷却

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

    已完成
  73. 实验 / 017

    E9 / 释放后的完成验收

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

    已完成
  74. 实验 / 021

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

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

    已完成
  75. 工程案例

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

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

    13 分钟已发布
  76. 实验 / 013

    E7 / 下降阶段的抓取契约

    搬运规则直接延伸到下降,会漏报、误报还是改变最终放置?

    已完成
  77. 工程案例

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

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

    10 分钟已发布
  78. 工程案例

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

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

    11 分钟已发布
  79. 工程案例

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

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

    14 分钟已发布
  80. 工程案例

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

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

    12 分钟已发布
  81. 工程案例

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

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

    10 分钟已发布
  82. 实验 / 012

    E6 / 恢复门控与路径消融

    把重新验收与路径重规划拆开:哪些差异来自证据,哪些来自恢复后的目标?

    已完成
  83. 实验 / 009

    E5 / 观测恢复后的重新验收

    通信恢复是否足以继续原动作?比较新证据、旧包重送与剩余路径规划。

    已完成
  84. 实验 / 011

    A1 / 对话历史的提交边界

    请求失败、截断或候选裁剪后,如何保持已提交历史正确?

    已完成
  85. 实验 / 010

    TypeScript / 输出边界对照

    类型断言与对象校验分别会漏掉哪些无效输入?

    已完成
  86. 工程案例

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

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

    12 分钟已发布
  87. 工程案例

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

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

    14 分钟已发布
  88. 工程案例

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

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

    14 分钟已发布
  89. 实验复盘

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

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

    12 分钟已发布
  90. 工程案例

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

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

    16 分钟已发布
  91. 实验 / 006

    E2 / 抓取确认后再搬运

    用连续高度与双侧接触记录,判断失败抓取后是否应该继续搬运。

    已完成
  92. 实验 / 008

    E4 / 观测新鲜度与采样间隔

    区分消息到达与新证据,检验固定计数在不同采样周期下的含义。

    已完成
  93. 实验 / 007

    E3 / 搬运中的持续接触监测

    用真实松爪与单次空接触报告,区分漏检、误停和确认延迟。

    已完成
  94. 实战教程

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

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

    16 分钟已发布
  95. 实战教程

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

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

    18 分钟已发布
  96. 实验 / 004

    VL01 / 抓取目标偏移对照

    固定控制器下,拾取目标偏了 25 / 50 mm,会发生什么?

    已完成
  97. 工程案例

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

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

    12 分钟已发布
  98. 机制拆解

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

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

    12 分钟已发布
  99. 机制拆解

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

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

    10 分钟已发布
  100. 实战教程

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

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

    15 分钟已发布
  101. 项目 / 001

    Hohoo’s AI Lab

    公开学习、研究资讯与实践记录共用的个人知识站点。

    已上线
  102. AI 雷达 / 周报

    AI Radar · 2026-W36

    本周来源摘录与链接汇总。

    已发布
  103. AI 雷达 / 周报

    AI Radar · 2026-W37

    本周来源摘录与链接汇总。

    已发布
  104. 随笔

    一个新的开始

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

    1 分钟已发布