跳到主要內容

發表文章

目前顯示的是有「Petri」標籤的文章

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

[底片集] Petri ES Auto 卷四

使用相機: Petri ES Auto 使用底片:Fujifilm X-tra 400 過期 沖掃店家:士林正典 年底的員工訓練兼策劃會議兼員工旅遊兼補班,總之兼很大就對了。 其他本卷照片: Petri ES Auto vol.4

[底片集] Petri ES Auto 卷三

使用相機: Petri ES Auto 使用底片:Kodak PJ400 過期 沖掃店家:士林正典 禮拜六跟家人去了 洲美國小 。即將廢校的洲美國小有兩千坪寬闊草坪,被自然所環繞著,遠離了都市的喧囂。 學校裡有樹屋,孩子可以在裡面休息玩耍。 大片的操場綠地,孩童的遊樂設施,這裡的植物都長得很好。 有好幾棵被圈上紅圈圈的老榕樹。 說真的,這麼美麗的學校廢掉了好可惜! 其他本卷照片: Petri ES Auto vol.3

你在幹什麼?

(Petri ES Auto,Kodak Profoto 100 XL 36+) 我有一次在新故鄉某處拍照,有位阿伯騎腳踏車經過,正義凜然地質問我為什麼要拍,有什麼目的。 阿伯的口氣,像是擔心我偷取了機密,或要做什麼不和諧的告發舉措,還是個有心機的土地買賣者。 我解釋,只是個愛拍照的業餘攝影者。總不能跟他說是棉被向我眨眼示意我拍照的吧?雖然是真的。

[底片集] 持續新故鄉.Petri ES Auto 卷二

使用相機: Petri ES Auto 使用底片:Kodak Profoto 100 XL 36+ 沖掃店家:石牌清華 新故鄉的週邊離住處的不遠處,有好幾個小公園,更有捷運底下的帶狀公園,這些都是帶 Angel 到處遊憩的好去處。 騎腳踏車、溜滑梯、玩遊樂設施,輕易地就能曬個下午好時光。 一直在尋找這附近尚且存在的底片沖洗店。 帶著相機,持續著新故鄉的探索。 其他本卷照片: Petri ES Auto vol.2

[連動測距相機] Petri ES Auto.1974

對於 Petri 有個懸念,是那台朋友送的 Petri 2.8 CCS ,一直未能找到可以用來換掉後鏡組的零件機,在海灣搜尋的過程中不小心讓我發現這台擁有大光圈的 Petri ES Auto,手癢出了個價想不到最後就以起標價得手了。 從規格上看起來,跟同樣 1970 年代推出的 Minolta Hi-matic E 幾乎相同,搭載同樣焦段光圈 40mm f1.7 的鏡頭,同樣採用 Seiko ESF 電子快門,最速快門同樣達到 1/1000 秒,比 Hi-matic E 更優的地方是可以自己轉動光圈環控制光圈大小! ES 指的是 Electronic Shutter 電子快門,沒電是無法作動的。Petri ES Auto 在美國 K-mart 是以 Focal ES Auto 的名稱銷售。據資料上指出,Petri ES Auto 有兩款不同鏡頭的版本,除了這款 40mm f1.7 以外,還有另一款是 38mm f2.7,但都名為 Petri ES Auto。 相機規格: 鏡頭:C.C Petri 40mm f/1.7 (六片四群),口徑 52 mm,可上濾鏡及遮光罩 (下圖來源:手冊載圖) 最近對焦距離:0.8 m,疊影對焦。 有自拍撥桿,9 秒。 防止快門按壓之鎖定鈕:有,快門釋放鈕的下方轉環對在黑線就是 UN-Lock,往順時針方向轉約 30 度就會 Lock 住快門釋放鈕。 熱靴:有,並且可以設定 GN 值。(亦可使用 PC 線連接閃燈) 快門:Seiko ESF 電子式快門 2 秒 - 1/1000 秒,沒電無法作動。 ISO:25 – 800。 重量:約 520g。 尺寸:133×78×56mm 原本使用的電池:HM-N 型水銀電池 (1.35V) 兩顆 (同 PX640、PX640A),我是採用跟 Minolta Hi-matic CS 一樣的方式,一邊裝上兩顆 LR44,另一邊裝上螺帽跟金屬墊片,這樣就可以很方便的取得 LR44 電池使用。 資料參考: http://camerapedia.wikia.com/wiki/Petri_ES_Auto (英文) http://homepage1.nifty.com/fukucame/petries...

[底片集] 新故鄉.Petri ES Auto 卷一

使用相機: Petri ES Auto 使用底片:Fujifilm X-tra 400 沖掃店家:士林正典 在台南生活了十八年,木柵生活了五年,永和八年,今年初來到了新故鄉。 新故鄉裡有很多新舊並陳的因子,是台北市卻又不那麼台北市,徒步其中會覺得格外奇妙。 這卷拍得很快,一兩個小時的步行時間吧,連同另一台裝著黑白底片的 OM 一起拍完了。 像是胡亂地想找尋什麼,尚且存在一種想快速融入新故鄉卻仍未果的突兀。 另外,沒什麼人談論的這台 Petri ES Auto,實際拍攝表現還不差,感覺賺到了! 其他本卷照片: Petri ES Auto vol.1