Tech Times

AI Agents Ported Tao’s 27-Year-Old Math Code in Hours and Found Two Bugs He Had Missed

AI coding agents ported Fields Medalist Terence Tao’s Java 1.0 math visualizations to JavaScript in hours, identified two ...
GitHub

A collection of skills for AI coding agents working with Azure Cosmos DB. Skills are packaged instructions and scripts that extend agent capabilities.

Azure Cosmos DB performance optimization guidelines containing 111 rules across 12 categories, prioritized by impact.