Evergreen language release

1. 23:25
   Hacker News (official RSS)

   Evergreen：一種可證明安全的系統語言

   summary_zh: Evergreen 將明確契約、檢查不變式與記憶體控制整合於單一語言，並由編譯器驗證其安全性。 - 核心特性：Evergreen 透過 explicit contracts 與 checked invariants 讓程式碼自帶前置與後置條件，編譯器在編譯階段即檢查所有不變式。

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

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