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 導...
郭添財指出，民進黨的市長參選人反對兩岸簽署ECFA、反對台南的農漁產品銷往大陸、反對陸生來台文教交流、反對大陸觀光客來台灣、反對農村再生條例，什麼都反，不能選這種人當市長；否則經濟無法發展、農村無法富裕，五十年甚至一百年後，台南不知變成怎樣，對不起咱的子孫。
因此，
大陸觀光客來台灣 → 農村富裕，經濟發展
陸生來台文教交流 → 農村富裕，經濟發展
兩岸簽署ECFA → 農村富裕，經濟發展
農漁產品銷往大陸 → 農村富裕，經濟發展
有農村再生條例 → 農村富裕，經濟發展
所以競選廣告的意思是，國民黨做得爛是正常的。
再來是台北市辦花博
台北花博花費約一百四十億元，被質疑預算浮濫編列，台北市議員顏聖冠昨引述網站資料指出，和近年各國辦花博的支出，台北花博花費幾乎創下歷史最高紀錄。她說，泰國花博只花費廿億元，德國花卅七億元，中國花五十五億元，而這三國的花博都名列國際園藝生產者協會（ＡＩＰＨ）第一級A1的等級，反觀被列為A2/B1等級的台北花博花費竟然高數倍，道理何在？
Ref: http://www.aiph.org/site/index_en.cfm?act=teksten.tonen&parent=4683&varpag=6339
再來是 2009 縣市滿意度
至於五都八縣市中的藍營執政部分，則交出糟糕的成績，胡志強慘跌到第十八名，近日被新生高架橋採購爭議纏身的台北市長郝龍斌，以第廿一名維持低檔徘徊，台中縣黃仲生廿三名，台北縣長周錫瑋則無法擺脫「吊車尾」的命運。
留言
張貼留言
回應不用錢，請多多益善！懶得寫字按個讚也是相當感謝！