Microsoft Reactor

@MSFTReactor

Microsoft Reactor provides local language events and community resources to help developers build on AI technology. Virtual events are on anytime, anywhere!

Redmond, WA

developer.microsoft.com/reactor/

Joined September 2015

731 Following

87.5K Followers

Replies Reposts Media

Microsoft Reactor
@MSFTReactor
Oct 13
AI wrote the code. The tests pass. But can you prove it’s correct? 👀 Join Microsoft Reactor to see Carl Kadie use AI, Rust + Lean to go from generated code → formal specification → machine-checked proof of correctness. 📅 Oct. 21 | 5:30 PM PT Register:
Microsoft Reactor
@MSFTReactor
Oct 13
🚀 Ready to thrive in the AI era? Join AI Skills for Tomorrow, a 4-part virtual learning series from Microsoft volunteers in partnership with WoMakersCode. 🤖 Build AI foundations 💡 Explore generative AI 🌱 Develop practical skills 🌎 Available in English, Spanish & Portuguese
Microsoft Reactor
@MSFTReactor
Oct 12
🐧 Explore AI-assisted Linux operations on Azure in a demo-led session with Karl Abbott. See a real-world workflow: ✅ Deploy an app 📊 Monitor it ⚠️ Intentionally disrupt it 🔧 Troubleshoot with AI assistance Plus, see GitHub Copilot and Azure agents in action. 👉
Microsoft Reactor
@MSFTReactor
Oct 7
What if applications could continuously identify what needs to be modernized and help developers act on it? 🤖 Join Bruno Borges to explore the Agentic SDLC and how AI agents can make application modernization continuous, while keeping developers in control. 👉 Register:
Microsoft Reactor
@MSFTReactor
Oct 6
Business data becomes more powerful when agents can reason over it. Join Grounding Agents in Business Context with Fabric IQ to learn how to connect agents to business metrics, relationships, and operational context for more accurate and actionable responses. 📅 Oct 15 • 9 AM