アーカイブ | GeekNews ◀ 前年 | ◁ 前月 | << 前週 | < 前日 | 2026-04-16 | 翌日 > | 翌週 >> | 翌月 ▷ 41 Leanがプログラムの正しさを証明したが、その内部でバグが見つかる (kirancodes.me) 形式検証済みの Lean 製 zlib 実装をファジングした結果、検証対象外の Lean 4 ランタイムとアーカイブパーサーで脆弱性が見つかり、形式検証の有効範囲と TCB の重要性が浮き彫りになった。 1 ポイント 投稿者 GN⁺ 2026-04-16 | 1件のコメント 42 スペイン、テニス・ゴルフ・映画の放送時間帯にまでインターネット遮断を拡大 (bandaancha.eu) スペインがIPベースの遮断命令をサッカー以外のスポーツや映画・シリーズの放送時間帯にまで拡大し、通常サイトの巻き添え遮断も懸念されている。 2 ポイント 投稿者 GN⁺ 2026-04-16 | 1件のコメント 43 GitリポジトリからClaude Code/Codex Skillsを自動同期するツール (github.com/leshleekor) Gitリポジトリ内の `skills/` をClaude Code/CodexのローカルSkillsへ自動同期するスクリプトベースのツールです。 1 ポイント 投稿者 leshlee 2026-04-16 | コメントと議論