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 導...
這台肯定是我收藏的二手相機中,品項最漂亮的一台了,很感謝在 Flickr 上認識的 mgtelu 前輩願意割愛。 距離 Yashica 於 1966 推出第一台 RF 相機:Yashica Electro 35,這台 1973 年推出的 Yashica Electro 35 GSN 是第四代機種,大部份規格沿革自前幾代機身而有所提升,35 GSN 加上了「熱靴」以支援單點閃燈,同時仍保留可以使用閃燈 PC 線連接傳統閃光燈。 值得一提的是鏡頭,應該是從 Yashica Electro 35 G (1970 以後生產的版本) 或 Yashica Electro 35 GS 開始,鏡頭多加 COLOR 的字樣,這是表示這顆鏡頭相對於前代鏡,特別針對了開始流行的彩色底片進行校正。不少二手賣場的賣家,都會特別稱呼這台是窮人的蔡司,最主要是因為 Yashica 在 1973 年正式與蔡司合作,取得不少蔡司的光學技術,不過基本上或許是藉著蔡司的名號來提高這台 (35 GSN) 的名氣,畢竟產品線不同 (RF and SLR),而且是 Yashica 自 1963 年以來就有的產品,與蔡司的相關性有多少不得而知;倒是 Yashica 與蔡司合作後,除了掛上 Contax 品牌的鏡頭與機身 (C/Y Mount),也推出的 SLR 跟自家鏡頭,使用與 Contax C/Y lens 相同的接環外,傳說掛 Yashica 品牌的鏡頭也偷偷使用了蔡司的光學技術 (Maybe 鍍膜),這方面的可能性或許還比較高。