English
Microsoft Developer
Report

Microsoft Developer

@msdev

👇 Join @GitHub Universe in person or virtually and get your pass today.

49 Following531K Followers37.6K Posts
  2. Microsoft Developer@msdev
    Microsoft Developer
    RT @marlene_zw: Last week in Cologne I showed how you can use the GitHub Copilot App and Foundry to build an agent you can deploy across Teams, Outlook or an app of your choice. I also showed how you can integrate our new Decision 1 model for intent classification. I'm interested in agents that can recognise intent and then take action independetly if they decide they can be helpful, so this was fun to show!
    02720721
  3. Microsoft Developer@msdev
    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.
    71615018.1K
  4. Microsoft Developer@msdev
    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.
    83535924K
  5. Microsoft Developer@msdev
    1.2B users. ~40 regions. Single-digit-millisecond latency. One team. @AzureCosmosDB and @OpenAIDevs engineers scaled it together. Read the story 👇
    OpenAI Developers @OpenAIDevs
    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.
    115661953.7K
  6. OpenAI Developers✓@OpenAIDevs
    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.
    Download
    1881893.9K506K
  7. Microsoft Developer@msdev
    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:
    Download
    13144K
  8. Microsoft Developer@msdev
    Microsoft Developer
    RT @MSFTResearch: 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.
    01440862
  11. Microsoft Developer@msdev
    You have an idea. Now take it beyond the scoreline. ​ Build something that changes how football is understood, told, or experienced with AI.
    Download
    44254.8K
  12. Microsoft Developer@msdev
    Posts @msdev
    Register by Oct. 20. Submit by Oct. 27:
    0031.8K
  13. Microsoft Developer@msdev
    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.
    36337.3K
  14. Microsoft Developer@msdev
    Posts @msdev
    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.
    0125.6K
  15. Microsoft Developer@msdev
    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 🧵
    223012.2K
  16. Microsoft Developer@msdev
    Posts @msdev
    SQL Modernization Day: Explore ways to modernize SQL Server with Azure.
    1011.4K
  17. Microsoft Developer@msdev
    Posts @msdev
    WorkIQ Developer Tools: Learn to extend Copilot and Cowork with custom plugins and integrations.
    0011.3K
  18. Microsoft Developer@msdev
    Microsoft Developer
    RT @OpenRouter: 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
    Satya Nadella @satyanadella
    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.
    0660932
  19. Satya Nadella✓@satyanadella
    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.
    Download
    7111.1K11.4K1.7M
  20. Show more posts