작년은 SDD
올해는 PDD
Chopin + Proof-Driven Development Kit from @GitHubNext and @MSFTResearch enable teams to ship AI-generated code to production without reviewing it line by line, with stronger assurance than code review and testing alone.
Now in research preview ⬇️
Academics only.
Chopin + Proof-Driven Development Kit from @GitHubNext and @MSFTResearch enable teams to ship AI-generated code to production without reviewing it line by line, with stronger assurance than code review and testing alone.
Now in research preview ⬇️
GitHub Next e Microsoft Research: prova formal substitui revisão linha a linha em código de IA. O custo de review cai, e a garantia migra para a prova — que vira a nova superfície de governança.
xitter.cf/i/status/2112938664959…
Chopin + Proof-Driven Development Kit from @GitHubNext and @MSFTResearch enable teams to ship AI-generated code to production without reviewing it line by line, with stronger assurance than code review and testing alone.
Now in research preview ⬇️
Field note: AI code can now skip line-by-line review, with a research preview promising stronger assurance than review and testing. Production is the new test environment.
Chopin + Proof-Driven Development Kit from @GitHubNext and @MSFTResearch enable teams to ship AI-generated code to production without reviewing it line by line, with stronger assurance than code review and testing alone.
Now in research preview ⬇️
Do we really want to coin “P-DD” as part of the next hype cycle?
Chopin + Proof-Driven Development Kit from @GitHubNext and @MSFTResearch enable teams to ship AI-generated code to production without reviewing it line by line, with stronger assurance than code review and testing alone.
Now in research preview ⬇️
Verification is the only bottle neck! If you can make AI verify its generated stuff on something quantifiable and clear proof - its over!
Generation systems solved!
Verification systems for everything are being builtb
Chopin + Proof-Driven Development Kit from @GitHubNext and @MSFTResearch enable teams to ship AI-generated code to production without reviewing it line by line, with stronger assurance than code review and testing alone.
Now in research preview ⬇️
Agent-code review moves from diff to spec.
GitHub’s PDD/Chopin preview proves generated Rust against an approved Verus spec; gaps fall back to tests and agents.
Proof still misses omitted requirements.
xitter.cf/github/status/21129386…
Chopin + Proof-Driven Development Kit from @GitHubNext and @MSFTResearch enable teams to ship AI-generated code to production without reviewing it line by line, with stronger assurance than code review and testing alone.
Now in research preview ⬇️
Shipping AI-generated code backed by proofs instead of line-by-line review. 🧾
As a guy who vibe codes and then squints at every diff like it owes me money, I'm very interested.
Formal methods going mainstream would be a wild plot twist for my CS degree.
Chopin + Proof-Driven Development Kit from @GitHubNext and @MSFTResearch enable teams to ship AI-generated code to production without reviewing it line by line, with stronger assurance than code review and testing alone.
Now in research preview ⬇️
Could proof-driven development become the key to trusting AI-generated code in production?
Can formal verification outperform traditional code reviews and testing?
Chopin + Proof-Driven Development Kit from @GitHubNext and @MSFTResearch enable teams to ship AI-generated code to production without reviewing it line by line, with stronger assurance than code review and testing alone.
Now in research preview ⬇️