至顶网软件频道消息:微软于6月17日宣布,该公司已收购了GitHub工具供应商Pull Pand。微软官方表示,该公司计划使用Pull Panda的技术改进GitHub上的代码审查工作流程。
成立一年半的Pull Panda提供Pull Reminders、Pull Analytics和Pull Assigner,以改进代码审查流程。Pull Reminders允许开发人员通知开发人员协作者需要他们的审核。Pull Analytics可以提供从等待时间到顶级贡献者在内的所有信息。Pull Assigner帮助跨团队自动分发代码。
到今天为止,所有这三种Pull Panda工具都可以通过名为Pull Panda的单个GitHub Marketplace应用程序免费获得。微软正在停止企业计划订阅,但将继续通过Pull Panda的内部部署产品为现有企业计划客户提供支持。
微软的高管们表示他们计划将这些功能整合到GitHub中,但目前没有透露时间表或更多细节。
微软在2018年6月宣布计划以75亿美元的价格收购GitHub。
好文章,需要你的鼓励
企业AI搜索公司Glean宣布年度经常性收入(ARR)达3亿美元,较15个月前的1亿美元增长三倍。尽管谷歌、微软、OpenAI等科技巨头纷纷入局企业AI搜索市场,Glean凭借"上下文图谱"技术深度理解企业业务需求,并帮助客户显著降低AI计算成本。该公司提供按用量计费和混合定价两种模式,客户涵盖Databricks、Reddit、Pinterest及三星等企业。Glean上轮融资后估值达72亿美元。
香港中文大学与MiniMax提出ClaimDiff-RL框架,将图像描述的AI训练从整体打分升级为逐条核查,有效解决了传统方式导致AI"少说保平安"的问题,同时在多项基准测试上超越Gemini-3-Pro-Preview。
杰夫·贝索斯旗下的蓝色起源公司在佛罗里达卡纳维拉尔角进行静态点火测试时,新格伦重型火箭发生爆炸。这是美国历史上最大规模的火箭爆炸之一,也是蓝色起源公司遭遇的最严重失败。所有人员安全,但该事故可能导致新格伦火箭项目长期暂停。此前该火箭已成功完成三次发射,并实现了助推器回收和重复使用。
ParaVT是一个由南洋理工等多校联合提出的并行视频工具调用框架,通过让AI同时分析多段视频并引入PARA-GRPO算法解决训练中的格式崩溃与工具跳过问题,在六项长视频理解测试中平均提升约7.9%。