Search

Tag: #agentic-coding34 results

📰

Vera:專為 LLM 設計的程式語言

Vera 是一種 MIT 授權的程式語言,專為 LLM 而建,而非人類,透過緊密的編譯器回饋迴圈產生更可靠的程式碼。主要特色包括 De Bruijn 索引消除命名錯誤、Z3 驗證的函數合約防止執行時問題,以及結構化診斷用於代理迭代。它編譯至 WebAssembly,測試覆蓋率達 88%,並附代理就緒文件。

Reddit r/MachineLearningCommunityMar 2#de-bruijn-indices#smt-verification#agentic-coding
Page 2 of 4