跳到主要內容

發表文章

目前顯示的是 4月 11, 2010的文章

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

生.老.病.死

(攝於永和河濱公園,Sony A450,Minolta AF 50mm f1.7) 生理的四相,生.老.病.死。

How many weeks in a year?

It’s Google’s Answer.

減速慢行

(攝於永和河濱公園,Sony A450,Minolta AF 50mm f1.7) 在都市生活的步調,向來追求極大的效率化,快,還要再快。 試著放慢自己的腳步,看看身旁未曾關心過的景緻,或許別有一番風味。

浪漫悠閒的午後時光,法妮草本(FARNEX)天然有機花草茶飲

說起喝茶,從小就跟著爺爺喝老人茶。一直到現在,除了閒暇時跟朋友泡泡茶,特別是夏天的時候,也很喜歡自己做冷泡茶來喝。 我不太喝咖啡,一般來說,我平時比較常喝的是介於生茶與半熟茶之間的茶,偏好生一點的茶,茶氣味較清香、甘淡,主要是因為清香的茶喝起來比較舒服。 一般我們常喝的中國茶,其實大量飲用對身體不見得好,據說每天喝一升以上的茶水,可能會出現維生素B1缺乏症,這是因為鞣酸會與維生素B1結合,使其含量下降。勉強飲茶也可能增加胃的負擔,引起消化不良。而咖啡因會增強胃液分泌,所以胃潰瘍病人也不宜多飲茶。 於是最近開始找一些較著重養生功能的草本茶飲,像是之前喝過的 魚腥草茶 ;後來也想試試歐洲流行的花草茶,這次品嚐的正是 來自德國的天然有機花草茶飲 。 而飲用花草茶飲,好處是溫和不刺激的特性,不含咖啡因和茶鹼,非常適合做為日常飲品,據科學測定,以植物花瓣為主的茶並不會使人難以入睡,常期飲用也不會引起如咖啡因類飲料所導致的心悸、腸胃不適、上癮等症狀,長期飲用可以調整體質,具有調理身心的功能;除了有益身心,有些花草茶中富含維生素B、C、E等抗氧化的成份,或是具有滋養肌膚、預防青春痘的功能,經常飲用可使妳容光煥發,神清氣爽哦!

Sony A450 轉接 M42 老鏡心得

以前用 Pentax K10D 接 M42 老鏡的時候,還很難具體地體會 Pentax 對於 M42 支援度最好的這件事。 直到找了一下 M42 to Minolta AF 轉接環的資訊,打算拿 Sony A450 來轉接才有比較清楚的體悟,不過也不能說是全然的不好用。 Pentax K10D 使用 M42 老鏡,轉接環不需要電子接點即可支援合焦指示以及機身防手震;機身可使用光圈先決模式,雖然,測光不完全準確,但一般來說只要再配合 EV 的調整就很好用;另外,K10D 還蠻大的觀景窗 (雖然比起他家更高階的機種不見得是最大) 對於手動鏡十分友善。

會做表情的狗

(攝於永和八二三公園,Sony A450,Zenit Helios-44m-7 MC 58mm f2 M42) 很妙,在按下快門的瞬間,他做了一個頗有喜感的表情。 天氣好的周末,這裡少說有上百隻的狗狗。 狗狗的主人在這裡聯誼,狗狗也在這裡玩得盡興。