2 posts
ARM Memory Tagging Extension 和 GWP-ASan 讓現代行動裝置在生產環境中偵測記憶體安全成為可能。本文介紹它們的工作原理和權衡取捨。
你的手機可以在生產環境中偵測記憶體損壞。不是用你在 CI 中執行的完整插樁，也不是針對每一次分配。但你口袋裡的硬體在幾年前就已經搭載了必要的原語，而且越來越多的生產應用正在悄悄啟用它們。 簡而言之：AddressSanitizer 對生產環境來說太貴了。ARM Memory Tagging Extension…
AI 寫程式遵循一條驗證梯度。後端在毫秒內完成驗證。網頁端需要幾分鐘。行動端需要幾小時。回饋循環的速度與確定性直接決定了 AI 寫程式在各技術層的實際效果與可靠程度。驗證速度沿著光譜遞減，決定了 AI 編碼在哪裡能自主迭代、在哪裡必須仰賴人類的判斷。
AI 模型自己寫程式這件事本身並不有趣。有趣的是它生成程式碼之後發生的事：模型能以多快的速度知道程式碼是否正確？生成與驗證之間的回饋循環有多緊密？ 這個循環決定了一切。它決定了模型能否迭代自己的輸出，決定了人類能否在不手動檢查的情況下信任輸出，也決定了 AI 寫程式究竟在哪些領域行得通。…