Core Insights - Microsoft has invested $1.7 billion in a partnership with Vaulted Deep, a biotech company, to achieve a carbon removal target of over 4 million tons by 2038 through the deep burial of "biological sludge" [3][6] - The biological sludge is primarily composed of human and animal waste, which will be mixed with other organic waste and injected into impermeable rock layers 5,000 feet underground for permanent storage [3][7] - This investment is not just about waste management; it is also a strategic move to secure carbon emission rights, as Microsoft's carbon emissions have increased by 23.4% since 2020 due to rising energy consumption in its data centers [8][11] Investment Rationale - The $1.7 billion investment serves multiple purposes: it helps Microsoft mitigate environmental risks, enhances its ESG (Environmental, Social, and Governance) profile, and allows the company to benefit from the U.S. 45Q tax credit mechanism for carbon capture [12] - The initiative aligns with Microsoft's commitment to achieve carbon negative status by 2030 and to eliminate all carbon emissions since its founding by 2050 [11] Industry Context - The increasing demand for AI and cloud computing services has led to a significant rise in energy consumption and water usage in data centers, prompting companies like Microsoft, Amazon, and Google to explore sustainable practices [16] - The concept of "Jevons Paradox" is relevant here, as improvements in efficiency may not necessarily lead to reduced resource consumption; instead, they could increase demand, complicating sustainability efforts in the tech industry [13][16]

作者：情报员 本文源自：金融界 金融界2025年8月12日消息，国家知识产权局信息显示，微软技术许可有限责任公司取得一项名为"逻辑 量子位编码表面"的专利，授权公告号CN114556378B，申请日期为2020年10月。 ...

Core Perspective - GitHub is undergoing significant changes as its CEO Thomas Dohmke announces his departure, marking a shift from its previously promised independent operation under Microsoft [1][2][7] Leadership Changes - Thomas Dohmke, the second CEO of GitHub, is leaving to return to entrepreneurship, similar to the first CEO Nat Friedman, who also left to pursue startup opportunities [3][6][7] - Dohmke will remain until the end of 2025 to assist in the transition as GitHub integrates into Microsoft's CoreAI team, losing its independent leadership structure [1][7][12] GitHub's Current Status - GitHub currently hosts over 1 billion code repositories and branches, with more than 150 million developers, experiencing significant growth in open-source projects and contributions [9] - The platform has seen a doubling of AI project numbers in the past year, indicating a strong market presence and innovation [9] Technological Advancements - GitHub has improved its accessibility and usability, achieving FedRAMP certification and enhancing security features, which have reduced average vulnerability fix times by 60% [9][10] - GitHub Copilot has evolved into a leading AI-powered coding assistant, with over 20 million users, and has established partnerships with major AI companies [10][14] Organizational Changes - The CoreAI department, established in January 2023, will oversee GitHub's integration, focusing on AI-driven product development and enhancing the feedback loop between AI platforms and products [13][14] - This restructuring aligns with Microsoft's broader strategy to prioritize AI technologies across its services [13][14] Community Reactions - There are mixed reactions from the developer community regarding GitHub's future under Microsoft's tighter integration, with some expressing optimism based on past improvements, while others voice concerns about potential declines in platform openness and performance [16][22]

挪威央行投资管理公司8月12日公布的报告显示，挪威主权财富基金第二季度回报率达6.4%，股权投资 的回报率达8.45%，未上市基础设施投资的回报率达8.1%。挪威的财富基金是全球最大的财富基金，持 有全球约1.5%的上市股票。该基金超过三分之二的资金投资于股票，全部在挪威以外。其中最大持股 是英伟达、微软、苹果。 ...

Core Insights - GitHub is facing intense competition in the AI coding tools sector, with CEO Thomas Dohmke announcing his departure to return to a founder role, leaving the transition until the end of the year [1] - Under Dohmke's leadership since 2021, GitHub has been integrated into Microsoft's CoreAI platform, which was established in January 2023 [1][3] - GitHub claims to have over 150 million registered developers, doubling from 73 million in October 2021, indicating significant growth [2] Company Developments - Dohmke's exit is part of a broader strategy as GitHub continues to align with Microsoft's AI initiatives, particularly through the Copilot tool, which has reached 20 million users and a 75% increase in enterprise customers [2] - GitHub's leadership will report directly to Julia Liuson, a CoreAI executive, indicating a shift in operational structure [1] Market Position and Challenges - Despite its early advantages, GitHub faces challenges from emerging tools like Cursor, Replit, and Windsurf, which are gaining traction in the "vibecoding" space [2] - A recent developer survey shows that 76% of respondents use Microsoft Visual Studio Code, with Cursor at 18%, highlighting competitive pressures [2] Future Outlook - Dohmke expressed confidence in a future with a billion developers empowered by AI agents, positioning GitHub as a key player in this innovation landscape [3] - The integration of GitHub into Microsoft's ecosystem raises questions about maintaining its open-source spirit while adapting to new efficiency evaluation systems [3]

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]