大型语言模型（LLMs）在代码生成领域已取得显著成就，但其输出仍常因缺乏形式化约束而出现编译错误。针对这一挑战，研究者提出了一种创新的类型约束解码方法，通过类型系统引导代码生成。该研究开发了新型前缀自动机...

最新研究揭示，AI生成的代码存在严重的安全隐患，可能对软件供应链造成灾难性影响。研究发现，AI生成的代码中经常包含不存在的库引用，这使得系统容易受到依赖混淆攻击。具体数据显示，测试的大型语言模型（LLM）生...

DeepSite是由DeepSeek提供技术支持的创新型开源画布工具，专为‘氛围编码（vibe coding）’场景设计，其革命性在于能实时更新应用程序——当系统编写代码的同时，用户可即时看到应用界面的动态变化。该平台通过深度集成A...