本期焦點涵蓋 Rust 桌面應用、AI 輔助開發驗證、模糊測試、資料庫驅動、密碼學、跨語言互通與效能評測。多篇文章共同指出:能編譯、測試全數通過或跑出漂亮數字,都只是驗證工作的起點。
React 19、Tauri 2.0 與 Rust 打造 P2P 桌面通訊程式
Seal 是一款跨平台點對點桌面聊天應用,前端採用 React 19 單頁應用,並執行於 Tauri 2.0 的 WebView 封裝中;後端核心則由 Rust 負責 libp2p 連線及 Olm/Megolm 加密等功能。這個案例展示了 Web 前端技術與 Rust 原生能力在桌面應用中的分工方式。
AI 寫出的 Rust 通過編譯,仍不代表品質有保證
AI 能快速建立 crate、實作 trait、產生測試,並讓 cargo check 顯示綠燈,但這不足以證明程式已正確融入既有設計。文章提醒,評估 Agentic Rust 開發成果時,不能只看首次成功建置,還必須檢查所有權模型、設計一致性與實際行為。
不靠 LLM,重新體驗手寫 Rust
作者從社群媒體與 AI 工具對工作習慣的影響出發,重新思考親手撰寫 Rust 程式的價值。這不只是工具選擇,也涉及工程師如何維持對程式碼、問題拆解過程及自身技術能力的掌握。
RustGo:針對 Rust 記憶體安全的定向灰箱模糊測試
RustGo 是一項探討 Rust 記憶體安全的研究,採用定向灰箱模糊測試來尋找問題。雖然 Rust 透過所有權等嚴格規則提供強力保障,但使用 unsafe 的程式碼仍可能出現記憶體錯誤,因此相關測試技術依然重要。
Oracle 推出新的 Rust 資料庫驅動程式 rust-oracledb
Oracle Database 驅動程式開發團隊發布了 rust-oracledb,提供 Rust 應用程式連接 Oracle Database 的新選項。對需要將 Rust 導入既有 Oracle 系統的團隊而言,這項發布值得持續關注。
kyn-vdf:以純 Rust 實作 Wesolowski VDF 驗證器
kyn-vdf 是一套從頭實作並開放原始碼的純 Rust 專案,涵蓋二元二次型運算,以及虛二次類群上的 Wesolowski 可驗證延遲函數驗證。其運算實作採用 Shanks 的 NUCOMP/NUDUPL 方法,適合關注 Rust 密碼學與數論實作的開發者。
把 Rust 的 Result 與 Option 型別帶進 TypeScript
results-ts 嘗試在 TypeScript 中提供類似 Rust Result 與 Option 的型別表達方式。這類設計可讓成功、失敗及可能不存在的值直接反映在型別與控制流程中,減少依賴隱含的例外或空值慣例。
效能評測不能只留下最好看的數字
machin 是一種帶有 Go 風格、支援型別推導,並透過 C 編譯成單一原生執行檔的程式語言。作者將它與 Rust、Zig 比較,並選擇刪除自己最亮眼的數據;文章核心在於誠實檢視評測方法,而不是只挑選最有利的結果。
移植 croniter 後測試全過,仍需主動嘗試推翻結果
作者將 croniter 移植到 Rust 並讓既有測試全部通過,但強調這只能證明實作者所控制的測試成功,不能直接證明移植完全正確。文章把重點放在如何主動找出反例、驗證相容性,並嘗試推翻自己的實作假設。
Crubit 串接 C++ 與 Rust 的雙向互通流程
Crubit 是一套面向 C++ 與 Rust 的雙向繫結產生器,目標是協助兩個生態系整合。官方文件示範 Rust 工作流程,並另行整理目前支援狀態;導入前仍應依實際使用的語言特性確認相容範圍。
用 Rust 探索尾端呼叫直譯器
這篇文章以 Rust 實作與討論尾端呼叫直譯器,延伸探究虛擬機器的指令分派方式。對正在設計直譯器、位元碼虛擬機器或語言執行階段的開發者而言,可作為理解控制流程實作取捨的參考。
RPS 圖表之外:不同語言在負載下如何失效
單一每秒請求數指標不足以描述系統的真實韌性。文章比較 Rust、Go、Java、Node.js 與 Python,強調它們不只效能不同,在壓力下的失效方式也可能不同;進行負載測試時,還應觀察瓶頸與退化行為,而非只排列最高吞吐量。