はてなブックマーク - 証明駆動開発（PDD Kit）とは｜エージェントのコードを行ごとに読まずに信頼する GitHub Next の試み https://b.hatena.ne.jp/entry/s/ai-heartland.com/explain/proof-driven-development/ GitHub Next と Microsoft Research が、エージェントが書いたコードを、行ごとに全部読まずに信頼するための研究プロトタイプ「PDD Kit」を公開しました（2026年11月）。PDD は Proof-Driven Development（証明... ragi256 https://b.hatena.ne.jp/ragi256/20261108#bookmark-4795512834472629858 2026-11-08T14:13:49Z Hakuja https://b.hatena.ne.jp/Hakuja/20261108#bookmark-4795512834472629858 2026-11-08T12:48:34Z boraneko https://b.hatena.ne.jp/boraneko/20261108#bookmark-4795512834472629858 2026-11-08T10:47:40Z isudzumi https://b.hatena.ne.jp/isudzumi/20261108#bookmark-4795512834472629858 2026-11-08T09:40:31Z k0yoshitsugu https://b.hatena.ne.jp/k0yoshitsugu/20261108#bookmark-4795512834472629858 2026-11-08T06:31:20Z reima_ru https://b.hatena.ne.jp/reima_ru/20261108#bookmark-4795512834472629858 2026-11-08T05:04:15Z あとで読む guitgraph https://b.hatena.ne.jp/guitgraph/20261108#bookmark-4795512834472629858 2026-11-08T04:20:43Z あとで読む CLSmooth https://b.hatena.ne.jp/CLSmooth/20261108#bookmark-4795512834472629858 2026-11-08T03:56:27Z t_m_hayama https://b.hatena.ne.jp/t_m_hayama/20261108#bookmark-4795512834472629858 2026-11-08T03:40:20Z Galbo https://b.hatena.ne.jp/Galbo/20261108#bookmark-4795512834472629858 2026-11-08T02:02:49Z あとで読む tokg https://b.hatena.ne.jp/tokg/20261108#bookmark-4795512834472629858 2026-11-08T01:23:45Z あとで読む hanaikemabura https://b.hatena.ne.jp/hanaikemabura/20261108#bookmark-4795512834472629858 2026-11-08T00:11:11Z crexist https://b.hatena.ne.jp/crexist/20261108#bookmark-4795512834472629858 2026-11-07T23:43:27Z takasago08 https://b.hatena.ne.jp/takasago08/20261108#bookmark-4795512834472629858 2026-11-07T22:06:35Z mathtonica https://b.hatena.ne.jp/mathtonica/20261108#bookmark-4795512834472629858 2026-11-07T19:17:52Z あとで読む itness https://b.hatena.ne.jp/itness/20261108#bookmark-4795512834472629858 2026-11-07T16:54:09Z chess-news https://b.hatena.ne.jp/chess-news/20261108#bookmark-4795512834472629858 2026-11-07T15:28:33Z facpatrysis https://b.hatena.ne.jp/facpatrysis/20261108#bookmark-4795512834472629858 2026-11-07T15:09:50Z あとで読む k2ca3 https://b.hatena.ne.jp/k2ca3/20261107#bookmark-4795512834472629858 2026-11-07T14:46:45Z bulldra https://b.hatena.ne.jp/bulldra/20261107#bookmark-4795512834472629858 2026-11-07T14:14:52Z nguyen-oi https://b.hatena.ne.jp/nguyen-oi/20261107#bookmark-4795512834472629858 AIが大量生成するコードを行単位で読まず形式証明（Verus）で検証するPDD Kitの考え方、バイブコーディング時代の解として合理的 2026-11-07T13:15:08Z fumikony https://b.hatena.ne.jp/fumikony/20261107#bookmark-4795512834472629858 2026-11-07T12:54:43Z あとで読む cu39 https://b.hatena.ne.jp/cu39/20261107#bookmark-4795512834472629858 2026-11-07T06:21:06Z あとで読む sarsa2314 https://b.hatena.ne.jp/sarsa2314/20261107#bookmark-4795512834472629858 2026-11-07T00:15:27Z