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 導...
From: http://bcnranking.jp/news/1001/100112_16184.html 上表是日本市場 2009 年 12 月可更換鏡頭數位相機 (含有反光鏡與沒有反光鏡) 的銷售成績，Pentax K-x 及 Panasonic GF-1 皆排進了前五名， Pentax K-x 甚至名列第三名 。 日本市場的 Pentax K-x，是擁有 100 種色彩搭配組合，低價卻擁有不錯效能的入門單眼相機，感覺上，這樣子多彩機身的策略，的確是為 Pentax 打開消費市場的利器。(外地市場就沒有那麼幸運，只有少數幾色可供選擇而已) Pentax 在推出 K-m 時，就已經推出白色與橄欖綠二款特殊的色系，而能造成不錯的話題性。2009 年 9 月食髓之味加碼推出 100 種色彩搭配組合的 Pentax K-x，主要的賣點是「 個性化」 ，讓消費者有權決定自己的機身與手把的顏色，Pentax 甚至還推出了全球限量 100 台的 Kore Ja Nai Robot 機器人版本，話題性十足，圖片來源：Google。 K-x 是在 K-m 成功的外型及顏色的基礎上，加碼提供給消費者更強化進階性能的機身，DPreview 的評測給了 K-x 極高的評價，認為 K-x 是現階段 APS-C 片幅在低光源表現 (The K-x is surprisingly a lot better better in low light than its bigger brother K-7, and is no doubt one of the currently best performing APS-C cameras in low light) 以及高 ISO JPEG 直出的表現皆有相當的水準，甚至認為高 ISO 的 JPEG 直出是現階段各家機身中最好的 (Its high ISO JPEGs are possibly the best of all current DSLRs with an APS-C size sensor)，資料來源： http://www.dpreview.com/reviews/pentaxkx/page29.asp 。 很有趣的是，Pentax 基本上在電子性能的進步，不見得只會放在其定位為中高階機種的機身之中，而是在較新的機身...