跳到主要內容

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

歷史舊港的重現.安平漁港

42260007

(攝於台南安平漁港,Minolta XD,MD ZOOM 75-150mm & MD 28mm,Perutz Primera 100)

安平舊港(即今安平漁港)的營運歷史可分為三個時期:

最早是十九世紀1823年開港,台灣少數大港口之一,1865年天津條約被迫開放為對外通商口岸,因而開啟西洋傳教士來台,創立台灣近代文明的豐功史蹟。

當時的安平港(又稱台灣港),是位於今日安平舊港北方,鹽水溪出海口及北方四草湖一帶,在十九世紀末,儼然是台灣府城國防及貿易的重要大港。安平區內現今保留的洋行、海關、領事館古蹟或遺址等,就是當年通商貿易所留下的歷史見證(見本文最下方備註圖解)。然而好景不常,因淤砂問題日益嚴重,港口時常淤積影響船隻運行,日治時期進行新港口闢建工程,即目前安平舊港的位置,是為日治時期的安平港。

雖然修建運河及不斷疏濬港口,終究不敵大自然的造化以及高雄港開港的競爭,安平港功能降低而逐漸沒落,終於在二次大戰後因設備嚴重被破壞,港口淤積更甚而不堪使用,舊港於1974年封港。不久於南方兩公里處之鯤鯓湖興建安平新港,又稱為安平商港,營運歷史進入第三時期,淤積的舊港口從此被遺忘了,原本的港口航道已被淤沙積成陸面,即是之前安平連接漁光島及海濱秋茂園、露營區的主要道路(漁光路的一部分)。

From:安平舊港重現-台南故事系列之九

起了個大早,自己開了車往安平海邊開去,循著記憶想往漁光島的秋茂園去,未料漁光島已成一水之隔的彼岸。(其實 2008 年就開港了,但是我一直都不知道呢!)

雖然是年節期間,不少漁民還是照常早起工作的。

42260002 42260016
42260005
42260009

也有不少早起的釣客

42260006 

釣魚沒在帶餌的,直接拿海草就可以

42260004

也有人帶著狗,慢跑在堤岸上

42260008

長在海邊礁石上的海草,垂手可得

42260012 

沙灘上生長的植物

42260011

沿著海岸往另一邊走去,是小時候常去的海水浴場

42260010

沒人管理,水深危險,小心安全,一片自由的海灘,因為清晨顯得寧靜非常

42260013

Google Map 都還是舊的圖資,怪不得我不知道


檢視較大的地圖

留言

這個網誌中的熱門文章

有點誇張的準專業機.Minolta Alpha 7 (Dynax 7、Maxxum 7).2000

題外話,去年幫朋友標了這台,遲遲未寫一篇介紹,其實是有私心的,好東西少一點人知道比較不會搶。 上個禮拜因為自己要 幫朋友拍攝一場婚禮 ,無巧不巧原本服役的 707si 掛了,於是跟朋友商借了 Alpha 7 來拍,拍過之後就一直放在身邊,說實在的有點捨不得還,快門聲,手感,強大的性能,實在是有點誇張。 拿 Alpha 7 拍我女兒的時候,因為有 LCD,我女兒會說我要看,而不是問我 把拔這台是底片的嗎 ?讓我解釋半天她也不相信,直指著 LCD 要看照片,很妙,但是個識貨的女孩,一眼就看出這台相機的特點,機背有 LCD。 於 1998 年推出頂級機 Alpha 9 之後,2000 年推出的 Alpha 7 除了快門速度和連拍速度緊挨著機皇而沒有強過頭,卻在準專業定位的 Alpha 7 身上加入多項先進的功能,其中許多 Alpha 9 所沒有的,相當驚人,整理於下: ※ 全新開發之 CDC912 對焦系統,九點寬域對焦,排列為黃金矩陣 ,宣稱為世界首快之 AF 對焦;機背轉盤可選擇對焦點並直接對焦。(Alpha 9 為三點寬域自動對焦) ※ 首見機背大型點矩陣式 LCD 大幅增加人機溝通性能,若採垂直控制拍攝時LCD會隨之轉為垂直。 ※ DMF (Direct Manual Focus) 功能 :透過機身可讓鏡頭全時手動,無須撥動AF/MF鈕 ※ 世界首見 STF (Smooth TransFocus) 特效 ,可使每支鏡頭作出特殊背景鬆濛感,類似Minolta STF 135mm f/2.8[T4.5]的效果 (作用原理:相機自動切換為多重曝光,並於曝光時逐漸縮小光圈葉片)。[Custom 3] ※搭配新一代納入距離編碼器的鏡頭時,Alpha 7 可採 ADI (Advanced Distance Intergration) 測光模式 ,或配合 TTL 4 區閃燈測光。 ※一推出即支援 SAM 超音波馬達鏡頭。(Alpha 9 需要更新韌體) 功能很多很強大,底下就先挑一些比較有意思的設計做介紹。 》十四區蜂巢式測光,LCD 顯示 當同時按下 AE 曝光鎖 (AEL) 與 LCD 顯示選擇鍵 (DISP) 時,會顯示 14 區各分區的相對EV值,與灰色部份比較,白色的為正值,黑色的為負值,以上圖為例,畫面最暗的地方是 –2.3,最亮的地方是 ...

[古典相機] M 系列快門最速.ME MX 合體.Pentax ME Super.1980

Pentax M 系列機身中,快門速度達到 1/2000 秒的,就只有 ME Super 以及需搭配特殊鏡頭 AF 35-70 f2.8 自動對焦的 ME-F 。 為什麼要說 ME Super 是 MX 以及 ME 的合體呢? MX 是只有曝光手動控制, ME 是只有光圈先決,另有幾台 M 系列 1980 年代出的 MG、MV、MV1,也都只有提供光圈先決,除了改變 EV 值外,沒辦法手動調整快門速度,ME Super 是整個 M 系列機身第一台同時可以手動設定快門也能 Auto 快門的機身,或許是因為希望機身維持像 ME 一樣小,所以在快門設定的功能上,並不像其他家是用機頂轉盤的方式 (OM-2 是用機身接環前的轉環),Pentax ME Super 的快門設定是機頂上的兩個鈕,只能在觀景窗內,透過 LED 指示燈顯示所選用的快門速度,同時也會顯示是否 Over 或者 Under。 機身的設計與 ME 幾乎相同,除了機頂右邊的轉盤處加了兩個手動設定快門速度的鈕,其他都相同,寬度和高度就比 ME 多了一點點,真的只有一點點,就各多個 0.5mm,但重量卻比 ME 更輕,猜想是使用了更輕量的機身結構吧,而可搭配的捲片馬達手把也能通用 (ME、ME II)。 MX 與 ME、ME Super 之比較》 機型 生產 體積 (mm) 重量 快門速度 閃燈同步快門 MX 1976-1985 135.8 x 82.5 x 49.3 495g 1 ~ 1/1000, B 1/60 ~ 1, B ME 1976-1980 131 x 82.5 x 49.5 460g 8 ~ 1/1000, B 1/100 ~ 8, B ME Super 1980-1987 131.5 x 83 x 49.5 445g 4 ~ 1/2000, B 1/125 ~ 4, B ...

我家用的除濕機,象印輕巧型沸石式溫風除濕機 ZOJIRUSHI RV-JBF60RV

Angel 扶著的那台就是了,我很喜歡這台運作時的還不算太吵,也不會太佔空間,我們的衣帽間不大但太亂了所以就不拍全貌了,不佔空間又輕這個優點對老婆來說還蠻重要的,老婆也常常用這台的排風口把突然下雨還沒晾乾的衣服放進衣帽間烘乾。 當初會選這台,主要是因為象印這台 RV-JBF60 是沸石式除濕的技術,而不是以前我們用的那種冷媒除濕機,冷媒除濕機的原理其實跟冷氣是一樣的,差別是在冷氣把熱風往外排,而除濕機只是把熱風直接排出來在同一個空間。 日本象印創新技術的沸石式除濕為最新進的科技突破,而在日本已經成為主流!取代傳統壓縮機式的除濕機,無需冷媒,因此相對具有重量輕,體積小,低噪音,除濕力強的等優勢,簡單說就是像海綿一樣會吸水的石頭,吸到飽合水滲透下到水箱,有別傳統壓縮機式除濕機的笨重,高分貝又不環保的除濕方式! 發現最近好像有特價,比我之前買得還便宜說,而且賣場還有 18 期 0 利率,所以跟大家分享一下。 原價$11990↓限時狂殺 象印輕巧型沸石式溫風除濕機(RV-JBF60) 體積輕巧,收納便利 除濕度指標一目瞭然 10㎡~21㎡除濕面積 82分鐘衣物快速烘乾 無冷煤沸石式除濕 商品特色: 1. 超輕量5.3Kg,無冷媒又環保的沸石除濕。 2. 竹炭除臭及綠茶兒茶素防霉的過濾網。 3. 82分鐘快速烘乾衣物。 4. 6大安全設計自動停止。 5.( 3 )/ 4 / 6 H定時運轉設計。 6. 135度超廣角的風口,烘乾 / 除濕更透徹。