至顶网软件与服务频道消息:微软正在收购旧金山的代码分析平台供应商Semmle,收购金额不详。两家公司于9月18日表示,微软计划将Semmle作为其GitHub业务的一部分。
Semmle成立于2006年,其理念是查询源代码应该像任何其他类型的数据一样。Semmle在一篇博客文章中称,从那时起,谷歌、优步、美国宇航局和微软就已将其产品用于提高“许多开源项目” 的安全性。
Semmle列举了旗下产品QL,它提供自动变体分析,帮助产品安全团队找到零日和关键漏洞的变体;还有LGTM,可以为开发人员提供持续的安全性分析。
Semmle官员表示,即使计划“与GitHub现有产品系列紧密集成”,Semmle现有客户也不会受到干扰。
来自Semmle的关于收购的博客文章中表示:
“GitHub和Semmle致力于保护开源生态系统,作为该承诺的一部分,LGTM.com将继续免费提供公共存储库并开源。我们还将继续开源安全研究,迄今为止,在UBoot、Apache Struts、Linux Kernel、Memcached、VLC和Apple的XNU等高端项目中已经产生了107个CVE。当然,存在着一些令人难以置信的机会,与GitHub现有产品线的深度集成将带来额外的价值——拭目以待吧!”
微软在2018年以75亿美元收购了GitHub。
好文章,需要你的鼓励
英国国家医疗服务(NHS)正将无人机纳入常规医疗物流体系。自今年2月起,无人机每天在雷恩斯公园和圣乔治医院之间运送血液等诊断样本,飞行仅需3分钟,比公路运输快约85%,且碳排放减少高达98%。目前已有逾2000名患者受益。NHS计划将该服务扩展至圣赫利尔、克罗伊登等多家医院,最终惠及约180万名患者。该网络由英国医疗初创公司Apian与谷歌旗下Wing合作运营。
AgentLens是Explyt公司联合俄罗斯学术机构开发的AI编程助手评测基准,通过分析完整人机交互轨迹而非仅看最终结果,从五个维度评估代码智能体的真实表现。
边缘AI计算厂商Aetina宣布,将在其DeviceEdge AIE-KT风冷系列和新款AIE-PT无风扇平台上支持英伟达全新Jetson T3000和T2000模块。T3000基于Blackwell GPU,最高提供865 FP4 TFLOPS算力,功耗70W;T2000则提供400 FP4 TFLOPS,面向视觉AI代理和自主移动机器人等场景。两款模块预计2027年第一季度上市,支持Nemotron、Cosmos 3等英伟达AI软件生态。
韩国梨花女子大学提出Splash框架,通过识别AI模型中的"休眠参数"并只在其中训练触觉能力,让小型多模态AI在学会感知材质触感的同时,完整保留原有视觉语言推理能力。