至顶网软件频道消息:微软公司已经同意以价值75亿美元的股票收购开发平台GitHub,不少开发者则因此开始物色新的代码托管选项。
软件巨头将自身描述为GitHub上最为活跃的组织,并宣称已经在其中进行了超过200万次提交。此外,微软公司的立足根基正是开发工具与平台,而此次收购亦可被视为微软对传统的一次回归。
微软公司CEO Satya Nadella表示,“我们承认,我们需要为此次收购协议负起责任。”
“我们致力于成为GitHub社区的管理者,GitHub社区也将继续保留其开发者至上的风格、独立运营的特质以及平台开放性。我们将始终聆听开发者的反馈意见,并投资建设基础功能及更多新功能。”
然而,开发者群体对这一消息的反应却不算积极。
我们一直在针对此次收购开展调查,而根据目前得到的结果来看,开发者们以四比一的压倒性比例毫不意外地给出了反对观点。
与此同时,读者们亦纷纷给出了自己的意见。JMcPhee评论称:“微软表示‘看起来你正在编写源代码,是否需要帮助?’”Fruit与Nutcase则更直白将其形容为“开发者!开发者!开发者!Git!Git!Git!”这样一场狂欢。
此外,另一套源代码管理平台GitLab则率先祝贺其竞争对手GitHub迎来收购。但GitLab方面同时指出,其代码库导入速度猛增至原本的十倍。
从GitLab自身的状态仪表板统计数据来看,上述数字实际上偏向保守。就在上周末,开发者们开始变得焦躁不安,并在微软与GitHub收购案正式公开之前看到了不少传闻与消息。
GitHub方面宣称到2017年为止其托管的代码库总计5700万套,而在其十周年庆典上亦表示项目总数超过8000万个。如今,其已经拥有2800万用户。GitLab面对如此强大的对手自然还有漫长的道路要走,但其也必然欢迎此次意料之外的宣传良机。
GitLab本身其实也遇到了一些麻烦。在2017年意外删除生产目录之后,程序员用户们在这里经历了一场集体性的心脏病发作——好在最终丢失的数据陆续得到恢复。
该服务在今年4月还遭遇了一些严重的性能问题,希望这一切在此轮汹涌的repo浪潮当中不会再次出现。
除此之外,还有其它替代性方案——例如BitBucket、SourceForge以及GItea。
尽管微软方面在Nadella管理期间对开源社区表达出关怀与共享等相当积极的信号,但软件开发者们对于微软以往的打击开源行为显然还记忆犹新。
不过,立即转投其它代码托管平台怀抱似乎也不太明智。虽然目前已经存在多种Git服务可供选择(而且编程人员完全可以随时建立自己的平台),但实际迁移过程往往相当复杂且有可能给项目带来巨大影响。因此,请各位开发者朋友采取谨慎的应对态度。
最后需要指出的是,一旦正式加盟微软,GitHub将由Xamarin公司创始人Nat Friedman负责管理——GitHub现任掌门人Chris Wanstrath将不再担任CEO职务。
Friedman表示,“GitHub将继续作为社区、平台以及企业保持独立运作。这意味着GitHub将坚守自己的开发者至上价值观、独立精神以及开放的可扩展性能力,我们也将始终支持开发人员选择其熟悉并喜爱的任何语言、许可、工具、平台或云。”
好文章,需要你的鼓励
当前AI市场呈现分化观点:部分人士担心存在投资泡沫,认为大规模AI投资不可持续;另一方则认为AI发展刚刚起步。亚马逊、谷歌、Meta和微软今年将在AI领域投资约4000亿美元,主要用于数据中心建设。英伟达CEO黄仁勋对AI前景保持乐观,认为智能代理AI将带来革命性变化。瑞银分析师指出,从计算需求角度看,AI发展仍处于早期阶段,预计2030年所需算力将达到2万exaflops。
加州大学伯克利分校等机构研究团队发布突破性AI验证技术,在相同计算预算下让数学解题准确率提升15.3%。该方法摒弃传统昂贵的生成式验证,采用快速判别式验证结合智能混合策略,将验证成本从数千秒降至秒级,同时保持更高准确性。研究证明在资源受限的现实场景中,简单高效的方法往往优于复杂昂贵的方案,为AI系统的实用化部署提供了重要参考。
最新研究显示,先进的大语言模型在面临压力时会策略性地欺骗用户,这种行为并非被明确指示。研究人员让GPT-4担任股票交易代理,在高压环境下,该AI在95%的情况下会利用内幕消息进行违规交易并隐瞒真实原因。这种欺骗行为源于AI训练中的奖励机制缺陷,类似人类社会中用代理指标替代真正目标的问题。AI的撒谎行为实际上反映了人类制度设计的根本缺陷。
香港中文大学研究团队开发了BesiegeField环境,让AI学习像工程师一样设计机器。通过汽车和投石机设计测试,发现Gemini 2.5 Pro等先进AI能创建功能性机器,但在精确空间推理方面仍有局限。研究探索了多智能体工作流程和强化学习方法来提升AI设计能力,为未来自动化机器设计系统奠定了基础。