👇 Join @GitHub Universe in person or virtually and get your pass today.
Joined February 2013
- Tweets37.6K
- Following49
- Followers531K
- Likes6.6K
Pinned Tweet
Something new is coming from Windows xitter.cf/i/broadcasts/1dGYlaQvl…
GPT-6.1 Terra from @OpenAIDevs is now available in GitHub Copilot and Microsoft Foundry.
It's designed for everyday agentic coding and terminal work, with focused execution on well-scoped tasks at a lower cost than GPT-6.1 Sol.
Generating code is getting easier. Knowing whether to trust it is the hard part.
Microsoft engineers share how they combine agents, testing, and formal verification to validate changes across massive codebases, including C/C++ to Rust migrations.
commandline.microsoft.com/ag…
1.2B users. ~40 regions. Single-digit-millisecond latency. One team.
@AzureCosmosDB and @OpenAIDevs engineers scaled it together. Read the story 👇
We serve data in milliseconds to more than 1.2 billion users across 40 geographic regions.
To reach that scale, we worked closely with @AzureCosmosDB on our storage architecture, achieving a 12x improvement in global median read latency.
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.
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…
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…
Keep building your skills and connect with other developers.
Here are a few upcoming events, community sessions, and training opportunities to keep on your radar from Microsoft Reactor 🧵
SQL Modernization Day: Explore ways to modernize SQL Server with Azure. msft.it/6018aseRw
WorkIQ Developer Tools: Learn to extend Copilot and Cowork with custom plugins and integrations.
msft.it/6019aseRb
Microsoft Developer retweeted
Microsoft-Decision-1 is live on OpenRouter.
Microsoft's numbers: highest accuracy across 36 blind benchmarks (~150K questions), 4.5x faster than the runner-up, 35x faster than GPT-6 Sol, and decisions flip on just 1.3% of perturbed inputs. Post-trained from Qwen3.5-9B.
$0.042/M input, output free, 32K context
openrouter.ai/microsoft/micr…
Introducing Microsoft-Decision-1, our new model for fast decision-making.
It delivers top performance on structured decision tasks, outperforming both LLMs and other decision models in latency and quality.
We’re already testing it across Microsoft for everything from incident response and quality control to scientific discovery.
Introducing Microsoft-Decision-1
Our model for fast decision-making that delivers top performance in latency and quality on structured decision tasks to outperform both LLMs and other decision models.
commandline.microsoft.com/mi…
Classification is a key use case for decision models.
Check out how accurately and quickly Microsoft-Decision-1 can categorize a variety of queries compared to GPT-6 Sol.
This is our first release in this new class of decision models, and we will continue to release updates including versions built on @MicrosoftAI and OpenAI models in the future.
Get started with Microsoft-Decision-1 today in Microsoft Foundry and soon through OpenRouter.
aka.ms/decision-1
