👇 Join @GitHub Universe in person or virtually and get your pass today.
Joined February 2013
- Tweets37.6K
- Following49
- Followers53K
- Likes6.6K
Microsoft Developer retweeted
AI agents are writing more code. How can developers ensure that code is correct?
Microsoft Research’s Proof-Driven Development (PDD) Kit explores a more rigorous approach: it translates a developer’s intent into a formal specification, then uses formal verification to prove that generated code meets it.
PDD Kit works with Verus for Rust and is integrated with @GitHubNext’s Chopin, bringing formal methods into an AI-assisted development workflow for teams.
See the work in action at @github Universe, Oct. 28–29, 2026.
#GitHubUniverse kicks off next week, October 28–29.
Grab your pass to join us in person or sign up to tune in virtually.
➡️msft.it/6013aappD
ALT A promotional image for GitHub Universe 26, featuring colorful graphic elements and a cartoon cat logo. Text includes 'Experience GitHub Universe' and event details: 'Fort Mason S F, C A, Oct 28-29, 2026.'
You have an idea. Now take it beyond the scoreline.
Build something that changes how football is understood, told, or experienced with AI.
Knowing when to use AI and when to question its output is part of learning to build.
Watch @shanselman, software engineer Julia Gao, and CMU’s Dr. Michael Hilton discuss PRAISE and how to support the next generation of developers.
youtube.com/watch?v=BglzGRnH…
What will the next generation of developers do when AI writes the code?
Microsoft and @CarnegieMellon are betting on junior developers.
PRAISE pairs them with senior mentors to build with AI and grow into tomorrow’s senior engineers.
commandline.microsoft.com/pr…
WorkIQ Developer Tools: Learn to extend Copilot and Cowork with custom plugins and integrations.
msft.it/6019aseRb
SQL Modernization Day: Explore ways to modernize SQL Server with Azure. msft.it/6018aseRw
Build GitHub Skills: Create and publish interactive, self-paced learning exercises.
msft.it/6017aseRZ
Microsoft IQ Live: Explore enterprise agent architectures through hands-on demos.
msft.it/6016aseRk
Foundations for AI with Open Source: Explore the open-source technologies that power modern AI applications and agents.
msft.it/6015aseRX
Build AI-powered soccer insights apps: Learn how to build and deploy AI-powered applications that analyze football match and player data using AKS and ACA.
msft.it/6013aseRV