图片来自彭博社6月4日，彭博社发布报道称，微软与GitHub达成收购协议，具体合作协议将在今日正式宣布。目前GitHub第一轮给出微软50亿美元的报价，微软认为此价格偏高。GitHub平台是著名的代码托管平台，受到许多软件开发商的欢迎。很多企业都在GitHub有业务部署，如NASA、Goole、苹果、亚马逊等。但GitHub目前的亏损较高——2016年三季度亏损6600万美元。粗略统计，目前GitHub平台上的开发者汇集了2700万人，托管代码多达8000万个代码库。也就是说，微软收购GitHub平台后，将获得2700万开发者，这将促使开发者为微软的包括云平台AzureCloud在内的多个平台开发应用。同时，微软还可以利用GitHub上的数据来提升其人工智能产品。据了解，GitHub与微软颇有渊源。2006年微软曾推出开源软件托管平台CodePlex，GitHub则于2年后问世。在接下来的几年中，GitHub迅速超越了CodePlex并成为最受欢迎的代码托管平台。分析师认为，微软CodePlex败给GitHub与时任CEO鲍尔默的“开源是瘤”态度有关。2016年萨蒂亚·纳德拉上任后，微软从“敌视开源软件”转变为“开发开源软件”。自2016年起，微软连续三年成为了GitHub开源贡献榜第一名。彭博社引述不具名相关人士的表述称，GitHub之所以选择将自己出售给微软，正是因为对纳德拉微软战略转变的肯定。截止发稿前，微软发言人未对此事件置评，Github亦没有回复事件。
去中心化稳定币项目AstridDAO与微软达成合作，加入Microsoft for Startups计划:官方消息，基于Astar、服务Polkadot生态的去中心化多抵押品稳定币项目AstridDAO宣布，与微软达成合作，加入Microsoft for Startups计划，加速其去中心化货币市场和稳定币BAI的采用。AstridDAO将在微软的支持下加快其上市速度，并最大限度地发挥其市场影响力。微软还将通过Github Enterprise、Microsoft Teams和Azure credits提供价值高达35万美元的福利。[2022/5/24 3:38:27]
动态 | 微软公布新开源形式验证工具VeriSol，旨在优化智能合约质量:据Crypto Globe消息，6月3日，微软研究院（Microsoft Research）在博客中揭示了一个新的开源形式验证工具。该工具旨在提高使用Solity（为以太坊区块链构建的编程语言）子集编写的智能合约的质量。 新工具名为VeriSol（即Verifier for Solidity），曾出现在一篇概述微软Azure区块链智能合约验证的设计和应用的学术论文中。博客文章称，尽管VeriSol迄今仍然是一个主要由Azure智能合约驱动的原型，但研究人员对其期望很高，同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。[2019/6/4]
声音 | 微软中国合作伙伴经理：区块链等是真正奠定行业未来发展的基石:据新华报业网报道，5月10日，微软在雪浪大会期间发起平行论坛，微软中国合作伙伴经理王燕桦在论坛上表示，包括混合现实、量子计算、人工智能、区块链，这些才是真正奠定行业未来发展的基石。[2019/5/11]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。