推薦理由：此更新提升 COBOL、Fortran、Visual Basic 等低資源語言的軟體建置與遷移效能，對金融、政府等關鍵系統具直接應用價值，可幫助開發團隊快速遷移舊有程式碼，降低維護成本，並加速數位轉型，尤其適用於銀行、保險、公共機構等對可靠性要求高的場景。
程式語言與編譯器
全部主題程式語言設計與演進：Rust、Go、Zig、C/C++、Python、TypeScript 等語言特性、編譯器架構（LLVM/JIT）、Runtime 引擎與型別系統。
最新精選
第 1–4 條 · 共 4 條OpenAI twitter@openai精選AI 評分6565 Hacker News (official RSS)精選AI 評分7878 Basis 推出 LLM 驗證的解譯器
Basis 發布了利用 LLM 撰寫並在 Lean 中證明的解譯器，證明其行為與實際 RISC‑V 編譯後的程式完全一致。 - 驗證方法：LLM 先自動生成 WHILE 語言的形式語義，然後在 Lean 中證明該語義與編譯後的二進位在所有程式上相符，並以此推匯出四個工具（型別檢查器、程式邏輯、抽象解譯器、編譯器）。
推薦理由：此研究展示 LLM 能自動撰寫語言語義並以 Lean 驗證，為將驗證擴充套件至真實語言奠定基礎。
Hacker News (official RSS)精選AI 評分8383 六日內完成 Chrome 全鏈爆破，XBOW 內部技術揭秘
XBOW 在六天內完成 Chrome 全鏈爆破，成功從渲染器沙箱外執行程式碼並啟動系統計算器。\n\n- 漏洞組合：V8 編譯器、動畫 WebP 解碼器、Crashpad 記憶體安全漏洞，三階段跨越渲染器與作業系統沙箱。
推薦理由：本文詳述利用 AI 代理在六日內完成 Chrome 全鏈爆破的技術流程，為安全研究者提供可直接借鑑的漏洞利用方法。
Hacker News (official RSS)精選AI 評分8181 LLM 驅動 TypeScript 編譯器、檢查器與 LSP 移植至 Rust
ts-rust 是一個由 LLM 完成的 TypeScript 編譯器、檢查器與 LSP 的 Rust 版移植，相容所有實際專案並提供更快的型別檢查速度。
推薦理由：利用 LLM 進行跨語言編譯器移植，展示了大模型在實際工程中的可行性與成本差異。