文章

把問題讀懂,把方法帶走。

從可執行的教程,到有出處的機制與工程拆解。

59 篇 · 從可執行的教程,到有出處的機制與工程拆解。

  1. 01 / 構建 · 實作教程

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

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

    10 分鐘AI 翻譯
  2. 02 / 構建 · 實作教程

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

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

    10 分鐘AI 翻譯
  3. 03 / 探索 · 工程案例

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

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

    10 分鐘AI 翻譯
  4. 04 / 探索 · 工程案例

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

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

    10 分鐘AI 翻譯
  5. 05 / 探索 · 工程案例

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

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

    10 分鐘AI 翻譯
  6. 06 / 理解 · 機制拆解

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

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

    10 分鐘AI 翻譯
  7. 07 / 理解 · 機制拆解

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

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

    10 分鐘AI 翻譯
  8. 08 / 理解 · 機制拆解

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

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

    10 分鐘AI 翻譯
  9. 09 / 構建 · 實作教程

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

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

    11 分鐘AI 翻譯
  10. 10 / 探索 · 工程案例

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

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

    11 分鐘AI 翻譯
  11. 11 / 理解 · 機制拆解

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

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

    10 分鐘AI 翻譯
  12. 12 / 構建 · 工程案例

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

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

    9 分鐘AI 翻譯
  13. 13 / 構建 · 工程案例

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

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

    9 分鐘AI 翻譯
  14. 14 / 構建 · 工程案例

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

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

    9 分鐘AI 翻譯
  15. 15 / 探索 · 工程案例

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

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

    9 分鐘AI 翻譯
  16. 16 / 探索 · 工程案例

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

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

    9 分鐘AI 翻譯
  17. 17 / 探索 · 工程案例

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

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

    9 分鐘AI 翻譯
  18. 18 / 理解 · 機制拆解

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

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

    9 分鐘AI 翻譯
  19. 19 / 理解 · 機制拆解

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

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

    9 分鐘AI 翻譯
  20. 20 / 理解 · 機制拆解

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

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

    9 分鐘AI 翻譯
  21. 21 / 構建 · 工程案例

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

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

    11 分鐘AI 翻譯
  22. 22 / 探索 · 工程案例

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

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

    13 分鐘AI 翻譯
  23. 23 / 理解 · 機制拆解

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

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

    12 分鐘AI 翻譯
  24. 24 / 構建 · 工程案例

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

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

    10 分鐘AI 翻譯
  25. 25 / 探索 · 工程案例

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

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

    13 分鐘AI 翻譯
  26. 26 / 理解 · 機制拆解

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

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

    11 分鐘AI 翻譯
  27. 27 / 構建 · 工程案例

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

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

    8 分鐘AI 翻譯
  28. 28 / 檢索 · 工程案例

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

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

    9 分鐘AI 翻譯
  29. 29 / 檢索 · 工程案例

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

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

    8 分鐘AI 翻譯
  30. 30 / 構建 · 工程案例

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

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

    11 分鐘AI 翻譯
  31. 31 / 構建 · 工程案例

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

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

    8 分鐘AI 翻譯
  32. 32 / 探索 · 工程案例

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

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

    12 分鐘AI 翻譯
  33. 33 / 探索 · 工程案例

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

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

    11 分鐘AI 翻譯
  34. 34 / 探索 · 工程案例

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

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

    9 分鐘AI 翻譯
  35. 35 / 探索 · 工程案例

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

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

    9 分鐘AI 翻譯
  36. 36 / 探索 · 工程案例

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

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

    9 分鐘AI 翻譯
  37. 37 / 理解 · 機制拆解

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

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

    8 分鐘AI 翻譯
  38. 38 / 理解 · 機制拆解

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

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

    8 分鐘AI 翻譯
  39. 39 / 理解 · 機制拆解

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

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

    10 分鐘AI 翻譯
  40. 40 / 理解 · 機制拆解

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

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

    9 分鐘AI 翻譯
  41. 41 / 理解 · 機制拆解

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

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

    8 分鐘AI 翻譯
  42. 42 / 探索 · 工程案例

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

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

    13 分鐘AI 翻譯
  43. 43 / 構建 · 工程案例

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

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

    10 分鐘AI 翻譯
  44. 44 / 構建 · 工程案例

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

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

    11 分鐘AI 翻譯
  45. 45 / 探索 · 工程案例

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

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

    14 分鐘AI 翻譯
  46. 46 / 探索 · 工程案例

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

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

    12 分鐘AI 翻譯
  47. 47 / 理解 · 工程案例

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

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

    10 分鐘AI 翻譯
  48. 48 / 探索 · 工程案例

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

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

    12 分鐘AI 翻譯
  49. 49 / 探索 · 工程案例

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

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

    14 分鐘AI 翻譯
  50. 50 / 探索 · 工程案例

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

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

    14 分鐘AI 翻譯
  51. 51 / 理解 · 實驗回顧

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

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

    12 分鐘AI 翻譯
  52. 52 / 理解 · 工程案例

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

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

    16 分鐘AI 翻譯
  53. 53 / 構建 · 實作教程

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

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

    16 分鐘AI 翻譯
  54. 54 / 探索 · 實作教程

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

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

    18 分鐘AI 翻譯
  55. 55 / 構建 · 工程案例

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

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

    12 分鐘AI 翻譯
  56. 56 / 探索 · 機制拆解

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

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

    12 分鐘AI 翻譯
  57. 57 / 理解 · 機制拆解

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

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

    10 分鐘AI 翻譯
  58. 58 / 構建 · 實作教程

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

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

    15 分鐘AI 翻譯