アーカイブ | GeekNews ◀ 前年 | ◁ 前月 | << 前週 | < 前日 | 2024-05-06 | 翌日 > | 翌週 >> | 翌月 ▷ | 翌年 ▶ 21 Rust検証技術、低レベルシステムコードへの適用 (github.com/verus-lang) VerusはRustコードの正確性を静的に検証するツールで、低レベルシステム向けの開発状況、導入方法、ドキュメントとコミュニティ情報を紹介しています。 1 ポイント 投稿者 GN⁺ 2024-05-06 | 1件のコメント 22 任天堂、GitHubでエミュレータ関連のDMCA削除要請を8,000件超送付 (engadget.com) 任天堂はSwitchエミュレータ関連で8,000件超のGitHubリポジトリにDMCAテイクダウン要請を出し、エミュレータ利用とゲーム保存を巡る論点が再浮上した。 4 ポイント 投稿者 GN⁺ 2024-05-06 | 1件のコメント