LLVM
PulseAugur coverage of LLVM — every cluster mentioning LLVM across labs, papers, and developer communities, ranked by signal.
6 天有情绪数据
-
新框架ANYPoC通过可执行的概念验证测试提升LLM漏洞检测能力
研究人员开发了ANYPoC，一个旨在提高基于大型语言模型（LLM）的软件漏洞检测可靠性的新框架。该系统生成可执行的概念验证（PoC）测试来验证LLM识别出的疑似漏洞，充当自动化漏洞检测的可扩展预言机。ANYPoC通过分析漏洞报告、迭代合成和执行PoC，以及独立审查结果，来解决LLM的奖励破解和幻觉等局限性。在关键软件系统上的应用表明，ANYPoC在验证真实阳性漏洞报告和拒绝虚假阳性方面有了显著改进，从而发现了大量新漏洞，其中许多已被开…
-
开发者使用 LLVM 和 AI 辅助构建 BASIC09 编译器
一位开发者成功利用 LLVM 编译器基础设施创建了一个功能性的 BASIC 编译器。该项目专门针对 BASIC09 方言，该方言最初是为 OS-9 操作系统开发的。这项工作展示了现代大型语言模型在协助复杂软件开发任务（如构建编译器）方面的能力。
-
高通以40亿美元收购AI芯片软件公司Modular
高通公司正以近40亿美元的价格收购芯片软件初创公司Modular，其中包括向Modular员工支付3亿美元。此次收购旨在加强高通在移动芯片以外领域的扩张，进军AI小工具和数据中心等领域。Modular的平台允许开发人员编写AI软件，这些软件无需大量重写即可在各种芯片上运行，对Nvidia的CUDA等现有系统构成挑战。
-
算能（Sunmmio）3D TokenPU芯片流片，提升中国AI算力
算能（Sunmmio）已正式流片其为大模型推理设计的3D TokenPU芯片A4E。这标志着中国国产AI芯片产业迈出了重要一步，该芯片采用了3D混合堆叠架构，以解决大模型推理中的内存、计算和通信等关键瓶颈。该芯片旨在为国内大模型生态系统提供自主可控、高性能、高性价比的算力解决方案。
-
Protean Compiler 集成机器学习以实现细粒度LLVM优化
研究人员开发了Protean Compiler，一个旨在将细粒度阶段排序能力直接集成到LLVM编译器中的敏捷框架。该框架包含超过140种静态特征收集方法，旨在解决编译器阶段优化的长期挑战。实验表明，与LLVM的O3优化级别相比，平均速度提升高达4.1%，在特定应用程序上提升高达15.7%，同时构建时间增加极少。该系统还允许与第三方机器学习框架和LLM集成，在特定应用程序上展示了进一步的速度提升。
-
新论文发现：AI代理给开源治理带来压力
一篇新研究论文探讨了将AI代理集成到开源软件开发中的挑战。该论文强调，为人类贡献者设计的现有开源治理模式，因能够提交代码但监督有限的自主AI代理而承受压力。论文分析了六个主要开源组织的现有政策，并将其与新兴的AI治理框架进行比对，以识别差距并提出一个规范AI贡献者的分层框架。
-
AI 改进代码并优化编译器，超越人类方法
研究人员开发了使用 AI 优化代码的新方法。其中一种方法 CHECKMATE 使用由自然语言指导的代码演进，为复杂的工业问题自动生成算法，性能优于现有求解器。另一种方法 CompilerDream 采用强化学习模型来优化编译器传递，在不同代码库和语言中展现出强大的泛化能力，超越了标准优化。
-
TileLang通过Python接口简化GPU内核编写
一种名为TileLang的新编程语言旨在通过提供介于Triton等高级框架和CUTLASS等底层控制之间的中间层来简化GPU内核开发。TileLang允许开发人员编写Python代码，同时显式定义数据在内存层次结构和流水线阶段的放置。然后，编译器会推断线程映射并优化布局，从而降低了通常与手动线程管理相关的复杂性。
-
SocialCrawl 发布 AI 驱动的社交媒体搜索；AI '垃圾分叉' 挑战开源
SocialCrawl 是一项新服务，它聚合了来自 Reddit、X 和 TikTok 等 27 个社交和广告平台的实时数据。它利用 AI 进行情感分析、摘要和观点分布，并能够搜索标准搜索引擎无法访问的私有内容。该服务提供 API 以集成到 AI 代理和数据管道中，通过展示原始内容和 AI 生成的简报来强调透明度。Builder.io 正在应对开源软件中 AI 生成的“垃圾分叉”的兴起，这些分叉增加了维护者的拉取请求和审查负担。为了对…
-
Zig 加强 AI 贡献禁令，优先考虑人类开发者而非 AI 生成代码
Zig 编程语言项目已实施一项严格的政策，反对由大型语言模型生成或辅助的贡献。这一决定源于一种优先培养人类贡献者而非其提交代码的理念。项目领导者认为，审查 LLM 生成的代码不利于培养新的、值得信赖的开发者，而他们认为这对项目的长期健康至关重要。该政策对 Bun JavaScript 运行时等项目有影响，Bun 由 Anthropic 拥有并分叉了 Zig，因为 Bun 的开发者已表示，由于 Zig 的禁令，他们不会将 AI 辅助的性…