站长之家(ChinaZ.com) 9月19日 消息:据zdnet报道，微软正在以未公开的价格收购旧金山的代码分析平台供应商塞姆勒Semmle ，并计划让其成为GitHub业务的一部分。
据悉，Semmle成立于 2006 年，旨在让查询源代码像任何其他类型的数据一样工作。据称，谷歌、优步、美国宇航局和微软都使用了Semmle产品以提高安全性，并开发了“许多开源项目”。
Semmle高管表示，即使计划与GitHub现有产品系列整合，但并不会对Semmle现有客户造成影响。
官方还称，GitHub和Semmle坚定致力于保护开源生态系统，作为这一承诺的一部分，LGTM.com将继续免费提供公共存储库和开源。
2018 年，微软曾以 75 亿美元价格收购了GitHub。
（举报）
雷池是GitHub上最热门的开源WAF项目之一，在同类项目中star数稳居首位。其成功源于：1）完全开源且维护活跃，打破国产开源项目"发布即弃坑"的刻板印象；2）功能强大，支持SQL注入、XSS等攻击检测，误报率低，防护效果媲美商业WAF；3）国际化程度高，海外用户占比超1/3；4）部署简单，提供可视化配置界面，新手也能快速上手；5）背靠长亭科技安全团队的技术支持。目前社区版装机量超35万台，成为开发者首选的Web应用防火墙解决方案。
本文介绍了2025年国内AI测试领域的五大领先供应商及其创新实践。Testin云测作为行业开创者，其AI测试平台XAgent实现全流程智能化管理，测试用例采纳率达60%；腾讯优测依托大厂生态，推出新一代AI测试引擎，融合大模型技术重构质量体系；霍格沃兹测试开发学社通过培训赋能行业，其爱测平台支持跨终端测试；携宁科技专注金融领域，SiniCube平台降低测试门槛；同盾科技以决策智能技术延伸测试边界，Data4Test平台解决复杂测试痛点。这些企业通过差异化技术路径，勾勒出国内AI测试多元生态：从全栈智能化、大模型重构到垂直场景方案。未来随着多模态交互等技术融合，AI测试将向"全生命周期自动化"方向演进，推动行业质量体系智能化升级。企业可借鉴这些实践，加速测试效能提升，构建数字化转型核心竞争力。
近日，小米汽车回应了网友们的新一期提问，其中提到了小米YU7的最新信息。 小米汽车表示，小米 YU7标准版和Pro均搭载由弗迪和宁德时代两大行业头部电池品牌提供的96.3kWh磷酸铁锂电池； 小米YU7 Max 则搭载由宁德时代提供的101.7kWh三元锂电池。
智微智能成为第十五届全运会办公电脑设备独家供应商，将为赛事提供高性能笔记本、平板和台式机等设备。作为深圳本土科技企业，该公司凭借数字化和智能化领域的技术积累，将为覆盖粤港澳大湾区的赛事提供全面技术支持。设备包括搭载英特尔超核芯显卡的便携笔记本、支持多屏4K输出的高性能台式机，以及采用国产海光/兆芯处理器的安全机型。智微智能表示，此次合作既是对企业实力的认可，也是服务国家体育事业的重要机遇。公司已启动专项预案确保产品高质量交付，并构建了覆盖设备调试、监控和快速响应的全链路服务体系。
这是三星首次将功能强大的 AI 助手带入可穿戴设备类别，为用户提供更智能、更紧密连接的 Galaxy 体验……
中微半导体设备(上海)股份有限公司在2025年TechInsights半导体供应商评选中荣获六大奖项，包括WFE基础芯片制造商和薄膜沉积设备两项第一。这是中微公司连续多年获得国际权威认可，彰显其在半导体设备领域的技术实力和服务水平。公司开发的等离子刻蚀设备和MOCVD设备已广泛应用于国内外客户，覆盖65纳米至5纳米工艺。董事长尹志尧博士表示，未来将继续聚焦前沿技术，坚持三维发展战略，致力于成为全球领先的半导体设备企业。
芬兰能源供应商Satakunta Energy宣布与比特币挖矿企业BitEngine达成战略投资合作。BitEngine将持有Satakunta部分股份，双方将在能源供应与挖矿技术创新方面展开合作。此次合作将整合BitEngine在全球比特币挖矿领域的技术优势与Satakunta在芬兰地区的可再生能源供应能力，共同提升挖矿行业能源效率，探索绿色能源应用方案。Satakunta表示，这将帮助公司拓展高耗能科技领域的客户群体，加速绿色能源解决方案的研发应用。
西安葡萄城软件公司总经理倪爱军接受专访，分享了公司在低代码与AI融合领域的前沿探索。作为扎根西安高新区的国家级高新技术企业，葡萄城凭借40余年技术积淀，持续以创新驱动数字化转型。公司自主研发的低代码开发平台引入AI能力，为制造业等场景提供智能解决方案，如通过AI分析生产数据实现精准库存预测。近五年研发投入占比达30%，已服务超3000家合作伙伴。面对国产化趋势，公司积极布局技术创新，推动关键技术自主可控。葡萄城将持续以技术为锚，为西安建设科创高地注入动能，助力中国式现代化实践。
云南建投钢结构股份有限公司作为云南省建设投资控股集团的专业子公司，在信息化建设中面临安全管理和数据孤岛等挑战。公司采用活字格低代码开发平台构建了生产安全系统，实现班前交底、有限空间作业等核心功能，并与钉钉深度集成，支持移动办公。该系统显著提升了开发效率，打通了与现有MES、ERP等系统的数据壁垒，同时满足国产化和信创要求。相比传统开发方式，活字格降低了技术门槛和成本投入，帮助公司快速实现数字化应用落地，获得管理层高度认可。该平台还助力企业加速信创及国产化进程，为持续发展奠定基础。
o3 出现了“叛变”的情况：其他模型都中止了解题任务，唯独 o3 模型继续进行，甚至还被发现篡改了内部代码 —— 将“接到中断命令时应停止操作”的程序逻辑改成了“跳过中断命令”……
