💻 Developer Nexus: New tools from Microsoft Research help developers write bug-free code, faster