黑板报

斯坦福研究：使用AI工具（如GitHub Copilot）解决一组编码难题的程序员产生的安全代码比不使用AI工具的程序员少(Thomas Claburn/The Register)

同时，像Github Copilot和Facebook InCoder这样的工具让开发者相信他们的代码是健全的。