學習活動

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

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

  1. 實作教程

    持久冪等:讓操作身份與結果一起提交

    用帶CRC的追加紀錄、行程崩潰與99個截斷前綴,解釋持久冪等的提交邊界。

    10 分鐘已發布
  2. 實作教程

    Outbox投遞:本地可靠,不等於遠端只執行一次

    對照有鍵和無鍵接收端,解釋回復丟失、回執缺失與遠端重複副作用。

    10 分鐘已發布
  3. 實作教程

    對話恢復:從意圖、回執到完整問答

    在三個提交邊界真實終止JVM,以持久事實恢復完整歷史,保留遠端重複執行反例。

    10 分鐘已發布
  4. 工程案例

    MuJoCo控制調參:最優候選不等於驗證通過

    54個開發回合選擇參數,36個留出回合復核位置誤差與穩定完成契約。

    10 分鐘已發布
  5. 工程案例

    MuJoCo質量遷移:同一套增益還能用嗎?

    36回合對照固定和質量縮放增益,解釋更低平均誤差為何仍不能通過速度驗收。

    10 分鐘已發布
  6. 工程案例

    MuJoCo失聯策略:零力不等於停止

    27回合比較舊觀測控制、超時置零與衰減,展示觀測超時和物理制動的差別。

    10 分鐘已發布
  7. 機制拆解

    KV分塊反量化:工作區小了,為什么更慢?

    區分快取負載、工作陣列和實測耗時,保留分塊CPU實現更慢的810條計時記錄。

    10 分鐘已發布
  8. 機制拆解

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

    實際保存半位元組整數碼,復算分組scale開銷、補齊位元組與注意力輸出誤差。

    10 分鐘已發布
  9. 機制拆解

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

    用早段與近段注意力對照,解釋同樣的float32窗口為何收益不同。

    10 分鐘已發布
  10. 實驗 / 042

    持久投遞與歷史恢復

    17種場景、193條子行程記錄;無接收端冪等的投遞崩潰後執行兩次,三個歷史恢復窗口均保留完整問答。

    已完成
  11. 實驗 / 043

    KV打包、殘差窗口與分塊成本

    144組對照、810條計時:高精度近段窗口在近段注意力上收益更大;分塊減少工作陣列,但本機CPU計時更慢。

    已完成
  12. 實驗 / 044

    二維控制的調參、失聯與遷移

    153回合、306000物理步;留出集選中控制器7/18通過,失聯置零仍滑行,質量縮放降低均值卻未通過速度契約。

    已完成
  13. 實作教程

    Java 冪等重試:沒收到回答,不等于沒有執行

    用七組本地 HTTP 故障對照,解釋冪等鍵、並發認領、請求沖突與進程崩潰窗口。

    11 分鐘已發布
  14. 工程案例

    MuJoCo 速度估計:濾掉噪聲,也可能讓控制更差

    54回合真實仿真對照位置差分、指數平滑與真值速度參考,解釋噪聲放大、估計滯後和穩定性驗收。

    11 分鐘已發布
  15. 機制拆解

    KV 量化軸:Key 與 Value 為什么不能一概而論?

    162組保存整數碼的離線對照,比較全張量、逐Token與K逐通道/V逐Token,保留混合策略並非總更優的結果。

    10 分鐘已發布
  16. 實驗 / 039

    Java 冪等重試:沒收到回答,不等于沒有執行

    用七組本地 HTTP 故障對照,解釋冪等鍵、并發認領、請求沖突與進程崩潰窗口。

    已完成
  17. 實驗 / 040

    KV 量化軸:Key 與 Value 為什么不能一概而論?

    162組保存整數碼的離線對照,比較全張量、逐Token與K逐通道/V逐Token,保留混合策略并非總更優的結果。

    已完成
  18. 實驗 / 041

    MuJoCo 速度估計:濾掉噪聲,也可能讓控制更差

    54回合真實仿真對照位置差分、指數平滑與真值速度參考,解釋噪聲放大、估計滯后和穩定性驗收。

    已完成
  19. 工程案例

    Java 會話歷史與請求窗口:裁掉的舊事實還能回來嗎?

    通過裁剪、提交、重啟和擴窗的連續實驗,分離可回看的完整歷史與一次模型請求的上下文。

    9 分鐘已發布
  20. 工程案例

    Java 對話歷史落盤:程序崩潰後,半輪記錄怎么辦?

    校驗追加日志、142種截斷前綴和三個真實異常退出子進程,明確本地提交與遠端冪等的邊界。

    9 分鐘已發布
  21. 工程案例

    Java 請求重試:三次超時,不等于一個總期限

    七種真實本地 HTTP 情況,比較狀態碼、Retry-After、嘗試上限和總等待預算。

    9 分鐘已發布
  22. 工程案例

    MuJoCo 延遲觀測:知道舊位置,能預測現在嗎?

    24條配對軌跡比較即時/80ms延遲、位置噪聲和常速度外推,保留超調下降但任務仍失敗的結果。

    9 分鐘已發布
  23. 工程案例

    MuJoCo 繞障:路徑上的點能過去,執行器就能過去嗎?

    六條實際接觸軌跡對照直達、貼邊和留餘量路徑,解釋幾何尺寸、跟蹤誤差與碰撞之間的關係。

    9 分鐘已發布
  24. 工程案例

    MuJoCo 第二場景:目標位置相同,為什麼有的控制器停不住?

    用二維力控執行器比較質量與PD阻尼,記錄飽和、超調和穩定完成,避免把經過目標當作任務成功。

    9 分鐘已發布
  25. 機制拆解

    KV 快取開銷剖析:把省下的計算和新增的工作分開

    對909次查詢做分段計時,驗證源碼簽名、查找、復制與續算分別花在哪里,同時保留快取仍慢的結果。

    9 分鐘已發布
  26. 機制拆解

    KV 量化入門:省下多少位元組,又引入什麼誤差?

    比較整張量與逐行int8量化,顯式計入scale,觀察離群值對注意力輸出的影響。

    9 分鐘已發布
  27. 機制拆解

    注意力分塊:不保存完整分數矩陣,如何保持結果?

    從錯誤的分塊平均出發,推導在線Softmax累加,并用9組陣列和558次計時區分省內存與加速。

    9 分鐘已發布
  28. 實驗 / 033

    KV 快取開銷剖析:把省下的計算和新增的工作分開

    對909次查詢做分段計時,驗證源碼簽名、查找、復制與續算分別花在哪里,同時保留快取仍慢的結果。

    已完成
  29. 實驗 / 030

    Java 會話歷史與請求窗口:裁掉的舊事實還能回來嗎?

    通過裁剪、提交、重啟和擴窗的連續實驗,分離可回看的完整歷史與一次模型請求的上下文。

    已完成
  30. 實驗 / 032

    Java 對話歷史落盤:程序崩潰後,半輪記錄怎么辦?

    校驗追加日志、142種截斷前綴和三個真實異常退出子進程,明確本地提交與遠端冪等的邊界。

    已完成
  31. 實驗 / 031

    Java 請求重試:三次超時,不等于一個總期限

    七種真實本地 HTTP 情況,比較狀態碼、Retry-After、嘗試上限和總等待預算。

    已完成
  32. 實驗 / 035

    KV 量化入門:省下多少位元組,又引入什麼誤差?

    比較整張量與逐行int8量化,顯式計入scale,觀察離群值對注意力輸出的影響。

    已完成
  33. 實驗 / 038

    MuJoCo 延遲觀測:知道舊位置,能預測現在嗎?

    24條配對軌跡比較即時/80ms延遲、位置噪聲和常速度外推,保留超調下降但任務仍失敗的結果。

    已完成
  34. 實驗 / 037

    MuJoCo 繞障:路徑上的點能過去,執行器就能過去嗎?

    六條實際接觸軌跡對照直達、貼邊和留餘量路徑,解釋幾何尺寸、跟蹤誤差與碰撞之間的關係。

    已完成
  35. 實驗 / 036

    MuJoCo 第二場景:目標位置相同,為什麼有的控制器停不住?

    用二維力控執行器比較質量與PD阻尼,記錄飽和、超調和穩定完成,避免把經過目標當作任務成功。

    已完成
  36. 實驗 / 034

    注意力分塊:不保存完整分數矩陣,如何保持結果?

    從錯誤的分塊平均出發,推導在線Softmax累加,并用9組陣列和558次計時區分省內存與加速。

    已完成
  37. 工程案例

    Java LLM 實踐(十):點了取消,讀取執行緒為什麼還在運行?

    30次本地HTTP連接,區分會話取消、阻塞讀取退出與遠端工作,比較Future中斷和主動關閉連接。

    11 分鐘已發布
  38. 工程案例

    具身智能實踐(十四):方塊落進盒子,就能宣布任務完成嗎?

    8條MuJoCo軌跡、三個旁路判定器與真實回放,區分歷史放置、當前證據和恢復流程中的完成資格。

    13 分鐘已發布
  39. 機制拆解

    LLM 機制實驗(七):快取省了計算,為什麼實測反而更慢?

    4860次實測查詢比較三種快取準入策略,把位元組預算、工作集、計算量與本地耗時放在一起驗證。

    12 分鐘已發布
  40. 實驗 / 028

    LLM 機制實驗(七):快取省了計算,為什麼實測反而更慢?

    4860次實測查詢比較三種快取準入策略,把位元組預算、工作集、計算量與本地耗時放在一起驗證。

    已完成
  41. 實驗 / 029

    具身智能實踐(十四):方塊落進盒子,就能宣布任務完成嗎?

    8條MuJoCo軌跡、三個旁路判定器與真實回放,區分歷史放置、當前證據和恢復流程中的完成資格。

    已完成
  42. 實驗 / 027

    Java LLM 實踐(十):點了取消,讀取執行緒為什麼還在運行?

    30次本地HTTP連接,區分會話取消、阻塞讀取退出與遠端工作,比較Future中斷和主動關閉連接。

    已完成
  43. 工程案例

    Java LLM 實踐(九):取消請求後,舊回答為什麼還會覆蓋新會話?

    18 種固定執行緒交錯,驗證流式預覽、完成和錯誤回呼的請求歸屬,以及取消和有限冪等的邊界。

    10 分鐘已發布
  44. 工程案例

    具身智能實踐(十三):下降中斷之後,應該從哪一步恢復?

    18 個 MuJoCo 回合與同步回放,將階段契約接入恢復預算,區分正常下降誤停、物理放置和控制器終止。

    13 分鐘已發布
  45. 機制拆解

    LLM 機制實驗(六):快取加大了,為什麼還是一次都沒命中?

    27 條冷啟動軌跡、324 次請求與 648 個陣列,按位元組限制前綴檢查點,觀察工作集、隔離與 LRU 淘汰的實際收益。

    11 分鐘已發布
  46. 實驗 / 026

    具身智能實踐(十三):下降中斷之後,應該從哪一步恢復?

    18 個 MuJoCo 回合與同步回放,將階段契約接入恢復預算,區分正常下降誤停、物理放置和控制器終止。

    已完成
  47. 實驗 / 025

    LLM 機制實驗(六):快取加大了,為什麼還是一次都沒命中?

    27 條冷啟動軌跡、324 次請求與 648 個陣列,按位元組限制前綴檢查點,觀察工作集、隔離與 LRU 淘汰的實際收益。

    已完成
  48. 實驗 / 024

    Java LLM 實踐(九):取消請求後,舊回答為什麼還會覆蓋新會話?

    18 種固定執行緒交錯,驗證流式預覽、完成和錯誤回呼的請求歸屬,以及取消和有限冪等的邊界。

    已完成
  49. 工程案例

    Java LLM 實踐(四):兩個請求同時返回,誰有資格寫入歷史?

    用真實Java執行緒重現回復亂序,加入版本票據、完整問答提交與有界回執,明確本地冪等和遠端執行的區別。

    8 分鐘已發布
  50. 工程案例

    Java LLM 實踐(七):引用是真的,為什麼答案仍然不能通過?

    22 個固定配置案例,拆開引用存在、版本範圍、欄位支持與完整性,驗證 Java 回答驗收邊界。

    9 分鐘已發布
  51. 工程案例

    Java LLM 實踐(六):先驗收檢索證據,再談RAG回答

    10篇原創合成資料、14個固定問題,手寫BM25與引用邊界;保留詞匯失配和無答案題的誤命中。

    8 分鐘已發布
  52. 工程案例

    Java LLM 實踐(八):流式回答斷了,半句答案該不該進入歷史?

    22 個回環 HTTP 案例,驗證 UTF-8、SSE 分幀、取消與異常結束,把逐步預覽和完整歷史提交分開。

    11 分鐘已發布
  53. 工程案例

    Java LLM 實踐(五):工具超時了,為什麼任務還在執行?

    用白名單、嚴格參數、零佇列與調用預算構建只讀工具致動器,並重現取消不等於終止的邊界。

    8 分鐘已發布
  54. 工程案例

    具身智能實踐(十二):恢復預算耗盡之後,夾爪應該做什麼?

    12 個 MuJoCo 回合與三畫面回放,對比保持、鬆爪、鬆爪後退,區分終止決定與實際退出後果。

    12 分鐘已發布
  55. 工程案例

    具身智能實踐(十一):已經放好了,為什麼還要撤銷“完成”?

    七條 MuJoCo 軌跡與雙畫面回放,將歷史完成事件和當前有效狀態分開,保留傳感誤報與過期邊界。

    11 分鐘已發布
  56. 工程案例

    具身智能實踐(八):檢測到掉落以後,夾爪應該做什麼?

    15回合固定場景對照保持、鬆爪、鬆爪後退:報警相同,退出動作不同,最終放置也不同。

    9 分鐘已發布
  57. 工程案例

    具身智能實踐(十):恢復次數受控了,為什麼任務反而沒完成?

    12回合對照無限恢復、兩次預算與400ms冷卻:分別記錄啟停、驗收窗口、終止原因和最終任務結果。

    9 分鐘已發布
  58. 工程案例

    具身智能實踐(九):鬆爪命令成功,不等於放置完成

    五條真實軌跡同時檢查單幀與持續窗口:錯誤觀測、延遲鬆爪和完成後的外力揭示驗收範圍。

    9 分鐘已發布
  59. 機制拆解

    LLM機制實驗(一):改動未來Token,前面的輸出應該變嗎?

    從手算兩行Attention到雙層數值對照,驗證因果掩碼、Softmax與未來資訊泄漏。

    8 分鐘已發布
  60. 機制拆解

    LLM機制實驗(二):KV Cache省掉了什麼,怎樣證明沒有算錯?

    逐前綴重算、逐Token快取與分塊快取三路對照,記錄誤差、投影行數和真實數組字節。

    8 分鐘已發布
  61. 機制拆解

    LLM 機制實驗(五):改了歷史,能否只重算變化的後綴?

    27 個固定條件、81 個原始數組,驗證最長相同前綴裁剪、位置同步、滑窗回退與作用域隔離。

    10 分鐘已發布
  62. 機制拆解

    LLM 機制實驗(四):前綴改了,舊 KV Cache 還能繼續用嗎?

    三種子、六條件,比較錯誤重用與帶鍵校驗的前綴快取;數值相同也不代表允許跨作用域共享。

    9 分鐘已發布
  63. 機制拆解

    LLM機制實驗(三):快取只留四格,為什麼不等於重算四個Token?

    用雙層滑動注意力區分絕對位置、快取槽位和歷史表示,展示兩種形狀正確卻計算錯誤的實現。

    8 分鐘已發布
  64. 實驗 / 023

    具身智能實踐(十二):恢復預算耗盡之後,夾爪應該做什麼?

    12 個 MuJoCo 回合與三畫面回放,對比保持、鬆爪、鬆爪後退,區分終止決定與實際退出後果。

    已完成
  65. 實驗 / 015

    L2–L4 / 注意力與快取機制

    從手算兩行Attention到雙層數值對照,驗證因果掩碼、Softmax與未來資訊泄漏。

    已完成
  66. 實驗 / 020

    E11 / 完成事件與當前有效性

    七條 MuJoCo 軌跡與雙畫面回放,將歷史完成事件和當前有效狀態分開,保留傳感誤報與過期邊界。

    已完成
  67. 實驗 / 014

    A2 / 並發歷史提交

    用真實Java執行緒復現回復亂序,加入版本票據、完整問答提交與有界回執,明確本地冪等和遠端執行的區別。

    已完成
  68. 實驗 / 016

    E8 / 報警後的退出動作

    15回合固定場景對照保持、鬆爪、鬆爪後退:報警相同,退出動作不同,最終放置也不同。

    已完成
  69. 實驗 / 022

    LLM 機制實驗(五):改了歷史,能否只重算變化的後綴?

    27 個固定條件、81 個原始數組,驗證最長相同前綴裁剪、位置同步、滑窗回退與作用域隔離。

    已完成
  70. 實驗 / 019

    L5 / 前綴快取失效

    三種子、六條件,比較錯誤重用與帶鍵校驗的前綴快取;數值相同也不代表允許跨作用域共享。

    已完成
  71. 實驗 / 018

    E10 / 有界恢復與冷卻

    12回合對照無限恢復、兩次預算與400ms冷卻:分別記錄啟停、驗收窗口、終止原因和最終任務結果。

    已完成
  72. 實驗 / 017

    E9 / 釋放後的完成驗收

    五條真實軌跡同時檢查單幀與持續窗口:錯誤觀測、延遲鬆爪和完成後的外力揭示驗收範圍。

    已完成
  73. 實驗 / 021

    Java LLM 實踐(八):流式回答斷了,半句答案該不該進入歷史?

    22 個回環 HTTP 案例,驗證 UTF-8、SSE 分幀、取消與異常結束,把逐步預覽和完整歷史提交分開。

    已完成
  74. 工程案例

    具身智能實踐(七):搬運規則,為什麼會誤停正常下降?

    21回合MuJoCo對照:下降需要自己的抓取契約。用正常誤停、舊包報警與晚下降殘留接觸,拆開監測範圍、停止動作和最終放置。

    13 分鐘已發布
  75. 實驗 / 013

    E7 / 下降階段的抓取契約

    搬運規則直接延伸到下降,會漏報、誤報還是改變最終放置?

    已完成
  76. 工程案例

    Java LLM 實作(三):逾時之後,別讓對話歷史悄悄變了

    以候選副本、整輪提交與UTF-8請求預算重寫多輪會話邊界:41項離線檢查,失敗不污染歷史,裁剪失敗仍保留原狀態。

    10 分鐘已發布
  77. 工程案例

    TypeScript 能保證模型輸出正確嗎?32組輸入與 Java 驗證器的邊界對照

    從型別斷言、unknown到原始JSON:重現22個誤接收、4個物件驗證盲區,以及Java/TypeScript契約一致性的實際邊界。

    11 分鐘已發布
  78. 工程案例

    具身智能實踐(六):恢復門控與路徑重規劃,各自解決了什麼?

    30回合消融對照:重規劃把首次目標跳變從50–97毫米降至約0.25毫米,卻沒有提高本矩陣的放置成功率。用原始紀錄拆開恢復證據、動作連續性與任務結果。

    14 分鐘已發布
  79. 工程案例

    具身智能實作(五):通訊恢復了,為何還不能立刻繼續搬運?

    18回合 MuJoCo 對照:舊正常包使基線反覆啟停卻最終成功;以連續新證據與剩餘路徑規劃重新定義恢復。

    12 分鐘已發布
  80. 工程案例

    24次全對之後:怎樣設計更有區分度的上下文實驗?

    從Agnes 3.0的24次真實結果出發,排除句式和編號線索,凍結128項相似干擾對照;用Java 8與獨立稽核驗證材料,不把離線準備當模型結果。

    10 分鐘已發布
  81. 實驗 / 012

    E6 / 恢復門控與路徑消融

    把重新驗收與路徑重新規劃拆開:哪些差異來自證據,哪些來自恢復後的目標?

    已完成
  82. 實驗 / 009

    E5 / 觀測恢復後的重新驗收

    通訊恢復是否足以繼續原動作?比較新證據、舊包重送與剩餘路徑規劃。

    已完成
  83. 實驗 / 011

    A1 / 對話歷史的提交邊界

    請求失敗、截斷或候選裁剪後,如何保持已提交歷史正確?

    已完成
  84. 實驗 / 010

    TypeScript / 輸出邊界對照

    型別斷言與物件驗證各會漏掉哪些無效輸入?

    已完成
  85. 工程案例

    具身實作(二):沒抓住,就別繼續搬運

    在 MuJoCo 中加入抬升與雙側接觸確認,用18回合對照檢驗停止空手搬運,並公開軌跡、影片、程式碼與限制。

    12 分鐘已發布
  86. 工程案例

    具身實作(四):訊息還在到,觀測已經過期了

    45回合MuJoCo對照,分離取樣間隔、異常計數與觀測年齡;理解舊訊息為何掩蓋真實鬆爪,以及時間門檻仍有哪些限制。

    14 分鐘已發布
  87. 工程案例

    具身實作(三):抓住之後,還要一直確認嗎?

    27回合MuJoCo對照:以單次觀測缺失與受控鬆爪,檢驗持續監測、誤停與40毫秒確認延遲,公開程式碼、軌跡與重放。

    14 分鐘已發布
  88. 實驗回顧

    把答案放在上下文中間,模型就會漏掉嗎?一次提前停止的對照試驗

    用 Java 固定 6 組虛構資料,對照開頭、中間、末尾與無答案條件;公開 29 次請求、HTTP 429 和不能下的結論。

    12 分鐘已發布
  89. 工程案例

    LLM 實驗(二):先讓對照成立,再談上下文位置

    以 Java 8 實作成組對照與節流,完成 Agnes 3.0 的24次真實請求;公開逐項評分、服務端用量,並解釋全對結果的邊界。

    16 分鐘已發布
  90. 實驗 / 006

    E2 / 確認抓取後再搬運

    以連續高度與雙側接觸紀錄,判斷失敗抓取後是否應繼續搬運。

    已完成
  91. 實驗 / 008

    E4 / 觀測新鮮度與取樣間隔

    區分訊息抵達與新證據,檢驗固定計數在不同取樣週期下的含義。

    已完成
  92. 實驗 / 007

    E3 / 搬運中的持續接觸監測

    以真實鬆爪與單次空接觸報告,區分漏檢、誤停與確認延遲。

    已完成
  93. 實作教程

    Java LLM 實踐(二):HTTP 200 之后,怎樣驗收模型的 JSON?

    從一次真實的代碼圍欄響應和三次超時出發,用 Java 8 實現嚴格結構校驗、受限格式適配與可追溯的失敗處理。

    16 分鐘已發布
  94. 實作教程

    具身智能實踐(一):在 MuJoCo 中抓起方塊,再故意抓偏

    用真實物理接觸完成一次抓取放置,再對照0、25、50 mm目標偏移,保存視頻、狀態軌跡和明確的成功判定。

    18 分鐘已發布
  95. 實驗 / 004

    VL01 / 抓取目標偏移對照

    固定控制器下,拾取目標偏了 25 / 50 mm,會發生什麼?

    已完成
  96. 工程案例

    AI Radar 工程拆解:從 RSS 到網站,中間發生了什麼?

    沿著本站真實程式碼,追蹤采集窗口、每日配額、去重、自動檢查和部署,並用證據定位“采集成功卻沒有更新”。

    12 分鐘已發布
  97. 機制拆解

    OpenVLA 程式碼導讀:圖像和一句指令,怎樣變成機器人動作?

    沿著 processor、視覺投影、動作 Token 與反正規化追蹤一次推理,重點檢查動作單位、邊界索引和部署介面。

    12 分鐘已發布
  98. 機制拆解

    KV Cache 拆解:多輪對話的歷史,為什麼還要再傳一遍?

    從因果注意力推導 K/V 復用,用一個可計算的記憶體例子區分推理快取、前綴快取與聊天記錄。

    10 分鐘已發布
  99. 實作教程

    用 Java 8 呼叫大型語言模型:從第一次請求到多輪對話

    透過三個實際執行的 Java 範例,理解模型請求、JSON 解析、讀取逾時與對話歷史。

    15 分鐘已發布
  100. AI 雷達 / 週報

    AI Radar · 2026-W36

    本週來源摘錄與連結彙整。

    已發布
  101. AI 雷達 / 週報

    AI Radar · 2026-W37

    本週來源摘錄與連結彙整。

    已發布