Gabriela Moreira, CEO of Quint at Informal Systems, is a research engineer specializing in programming languages and formal methods, with a strong focus on building tools that make complex system ...

Code generation has become the poster child for AI use cases. There’s just one problem: Writing new code was never the ...

Beyond remote AI management, Microsoft is tackling the high cost of coding bots with new token efficiency tech. See what ...