跳到主要內容

發表文章

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

藍光光碟 Remux

我的目的是:將 BD 影片以 720p 的畫質備份於容量愈來愈小的硬碟之中 ~~ 1. TsRemux (Freeware) : Remux Blu-Ray Disc to TS Ref: http://forum.doom9.org/showthread.php?t=125447 2. TMPGEnc 4 XPress (Trial) : Convert TS to AVI (1280x720 = 720p) Ref: http://tmpgenc.pegasys-inc.com/en/product/te4xp.html 3. SUPRead (Freeware) : Blu-Ray Disc SUP Reader Ref: http://forum.doom9.org/showthread.php?t=121535 昨日進度, 大智若魚BD主影片m2ts (20+GB) -> 大智若魚.avi (不到900MB) + 大智若魚.srt 幾乎花掉十多個小時。 畫質在我的爛電視上幾乎看不出來差異。 補充:UDF 2.5 Reader for XP Blu-ray所採用的光碟格式為UDF 2.6,而HD DVD所採用的則是UDF 2.5。這種格式的光碟 並不能在我們常用的Windows XP上觀察到檔案的內容。 安裝 UDF 2.5 Reader for XP,可以解決。 Ref: http://www.cd-dvds.net/modules.php?name=Content&pa=showpage&pid=296

OpenVanilla 0.8

我基本上不能稱做是蘋果的迷,雖然手邊有 ipod nano、ibook g4、macbook pro(這台是單位財產)。 但若不是 Mac OS X 上的輸入法真的用不慣,我想我一輩子也找不到既是國貨,又免費好用的輸入法了。 手邊的所有電腦(Mac、Windows)基本上都是香草輸入法平台的子民,Linux/BSD主機上有別的輸入法框架,也不會太難用,就沒去試香草,況個人管理的主機幾乎都懶得裝Xwindow。Windows上的香草輸入在0.7.x時有點慢,到了0.8好似順多了,但仍在測試當中。我通常會加入candyz的亂倉.cin進行測試。 順帶一提,香草也跟zonble有關,我想他一定不認識我,但我從大學時代就一直聽聞這大學長的盛名,在我工讀的地方。還有像是煮酒BBS,也是當年為了架設系站YKLM,認真學習的目標。

DD-WRT

剛搬家。住進一整層的公寓,約20多坪。 最近要測試的是 linksys wrt54gs and fon 2100 flash with dd-wrt and tomato。 網路上資源眾多。 1. WRT54GS 也可以支援 FON 2. What is DD-WRT? 3. Tomato Firmware

MLB》只花六球解決五人次 小曹超完美中繼演出

MLB 》只花六球解決五人次 小曹超完美中繼演出 更新日期: 2007/04/29 13:36 黃及人/報導 能想像一下如何只投 6 個好球完成 5 個出局數嗎? 曹錦輝 就做到了!今天( 29 日)洛杉磯 道奇 與聖地牙哥教士之戰,小曹本季第 6 次中繼登場,主投 1.2 局僅投 6 球,無安打無失分,還有 1 次三振,表現只能用「超完美」形容,可惜隊友打擊仍不捧場,最後道奇以 2 比 3 敗北。 曹錦輝是在七局下一人出局,一、三壘有人的緊張局面,上場接替道奇先發湯可( Brett Tomko )的投球,小曹只投 1 球,就讓教士打者包溫( Rob Bowen )打出投手丘前軟弱滾地球,完成詭異的「 1-5-2 」雙殺守備,道奇防線先把三壘跑者觸殺在本壘前,然後再把想偷跑到三壘的跑者封殺,漂亮化解失分危機。 八局下半,曹錦輝的表現更完美,上場所投的第 2 球讓教士代打巴德( Josh Bard )擊出中外野飛球出局,隨後只用 3 球,俐落地三振首棒打者吉爾斯( Marcus Giles ),最後面對史利奇( Terrmel Sledge ),小曹投出外角低球,讓史利奇打成游擊方向小飛球出局,宣告誇張地只用 6 球就完成 1.2 局投球。 道奇隊昨天把教士守護神霍夫曼( Trevor Hoffman )打爆,一口氣狂掃 4 分逆轉贏球,沒想到今天卻完全變樣,霍夫曼同樣在九局上半登場救援,這次卻讓道奇中心打線三上三下,精采完成救援任務,讓小曹想要追逐本季首勝的美夢再度破滅。 目前曹錦輝本季出賽 6 場,共主投 6.2 局,只被揮出 1 安打, 5 次三振,兩次保送,防禦率依舊維持在無失分的「 0.00 」狀態,更是道奇隊 12 名投手當中唯一可以保持不破功的球員,遭遇對手的打擊率僅僅 0.05 ,小曹的表現簡直太神了。 雅虎國際資訊 版權所有 © 2007 Yahoo! Taiwan Inc. All Right Reserved. 麗台育樂傳播股份有限公司 版權所有 © 2007 Leadteksports Inc. All Right Reserved.

BOS四連轟~~

1990年以後未曾在Fenway Park被橫掃的球隊,被橫掃了。 95年來未曾出現四連轟的Fenway Paek,驚奇的四連轟。 精采~~

想看王建民?中華電信hinet加入轉播 - 中廣新聞網

想看王建民?中華電信 hinet 加入轉播 中廣新聞網 - 2007 年 4 月 19 日 等候多時國內的球迷,最快下週就有機會看到台灣之光王建民上場比賽,除了收看現有的兩個電視頻道之外,中華電信 Hinet 今天宣布: Hinet 網路影音頻道: hichannel ,將正式加入轉播行列,網友可以上網,直接收看第一手的轉播服務。透過美國職棒大聯盟授權,目前已經取得全年 ... 頻寬 夠、口袋深 HiChannel 本錢勝他人 中時電子報 中華電 HiChannel 免費線上影音大震撼 中國網路電子報 臺視新聞網站 - 蕃薯藤新聞 - 臺灣蘋果日報 - 台灣新生報 所有 23 條相關新聞 檢視文章 ...

播報風格與播報內容

我昨天看了小雞的比賽,前七局內容精采,第八局大失分雖然是因隊友失誤開始,最後不幸被擊出全壘打,抗壓性還有當地天氣過冷而直球球速快不了都可能是原因,而我想這正是為什麼台灣選手該到美日棒球環境發展,挑戰自我。然而,卻始終有一個聲音一直讓我無法專注於比賽的節奏。 我無意挑釁漫罵,我只想提醒,人千萬不要自以為是。播報風格很主觀,我同意,但個人的風格、口語、甚至是情緒性的解釋,難道不影響播報內容的專業甚鉅!! 我當年曾經很常看MLB的花絮球的播報,我認為那是很輕鬆的型態,適合誇張的語調。倘若直播職業比賽的節目,加上一堆莫名的愛國情緒,或者暴投球可以說成傳成全壘打是個人風格的話,我想,我會乖乖的關掉電視節目,選擇賽後的報導。 但無論如何,謝謝所有轉播人員的辛勞。 Ref: http://blog.roodo.com/liveagogo/archives/246649.html