跳到主要內容

發表文章

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

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

[中判相機] 老折.Franka Solida III.1954

折疊蛇腹 折疊蛇腹相機 Folding Camera (Folders) 於 1920 至 1950 年代為主力流行的相機款式,而相較於幾個德系知名品牌如 Zeiss Ikon、Voigtlander、Agfa 所推出的折疊蛇腹相機,Franka Kamerawerks 的老折同樣擁有德系血統,造工有一定水準,較之大廠所使用的鏡頭,Solida 所使用的是更大光圈的鏡頭,也是光學大廠 Schneider 或 Rodenstock 的光學產品。 Folding Cemra 可參閱資料: Old Cameras for Ageing Cyclists-Folders 關於 Franka Franka-Kamerawerk 這家相機製造商起源於 1909 年,由 Franz Vyskocil (維斯科奇爾) 夫婦先於 Stuttgart (斯圖加特) 成立,同年移至 Bayreuth (拜羅伊特),公司改名為:Vysko-Fabrik Franz Vyskocil, St. Georgen und Bayreuth。 之後五年間增加投資與合作夥伴,公司更名數次,至 1914 年才更名至最後的公司名稱:Franka-Kamerawerk。 Franka 所位居的城市是現今德國東南部的巴伐利亞邦首府,拜羅伊特市,當時是該地區最大的相機工廠,其所生產的相機有 2/3 外銷。1958 年公司成長發展至最高峰時,約有 154 個員工,生產 65 萬台相機。 按:Flickr 上的 Craig Knapp   網友張貼了一張他近期去到那個工廠的自拍到此一遊照,並在說明提到他遇到一位德國長者說,當年有接近 200 人在此工作,照片連結: Franka Kamerawerks Factory in 2012 。 資料參考自: Camerapedia.Wikia 、 Some words about the Franka-Werk Franka Solida 系列 大約從 1936 年開始生產 Solida 系列,二戰前的 Solida 有 6x4.5 的片幅,其餘大部份皆為 6x6 的片幅,Solida 系列約生產至 1962 年。也有生產名為 Solida 35,採用 135 底片的可換鏡相機 (相當稀少)。 Solida II 以及 Solida III 也有內建疊影測距...