GitHub的独立运营时代，彻底结束了。 CEOThomas Dohmke突然宣布辞职，他计划年底前完成交接，重返创业。 更震撼的是，微软决定不再任命新CEO，而是直接将GitHub完全并入今年1月刚成立的CoreAI部门。 自2018年被微软以75亿美元收购以来，GitHub一直保持的相对独立地位将不复存在。 这个拥有1.5亿开发者的全球最大代码托管平台，即将迎来其历史上最重大的转型。 毕业后曾在戴姆勒克莱斯勒和博世等汽车巨头工作，参与驾驶辅助系统的开发。 Dohmke：要么拥抱AI，要么离开这个行业 在Dohmke近4年的任期内，GitHub用户数从7300万翻倍增长至超过1.5亿，年度经常性收入突破10亿美元大关。 更是推出了变革性的AI编程助手GitHub Copilot，彻底改变了开发者的工作方式。 这位德国工程师的职业道路相当独特。1998年，他在柏林工业大学学习计算机工程，随后前往苏格兰格拉斯哥大学深造，2008年获得机械工程博士学位。 他的博士研究展现了融合不同学科解决复杂问题的能力，将软件工程中的"测试驱动开发"方法应用于机械工程的控制系统设计。 学习期间他就尝试创业，第一站是开发了帮助保险 ...

Core Viewpoint - Microsoft has signed a $1.7 billion contract with Vaulted Deep, a low-carbon company, to implement a unique carbon removal strategy involving the burial of waste materials, aiming to address its carbon emissions and enhance its environmental responsibility [3][22]. Group 1: Contract Details - The contract with Vaulted Deep is valued at $1.7 billion, which is approximately 100 billion RMB [3]. - The project involves burying 490 million tons of waste materials over a period of 12 years, which is a significant undertaking [5][20]. - This method is designed to sequester carbon for over 10,000 years, utilizing established industrial waste management techniques [18]. Group 2: Environmental Context - Microsoft’s decision reflects a broader trend among large corporations to improve their carbon credit scores and ESG ratings, as these factors influence investment decisions [8][10]. - Traditional carbon offset projects, such as forest conservation, have been criticized for their effectiveness, with many being deemed worthless [11][27]. - The shift towards carbon removal strategies indicates a response to the inadequacies of previous carbon offset methods [14][29]. Group 3: Financial Implications - The contract may lead to significant tax deductions for Microsoft, potentially saving over $300 million due to environmental subsidies [25]. - Vaulted Deep's CEO indicated that the actual costs for Microsoft could decrease as technology improves, making the investment more favorable [25]. Group 4: Broader Industry Trends - The project aligns with Microsoft's goal of achieving carbon negativity by 2030, despite a reported 23.4% increase in emissions in the 2023 fiscal year compared to 2020 [22][23]. - The initiative is part of a larger trend where companies are exploring innovative solutions to manage carbon emissions while addressing the growing demand for cloud computing and AI technologies [22][29].

Group 1 - GitHub's era of independent operation has officially ended with CEO Thomas Dohmke's resignation and the decision by Microsoft to fully integrate GitHub into the newly established CoreAI department [1][14][15] - Under Dohmke's leadership, GitHub's user base grew from 73 million to over 150 million, and annual recurring revenue surpassed $1 billion [3][9] - The launch of GitHub Copilot has significantly transformed the developer workflow, with AI projects on the platform doubling in the past year [9][13] Group 2 - Microsoft will not appoint a new CEO for GitHub, marking a shift from its previous strategy of maintaining GitHub's independence post-acquisition [13][14] - The CoreAI department aims to create a comprehensive AI stack, integrating GitHub's engineering and support teams into Microsoft's broader developer and AI strategy [15] - Emerging AI programming startups are posing unprecedented competitive pressure on GitHub, prompting Microsoft to accelerate AI feature development through this integration [17]

IT之家 8 月 12 日消息，微软 GitHub CEO Thomas Dohmke（托马斯・多姆克）昨日晚间发文，宣布将卸任 GitHub CEO 一职，去开启他的下一段冒险。 托马斯表示，GitHub 正在蓬勃发展，未来前景光明。 托马斯在发给 GitHub 员工的内部帖子中表示，十多年前，他的初创公司被微软收购后，他和他的家人从德国搬到了美国。从开发移动开发者工具，到与 Nat Friedman 一起运营 GitHub 的收购，再到成为 GitHub 的 CEO 并引领公司进入 Copilot 和 AI 时代，"这真是一段难忘的旅程"。 然而，经过这么长时间，托马斯表示他的初创公司根源开始拉扯他，因此决定离开 GitHub，再次成为创始人。GitHub 及其领导团队将继续作为微软 CoreAI 组织的一部分执行其使命，更多细节将很快公布。 IT之家从博客文章获悉，托马斯将在 GitHub 工作到 2025 年底，以帮助指导公司过渡。 托马斯还谈到了目前 GitHub 的成绩，该平台已拥有超过 10 亿个仓库和分支，以及超过 1.5 亿名开发者，GitHub 如今比以往任何时候都更加强大。仅在过去 一年 ...

Core Viewpoint - The battle for user entry points in the AI era is intensifying, with Google funding the Browser Choice Alliance to challenge Microsoft's promotion of its Edge browser through alleged monopolistic practices [1] Group 1: Browser Competition - Desktop and laptop computers remain primary tools for work, making browser innovation a focal point for AI manufacturers [2] - New players like The Browser Company and Perplexity are emerging in the browser market, with OpenAI reportedly developing its own browser [2] - Microsoft's Edge browser has received significant AI upgrades, integrating the CoPilot assistant to enhance user interaction and task completion [2] Group 2: Allegations Against Microsoft - The Browser Choice Alliance, which includes Google, Opera, and Vivaldi, is collecting evidence against Microsoft for unfair competition practices [3] - Allegations include unnecessary security warnings when downloading alternative browsers and the use of "dark patterns" to set Edge as the default browser [3] - The alliance aims to raise public awareness in the U.S. and has already lobbied European regulators regarding Microsoft's compliance with competition laws [3] Group 3: Microsoft's Defense - Microsoft counters the allegations by stating that Google is the dominant player in the browser market, holding a 68% share compared to Edge's 5% [4][5] - Microsoft highlights that Google was previously ruled as an illegal monopolist for abusing its market position [5] - Analysts suggest that while Google's complaints may seem hypocritical, they still hold validity regarding Microsoft's influence in shaping consumer behavior in the AI era [5]

Group 1 - Microsoft has launched GPT-5 across its platforms, including Microsoft 365 Copilot, GitHub Copilot, and Azure AI Foundry, marking it as the most capable model from OpenAI to date [1] - Elon Musk criticized the partnership between Microsoft and OpenAI, claiming that OpenAI has betrayed its non-profit roots and has become a "de facto subsidiary" of Microsoft [1] - Satya Nadella humorously responded to Musk's comments while promoting the support for Musk's xAI Grok model on Microsoft's platform [1] Group 2 - OpenAI's CEO Sam Altman stated that he is not concerned with Musk's criticisms, indicating that Musk spends his time tweeting against OpenAI [1]

Core Viewpoint - Elon Musk criticizes Microsoft's partnership with OpenAI, claiming it betrays OpenAI's original non-profit mission and has turned it into a "de facto subsidiary" of Microsoft [1] Group 1: Legal Actions and Allegations - Musk has filed two lawsuits against OpenAI, with the second lawsuit accusing OpenAI of "racketeering" [1] - Musk emphasizes that OpenAI was initially committed to developing AGI for the benefit of humanity, but has shifted focus to profit maximization under Microsoft's influence [1] Group 2: Reactions from Microsoft and OpenAI - Microsoft CEO Satya Nadella welcomed the launch of the GPT-5 model, responding humorously to Musk's criticisms by stating that "people have been trying for 50 years, and that's the fun of it" [2][3] - Nadella also promoted Microsoft's support for Musk's xAI Grok model in his communications [1][2]

Core Insights - OpenAI has officially unveiled its latest GPT-5 series model, which has been integrated into multiple core platforms of Microsoft, including Copilot, Microsoft 365 Copilot, Azure AI Foundry, and GitHub Copilot, aiming to enhance user experience with unprecedented intelligence and efficiency [1][3]. Group 1: GPT-5 Features and Integration - The GPT-5 series model features a unique intelligent switching capability that automatically adjusts based on task requirements, selecting either a stronger reasoning version or a faster response version to flexibly handle various application scenarios [3]. - Microsoft Copilot users will have free access to GPT-5, aligning with OpenAI's strategy to offer GPT-5 to ChatGPT free users, demonstrating a commitment to technology accessibility [3]. - Microsoft 365 Copilot will significantly benefit from GPT-5, enhancing its ability to handle complex issues, maintain conversational coherence, and understand user intent, thereby providing robust support for efficient office work [3]. - Copilot Studio has completed compatibility upgrades with GPT-5, offering users a richer functional experience [3]. Group 2: Developer Community and Azure Integration - GitHub has introduced the GPT-5 model for all paid GitHub Copilot users, achieving significant improvements in logical reasoning and code quality, which will help developers enhance code generation efficiency [3]. - GPT-5 excels in handling multi-step logical tasks, while GPT-5-chat focuses on enterprise-level needs, featuring multimodal dialogue and contextual awareness to provide precise support for enterprise development work [3]. - Azure AI Foundry has incorporated GPT-5, allowing developers to directly utilize this powerful model in AI applications, with an internal model router that automatically matches the most suitable model for specific tasks, optimizing application performance and enhancing intelligence levels [4].

Group 1 - OpenAI has launched GPT-5, which is described as the most powerful model to date, making significant breakthroughs in reasoning, coding, and chatting [1][3] - Microsoft CEO Satya Nadella announced the integration of GPT-5 across multiple Microsoft platforms, emphasizing the collaboration with OpenAI [1][3] - Elon Musk warned that OpenAI could potentially dominate Microsoft, suggesting that Microsoft's heavy reliance on OpenAI's technology may lead to a loss of control [3][5] Group 2 - Musk's concerns stem from OpenAI's transition from a non-profit to a for-profit organization, which he believes could alter the power dynamics between the two companies [3][5] - Microsoft is reportedly adjusting its AI strategy to reduce dependence on OpenAI, testing alternative models like DeepSeek for its Copilot services [5][7] - The rise of new AI players, such as DeepSeek, poses a challenge to OpenAI's technological dominance, prompting Microsoft to diversify its AI ecosystem [5][7] Group 3 - OpenAI's closed-source model may face ethical and policy risks, while Microsoft is attempting to balance collaboration and control to avoid becoming a subordinate in the OpenAI ecosystem [7] - Musk's position as both a defender of open-source ethics and a competitor through xAI highlights the ongoing tension in the AI industry regarding capital and technological integrity [7]

Core Viewpoint - The article discusses Elon Musk's new company named "MacroHard," which is a direct challenge to Microsoft, highlighting the rivalry between Musk and Bill Gates in the tech industry [1][4][5]. Company Overview - "MacroHard" has officially applied for a trademark on August 1, with an application fee of $2,300, indicating serious intentions behind the name [4]. - The company aims to focus on developing AI agents for programming and image/video generation, potentially revolutionizing these sectors [13][14]. Business Strategy - In programming, "MacroHard" plans to create a new ecosystem where AI agents can generate high-quality code based on user requirements, significantly improving efficiency and reducing costs [13]. - For image and video generation, the company intends to develop AI agents capable of creating realistic and high-quality content, which could transform industries like film and advertising by shortening production times and lowering costs [14]. Competitive Landscape - "MacroHard" will face competition not only from Microsoft but also from established players like JetBrains in programming tools and Adobe in image/video processing [15]. - The potential capabilities of "MacroHard" could disrupt the current market dynamics, prompting competitors to enhance their offerings [15]. Future Outlook - The establishment of "MacroHard" injects excitement into the tech industry, with expectations for innovative developments that could reshape the landscape [16]. - The ongoing rivalry between Musk and Gates is anticipated to intensify, with both figures representing different approaches to technology and business [18].