Hohoo 的實作桌

讀懂之前, 先動手試試。

把抽象的問題變成可檢查的過程。撥動條件,看見變化,再帶著證據回到程式碼。

動手理解

選一個問題,親手拆開。

本機執行 · 無需金鑰

這裡是教學互動,不是已完成的研究成果。改變條件、查看依據,再把問題帶回程式碼。輸入不會上傳,離開或切換實驗會重設操作。

找到 9 個可操作的問題

從互動走向實作

程式碼裡的真實專案

  1. 專案 / 001

    Hohoo’s AI Lab

    公開學習、研究資訊與實作紀錄共用的個人知識網站。

    已上線
  2. 專案 / 002

    Java LLM 實作集

    Java 會話、請求重試與持久化邊界,以及注意力、快取成本和量化誤差的可復現實驗。

    開發中
  3. 專案 / 003

    Hohoo 具身實驗

    MuJoCo 抓取放置與二維力控兩個教學場景,記錄階段契約、調參、繞障和延遲反饋的實際結果與失敗。

    實驗中
全部專案 →

實驗與研究

  1. 實驗 / 001

    檢索品質對照實驗

    固定一組問題與資料,記錄命中文件、引用與回答正確性,比較有無檢索的差異。

    實驗中
  2. 實驗 / 002

    工具呼叫失敗復原實驗

    使用可控制的唯讀工具,注入逾時與空結果,記錄任務完成率和呼叫次數。

    實驗中
  3. 實驗 / 004

    VL01 / 抓取目標偏移對照

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

    已完成
  4. 實驗 / 005

    L1 / 上下文位置試驗:提前停止的一輪

    6 組虛構資料的四條件對照;29 次嘗試后停止,位置差異尚無定論。

    尚無定論
  5. 實驗 / 006

    E2 / 確認抓取後再搬運

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

    已完成
  6. 實驗 / 007

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

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

    已完成
  7. 實驗 / 008

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

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

    已完成
  8. 實驗 / 009

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

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

    已完成
  9. 實驗 / 010

    TypeScript / 輸出邊界對照

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

    已完成
  10. 實驗 / 011

    A1 / 對話歷史的提交邊界

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

    已完成
  11. 實驗 / 012

    E6 / 恢復門控與路徑消融

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

    已完成
  12. 實驗 / 013

    E7 / 下降階段的抓取契約

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

    已完成
  13. 實驗 / 014

    A2 / 並發歷史提交

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

    已完成
  14. 實驗 / 015

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

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

    已完成
  15. 實驗 / 016

    E8 / 報警後的退出動作

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

    已完成
  16. 實驗 / 017

    E9 / 釋放後的完成驗收

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

    已完成
  17. 實驗 / 018

    E10 / 有界恢復與冷卻

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

    已完成
  18. 實驗 / 019

    L5 / 前綴快取失效

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

    已完成
  19. 實驗 / 020

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

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

    已完成
  20. 實驗 / 021

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

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

    已完成
  21. 實驗 / 022

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

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

    已完成
  22. 實驗 / 023

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

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

    已完成
  23. 實驗 / 024

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

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

    已完成
  24. 實驗 / 025

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

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

    已完成
  25. 實驗 / 026

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

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

    已完成
  26. 實驗 / 027

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

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

    已完成
  27. 實驗 / 028

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

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

    已完成
  28. 實驗 / 029

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

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

    已完成
  29. 實驗 / 030

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

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

    已完成
  30. 實驗 / 031

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

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

    已完成
  31. 實驗 / 032

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

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

    已完成
  32. 實驗 / 033

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

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

    已完成
  33. 實驗 / 034

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

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

    已完成
  34. 實驗 / 035

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

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

    已完成
  35. 實驗 / 036

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

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

    已完成
  36. 實驗 / 037

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

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

    已完成
  37. 實驗 / 038

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

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

    已完成
  38. 實驗 / 039

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

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

    已完成
  39. 實驗 / 040

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

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

    已完成
  40. 實驗 / 041

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

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

    已完成
  41. 實驗 / 042

    持久投遞與歷史恢復

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

    已完成
  42. 實驗 / 043

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

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

    已完成
  43. 實驗 / 044

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

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

    已完成
查看實驗提案

下面是待驗證的問題,尚不代表研究成果。

全部實驗 →