👇 Join @GitHub Universe in person or virtually and get your pass today.
Joined February 2013
- Tweets37.6K
- Following49
- Followers53K
- Likes6.6K
You built it. Now put it in play.
It’s not too late to submit your Inside the Game: Developer Hackathon project by Oct. 27 for the opportunity to have your work recognized and showcased.
Finish your submission: msft.it/6014axj40
ALT A promotional image for a Developer Hackathon titled 'Inside the Game.' The background is black with green text. Logos for Premier League and Microsoft are displayed at the top. Geometric shapes are subtly integrated into the design.
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
