アーカイブ | GeekNews ◀ 前年 | ◁ 前月 | << 前週 | < 前日 | 2024-05-06 | 翌日 > | 翌週 >> | 翌月 ▷ | 翌年 ▶ 21 Rust検証技術、低レベルなシステムコードに適用 (github.com/verus-lang) Verusは、仕様に基づいてRustコードの正しさを静的に証明し、raw pointerを含む低レベルコードの検証も一部可能な開発中のツールだ。 1 ポイント 投稿者 GN⁺ 2024-05-06 | 1件のコメント 22 任天堂、GitHubでエミュレータ関連のDMCA削除要請を8,000件超送付 (engadget.com) 任天堂はSwitchエミュレータ関連で8,000件超のGitHubリポジトリにDMCAテイクダウン要請を出し、エミュレータ利用とゲーム保存を巡る論点が再浮上した。 4 ポイント 投稿者 GN⁺ 2024-05-06 | 1件のコメント