跳到主要內容

發表文章

16GB ROCm 本地 LLM-as-a-Verifier 實測數據:Qwen3.5-9B 跑起來到底多快

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 導...

[山服]忠治出隊之記(一)

作者 : ZENG (二一列車稍等ㄟ唷) 標題 : 忠治出隊之記(一) 時間 : Tue Aug 10 06:29:57 1999 第一次來到烏來.. 是小學六年級的畢旅.. 再次來到這裡.. 是大二升大三的暑假.. 大山隊十年來第二次更換出隊地點而到這兒出隊.. 然而談到出隊前對這裡的印象.... 腦袋裡除了國小老師說的風景秀麗、風光明媚幾句成語之外.. 卻是一片完全的空白... 出隊的地點是在新烏路旁一段往上的小路.. 風景區以外的忠治村... 這個村落.. 曾是相當有名的安毒之村... 村內打群架.. 喝酒鬧事多不勝數.. 而在此村的出隊.. 也不如以往在澳花出隊的順利... 有國小可以做為我們休息以及辦活動的地點... 一個被住家包圍的小活動中心... 是我們除了上廁所之外的所有活動地點.. 早上睡覺起來把睡袋摺好... 往裡面堆去.... 排好桌子以後便是我們用來課輔的地點.. 或是大地遊戲其中之一的關卡.. 在忠治比較特別的是.... 巴洞們開檢討會及推隔天流程時.. 有醉漢進來共襄勝舉.. 身為生管... 跟他哈啦了幾句... 想哄他出去... 他卻鄭重地回了一句.. 這裡是我們的地方.. 為什麼我不能進來.. 義正辭嚴... 說得讓我不知怎麼應對... 幸虧後來老師出來排解.. 睡覺之前也有醉漢進來關心我們的被子蓋得暖不暖.. 半夜裡還有住在後頭的人家獵了野味... 凱旋歸來.. 據說有人被吵醒... 後來再也沒睡著... 小弟身為生管.. 為了讓大家安心... 開完檢討會便要大家安心地睡.. 我會負責守夜.. 坐在活動中心的樓下.. 等著終於輪到洗澡的二位核心幹部回來.. 也才有機會比大家早些先認識了這裡的三個青少... 這兩位洗澡的大小姐動作相當緩慢... 聊著聊著... 十分鐘過去.. 二十分鐘過去.. 三十分鐘過去.. 四十分鐘過去.. 沒什麼建設性的屁了一堆話... 也親眼見著了不少半夜叫醒商家老闆買酒的酒鬼. 最後懷著一種蠻愉快輕鬆的感覺... 決定不守夜.. 早點睡覺.. 出隊到這兒的第一個晚上......

[學顧]賣紙是學顧的天職... 看美女是學顧的福利...

作者 : ZENG (1+2+3+4+5+6+7) 標題 : 賣紙是學顧的天職... 看美女是學顧的福利... 時間 : Fri Jun 4 03:33:09 1999 其實是為了禮拜四晚上阿扁的演講... 才跟人交換了星期三晚上微二的爛班來值.. 但對於當日紙張銷售一空... 造成洛陽一夕紙貴的情形.. 要感謝的人實在太多... 特別是本系的各大美女帥哥.. 以銷售量以及銷售的速度來說..... 當日一開市便由某大盤商包下了之前還剩下半包左右的紙.. 小弟趕忙跑到微辦補貨.. 順便也趕忙讓另一台印表機恢復動作.. 當時心想紙再拿一包大概夠了吧... 自殺概也是有殺完的一天吧... 不會再有一次六十張的了吧.. 沒想到... 果真人算不如天算... "學長.. 我要買紙.. 先四十張好了..." "學顧.. 我要五十張紙..." "學長.. 我還要二十張..." "同學.. 二十五張紙..." ................... 當日的庫存在本校師生熱情的光顧之下... 計中在九點半之前即宣布 A4 紙售完.. 明日請早.. 綜合一個晚上應付著各式各樣買紙的 user... 個人研究統計的結果大致可分為: 富家子弟型、啼笑皆非型、克勤克儉型 一.富家子弟型的典型例子會說: "學顧.. 我要一百張紙.. 一千塊給你找..." 二.啼笑皆非型則會問: "學顧.. 我這幾張印錯了.. 可以跟你換新的紙嗎?" 三.而克勤克儉這一型的人會問: "學顧.. 我這一面印壞了.. 可以再用背面印嗎~~~" 至於應對的方法在此不便透露... 內容涉及學顧甄選考試內容... 歡迎大家來參加培訓即可...

[手札]YKLM校史最初版

作者 : zeng (離開吧.. 也許) 標題 : YKLM校史最初版 時間 : Fri May 21 20:19:51 1999 猶記得那是個月黑風高的夜晚..... 三個人.... 黑板上.... 寫著教育系主機大計劃... 內容是讓三台電腦除了 case 是屬於主人的以外... 裡面的內臟部分完全對調.... (嗚.. 我可愛的老婆..) 然而此計劃的目的便是為了個什麼 YKLM 創校第一版... 當時年幼無知的我.... 就這樣被捲了進去... 於是由計劃敲定的隔天深夜起... 原本寧靜祥和的 5209 電腦室... 出現了堪稱系史上最不人道的一頁... "ㄍㄢ`!!! 你白爛哦... 插錯了啦... 給我拔起來再插一次" "靠北.... 你這裡打錯了啦.... 罰你買碗麵回來.. 快去.. 還有阿薩姆奶茶.." .............. 故事內容太過血腥暴力... 為顧及教育系師生整体形象之維護... 酌量予以刪除...... 經歷一番寒風刺骨的煎熬.... 經過七七四十九天的測試.... 終於建立起初步的規模.... 一個站長... 六七個版主... 十個版.. 這裡倒底賣什麼藥... 除了每次上站都會看到的進站畫面以外.... 就是幾乎每次進站都出現的 "目前上站人數: 0人" 以及有點冷清的幾個版面.... 這時大家的心中一定懷疑起... 這樣的站有可能活得下去嗎?? 令人驚奇的.... 這個站奇蹟似的存活了下來... 一段時間..... 在幾個極度無聊的 YKLM 大學生到處拉客的行動之下... 各大 BBS 站在極短的時間內連續被放了好幾個動態看版.. 曾經一度造成全台灣轟動一時的話題..... 到底什麼是 YKLM 大學..... 大致是宣傳有一個很希望人家來的站... 沒...

[學顧]學顧學顧... 學分要顧...

作者 : ZENG (工友小正) 標題 : 學顧學顧... 學分要顧... 時間 : Wed Mar 31 09:09:40 1999 這學期的時數... 應該是全計中排行前幾名的吧... 學姐說那是『開低走高』.... 我想她說的是"誰叫你一開始填那麼少班.. 死吧!! 哈哈" 唔.... 真狠.... 每天晚上... 除了一、三是我刻意留下來給社團的時間... 其他的晚上都會出現在計中.... 就連雙數週的星期六晚上也不例外... 其實這種死命掙錢的心態是值得做研究的... 通常歸咎其行為之動機後.. 通常可以發現這種人分成兩類.. 一種是真的很缺錢.. 這種人可能是住在外面.. 或是辦了手機.. 還沒跟家裡報備... 或是家裡不同意的情況下自己先出錢... 生活在每天都被房東摧討房租的壓力之下.... 會分泌出腎上腺素.... 充滿戰力的待在某地方搞錢... 這種人可以用詹腥汗之流來做為例子... 另外一種是人生的悲劇... 或說是忘情於工作.. 難以自拔.. 何以寄情於工作... 通常可以歸因為以下二點.... 一是交不到馬子的羅漢腳.... 二是被馬子拋棄的可憐蟲... 這兩個致命的動機會讓一個人失去理智的搞錢... 費盡心思也要幫別人代班... 絕不能被別人搶先一步... 尤其是看到新考進來的學顧和老的學顧.... 帶著女朋友來計中談情說愛.... 上班還有女人陪的心路歷程... 其心淌血... 只好化悲憤為力量.... 不擇手段把那些人的班搞過來值... 事實上這種人算是犧牲小我... 成全別人的感情的偉大人物.. 因為根據作者本人的研究論文集第五章提到... 這些人沒來上班的十大原因之首... 正是陪女朋友散步聊天... ㄠ.... 就連學姐也默許這種不成文的規定....... 不公平.... 學姐也有男朋友.... 我要上訴.... 唔.. 張小姐也有老公.. 單身漢果然是弱勢族群... 生存在這種主流文化壓迫之下.... 明哲保身.... 還是乖乖幫別人代班吧.. 認命點... ...