NVIDIA PTX verified in Lean

1. 20:24
   Lobste.rs (Engineering Discussion)

   全棧驗證成為新趨勢

   全棧驗證 正在成為軟硬體開發的新趨勢，眾多公司正採用 Lean、Dafny、LiquidHaskell 等驗證語言進行正式驗證。

當前熱度 9·可比範圍峰值 10（11月5日 21:00）·近 24 小時可比範圍變化 –

趨勢僅比較持續完整觀測到的相同主體，範圍可能小於當前熱度統計。移動指標或點選圖表檢視每小時熱度；鍵盤可用左右方向鍵切換。