👇 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.
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.
Microsoft Developer retweeted
📣 Coming soon to GitHub Copilot: intelligent local model routing.
We are excited to announce the next step in our Project HydraFusion vision. GitHub Copilot will soon be able to automatically route tasks to a local model when it's most suitable, helping you save on AI credits.
Microsoft Developer retweeted
Come join us. We’re live!
Windows, Surface, and NVIDIA are coming together to talk about RTX Spark, new possibilities, and more!
We kick things off at 10:00 AM PT: msft.it/6017aogxN
ALT Large blue gradient text reads "Join now" across a white background, fading out as it reaches a laptop rising from the bottom of the frame. The laptop screen shows a glossy black abstract wave.
Microsoft Developer retweeted
AI you can trust starts with questions.
AT&T data scientist Natalie Gilbert puts skepticism to work by thinking through edge cases and making informed decisions instead of blindly trusting AI.
microsoft.com/en-us/ai/see-y…
Microsoft Developer retweeted
Save the date: October 7 at 10:00 AM PT. Windows. @Surface. @NVIDIARTXSpark. Come see what's next.
Tune in on YouTube: msft.it/6014alDuy
ALT "10.07" in large white numbers above a Surface Laptop Ultra with a dark abstract wallpaper.
Microsoft Developer retweeted
Build agentic apps with the GitHub Copilot SDK, without implementing the agent loop yourself.
Join this beginner-friendly livestream to learn how to use sessions, tools, MCP servers, streaming events, and more to embed Copilot’s agent runtime in your apps. Plus, check out specific sessions for .NET and Java development.
No prior SDK experience required. Register for English, Chinese, Portuguese, Spanish, Japanese, or Korean 👇
gh.io/letslearn
ALT Let's Learn GitHub Copilot SDK
Microsoft Developer retweeted
Yes or YES?
Get your #GitHubUniverse pass 👇
githubuniverse.com/?utm_sour…
Microsoft Developer retweeted
GitHub is proud to sponsor this year’s Open Source Accessibility Summit!
Open source is stronger when everyone can participate and contribute.
Join us to explore the Open Source Accessibility Framework, connect with the community, and help turn accessibility goals into lasting progress.
Everyone is welcome. 💙
2026.allthingsopen.org/open-…
#OpenSourceAccessibility #OpenSource #Accessibility #A11y
ALT The image features the GitHub logo next to the text "GitHub." Below, there is a triangular design next to the text "Open Source Accessibility" on a dark background.
Microsoft Developer retweeted
Portable Computer is now available on Windows PCs with @NVIDIA RTX GPUs.
Run the harness, agents, and models locally on your PC.
Work with local files and connected apps without sending tasks to the cloud. Use frontier cloud models when needed.
Microsoft Developer retweeted
The Story of VS Code | Official Trailer
🎥 Watch The Story of VS Code on Friday, September 4th at 8am PT.
👉🏽 subscribe to the VS Code YouTube channel to be notified as soon as the documentary drops: aka.ms/the-story-of-vs-code
#vscode #storyofvscode
Microsoft Developer retweeted
Claude Fable 5.1, the latest in @AnthropicAI's Mythos model class, is now generally available in GitHub Copilot.
In our testing it showed strong performance on
➡️ long-running coding tasks
➡️ deep codebase research
➡️ complex agentic workflows
Try it out in the GitHub Copilot app, CLI or @code.
github.blog/changelog/2026-0…
Microsoft Developer retweeted
📣 @OpenAIDevs has reduced the price for GPT-5.6 Sol by 50% until September 3.
Try it out in GitHub Copilot wherever you work.
📣 @OpenAIDevs's GPT-5.6 family is now generally available and rolling out in GitHub Copilot.
GPT-5.6 comes in three variants:
☀️ GPT-5.6 Sol: the highest reasoning ceiling in the family. Best for complex reasoning over large codebases and demanding, long-running agentic work.
🌎 GPT-5.6 Terra: the balanced default. A strong all-round choice for everyday interactive and agentic coding.
🌕 GPT-5.6 Luna: a lightweight, cost-efficient variant for smaller, faster tasks and the lowest-cost option in the family.
Try one, two, or them all in @code or the GitHub Copilot app.
github.blog/changelog/2026-0…
Microsoft Developer retweeted
Agent on the left. Real browser on the right. Same terminal.
terminal-browser + GitHub Copilot CLI = zero context switching while building.
Here's how it works 🎥
Microsoft Developer retweeted
📣 @MicrosoftAI's MAI-Code-1.1-Flash is now rolling out in GitHub Copilot.
➡️ It has native vision support for image understanding
➡️ Delivers improvements across coding quality, instruction following, tool use, and performance
➡️ 73% lower list price than MAI-Code-1-Flash, making it a cost-effective option
Try it out in the GitHub Copilot app, CLI, and @code.
github.blog/changelog/2026-0…
Microsoft Developer retweeted
During Microsoft’s rollout, engineers merged 24.9% more PRs in weeks they used Copilot CLI than in their own no-use weeks. And the lift increased with usage, reaching 50.1% in weeks with 5+ active days.
Microsoft Developer retweeted
Your agent worked, it shipped… but it leaked your data.
In this #AzureFriday, @shanselman and Sajeetharan Sinnathurai show how Agent Kit helps catch missing partition key filters, fix fan-out queries, and prevent cross-tenant data leaks.
Watch: msft.it/6016v2QpI