TL;DR: 用 Qwen3.5-9B（Q4_K）在單張 16GB AMD GPU 上跑本地 LLM-as-a-Verifier，每次 code comparison 約 0.5–2 秒，cache hit rate 66%，正確程式碼穩定給 1.0 分，有 bug 的給 0.0–0.14 分。16GB 跑 9B 模型綽綽有餘，還有空間跑其他服務。 這篇是實測續篇，前兩篇分別講了 架構設計 和 Docker 封裝 。前兩篇講的是「做什麼」跟「怎麼做」，這篇來量「到底多快」。 1. 測試環境 在一台 homelab Linux（CachyOS）上跑的： 項目 內容 GPU AMD 16GB（15.9 GiB）via ROCm 模型 Qwen3.5-9B（8.95B 參數，Q4_K ~5.7GB GGUF） 後端 llama.cpp（llama-server，ROCm HIP build） Verifier Docker container（llm-verifier），port 8010 模型 VRAM ~10.2 GB（模型本身 + 動態 KV cache） GPU 使用率 78% 系統 RAM 62 GB；使用 27 GB（swap 用了 9.3 GB） Context window 131,072 tokens MIN_SCORE 0.8 後端跑在另一台機器上，走 local Gigabit 網路連線。 2. Verifier 在幹嘛 docker-llm-as-a-verifier 包裝了 LLM-as-a-Verifier 這個研究套件，讀取 token-level log probability 來算連續分數，不是簡單的 yes/no 判斷。 Container 開了 7 個 HTTP endpoint： Endpoint Method 用途 /health GET 健康檢查 /v1/compare POST 兩組答案比對評分 /v1/select POST Best-of-N 選最佳 /v1/track POST Agent 軌跡分數追蹤 /v1/directed POST 導...
Canon AF 35 ML，是 Canon 於 1981 年推出的第二款自動對焦的傻瓜相機，夾在第一款和第三款之間，卻是使用不同於一般早期傻瓜相機的五片五群 40mm f1.9 的大光圈鏡頭，有著漂亮的大眼睛是這台的特色。 按：1983 年推出的 Canon (New) Suer Shot 請參考之前的文章： http://jimmyyen.blogspot.com/2010/05/canon-new-sure-shot1983-autoboy-2.html 。 除此之外，Canon 在不同地區的同款相機採用不同的名稱，請參考下表： 年份 美洲 [A] 歐、亞、大洋洲 [E] 日本 [J] 第一款 (1979) Sure Shot AF35M AF35M (Autoboy) 第二款 (1981) Super Sure Shot AF35ML AF35ML (Autoboy Super) 第三款 (1983) (New) Sure Shot AF35M II Autoboy 2 註：Canon AF 35 ML 在日本地區的型號與歐亞地區的版本都是 AF 35 ML，不過日本地區有個小名叫做 Autoboy Super，因為第一代叫做 Autoboy，而這台的鏡頭是強化版的所以加了 Super，在美洲地區則為 Super Sure Shot。 三款相機詳細資料請上： Canon Camera Museum－Film Cameras－SureShot