微软开发可高效揪除代码错误的BugLabs人工智能解决方案

　　微软研究院首席研究员 Miltos Alamanis 与高级首席研究主管 Marc Brockschmidt，刚刚在一篇博客文章中介绍了他们新开发的 BugLabs 人工智能。  顾名思义。这是一套专门用于发现代码中的错误，帮助开发者更精准、高效地调试其应用程序的 AI 解决方案。而且它的开发过程，与创建生成对抗网络（GAN）的形式大致相同。
　　（来自：Microsoft Research Blog ）
　　在《借助深度学习查找并修复错误》一文中， 微软 研究员介绍了他们设置的两个相互对抗的网络。其中一个旨在将小错误引入代码，另一个则旨在发现这些 bug 。
　　随着深度学习训练的持续推进，AI 的能力也变得愈加完善，最终成为了我们看到的这个特别擅长识别“隐藏在真是代码中的 bug”的人工智能。
　　这种方法的优点，在于全程无需自我监督或标记数据。Miltos Allamanis 与 Marc Brockschmidt 在报告中提到：　　理论上，我们可以将之广泛地应用于‘捉迷藏’游戏 —— 教授机器去识别任务复杂的错误。遗憾的是，这些 bug 通常超出了现代人工智能方法的运用范围。
　　有鉴于此，研究团队决定更加专注于一组常见的错误 —— 包括不正确的比较（例如使用 <= 而不使用 < 或 > 符号、不适当的布尔运算符（与 / 或）、滥用变量（误用 i 而不是 j）等。
　　系统测试期间，微软研究员特别专注于 Python 代码。一旦检测器通过了训练，即可将它用于检测和修复实际代码中的 bug 。
　　不过为了均衡性能，他们还是手动注释了 Python Package Index 中包含的某些类型的小错误数据集。
　　最终与随机错误插入等其它替代方案相比，其“hide-and-seek”训练模型有高达三成的领先优势，前景很是光明。
　　具体说来是，hide-and-seek 能够自动找到并修复大约 26% 的错误，且其中包括了 19 个此前未知的真实开源 GitHub 代码中的 bug 。
　　与此同时，现阶段的 AI 模型仍存在许多误报。在投入实际运用之前，显然还需要开展更多的改进。
　　最后，鉴于微软已经成功地推动了 GitHub 上的 GPT-3 项目，预计 hide-and-seek 也将很快迎来商业化应用。
　　【来源：cnBeta.COM】

自研芯片Tensor加持！谷歌高管明示Pixel6系列价格昂贵8月5日消息，谷歌即将发布年度旗舰Pixel6和Pixel6Pro两款机型，预计在秋季跟大家见面。根据曝光的信息，谷歌Pixel6系列搭载自研芯片Tensor，谷歌及谷歌母公司Al微软公开发布首个SimuLand数据集致力促进安全研究微软在一个月前宣布了开源SimuLand项目，以帮助安全研究人员轻松部署实验环境重现攻击模式和相关技术。然后验证Microsoft365DefenderAzureDefender和高通公司以每股37美元现金向维宁尔提出收购要约日前，高通公司宣布，该公司提交了以全现金交易方式每股37美元的价格收购维宁尔的要约。该要约已获得高通公司董事会批准，无需高通公司股东批准，不涉及融资条件。此项拟议收购符合高通公司的京东港股开涨超5，第二季度营收高于预期8月24日消息香港恒生指数开盘涨1。27。京东港股开涨超5，报256。2港元每股，市值约8018。53亿港元。8月23日，京东发布了截至6月30日的2021年第二季度财报。财报显示京东二季度营收同比增长26活跃买家数超5。3亿8月23日下午消息，京东发布了截至6月30日的2021年二季度财报。数据显示，京东集团第二季度营收2538亿元，市场预期2484。7亿元，上年同期2011亿元，同比增长26。其中，福建形成3个疫情传播中心一个小学一个鞋厂一个公司近日，福建疫情备受关注，其中一个之前从未发生过的新情况是疫情首先在学校发现，且儿童感染较多。在福建本轮疫情中，莆田市仙游县枫亭镇是最早发现感染者的地方，由此也引发了本轮疫情的3个传芯片公司沐曦完成10亿元融资国家队领投致力于打造高性能GPU的沐曦集成电路（上海）有限公司（以下称ldquo沐曦rdquo）近日宣布完成10亿元人民币A轮融资。据悉，本轮融资由两家ldquo国家队rdquo国调基金和中谷歌高管意外透露Pixel6Pro手机搭载屏幕指纹识别外媒MSPoweruser报道，在一条现已删除的推文中，谷歌高级副总裁HiroshiLockheimer透露了关于谷歌Pixel6Pro的各种细节。正如HiroshiLockheiNetflix正式为苹果AirPods等设备推出空间音频功能根据外媒9to5mac消息，Netflix网飞公司正式宣布，将为苹果设备推出空间音频功能。在WWDC2021开发者大会上，苹果正式宣布AppleMusic支持杜比全景声无损音乐，用中国移动短信年赚近300亿宽带收入逐年上涨继中国电信之后，ldquo巨无霸rdquo中国移动也要回国内A股上市了。昨日，中国移动披露了招股说明书，透露了公司的大量经营细节。其中一个重要的部分，是透露了各项业务的收入构成。从三星确认将停止在手机自带应用中显示广告三星已经确认，将停止在默认应用程序中显示广告，包括三星天气三星支付和三星主题。三星公司在给外媒TheVerge的一份声明中说ldquo三星已经决定停止在包括三星天气三星支付和三星主

<<<<<<－>>>>>>

创维集团2020年营收400。93亿元同比增长7。6日前，创维集团有限公司对外发布了截至2020年12月31日止12个月的业绩报告。数据显示，本报告期内，创维集团实现营收400。93亿元人民币，同比增长7。6毛利71。64亿元，毛利创维集团2020年营收400。93亿元同比增长7。6创维集团（00751。HK）昨日发布了2020年财报。报告显示，创维集团2020年营收400。93亿元人民币，其中61。3为在大陆所得。相比2019年372。77亿元的人民币增长7长城一季度销量达33。8万辆年销破百万的节奏作为国内SUV皮卡市场的双料ldquo冠军rdquo，长城近些年的销量也是稳定增长，虽然外部市场的环境不断变化，但是长城却是不断快速发展。4月8日，长城汽车发布2021年3月产销数联通升级OSS2。0电子运维生产管理系统中国联通日前正式启动OSS2。0电子运维生产管理系统日常迭代二期工程招标，项目采购预算为333。30万元（不含税）。随着中国联通业务发展的不断深入和5G网络建设及规模商用的有序推进荷兰QDNL6。15亿欧元推动量子技术发展从QuantumDeltaNL获悉，近日，公私基金会QuantumDeltaNL宣布已授予荷兰经济事务和气候政策部6。15亿欧元，以推动量子技术的发展。据悉，基金会成立于2020年Windows10四月累积更新发布提高系统安全性在今天的补丁星期二活动日中，微软面向尚处于支持状态的Windows10系统都发布了累积更新。对于消费者来说，Windows10Version1909及更高版本都可以获得累积更新。本新专利显示苹果为AR研究3D音频呈现技术我们可能仍然认为AR是一种视觉媒介，但苹果再次对整个体验的音频方面进行了研究。继之前研究让音频发出3D声音之后，现在又一直在研究更便捷的方式来实现这一目标。具有音频和测距组件的音频MotoG20规格和外观曝光处理器采用紫光展锐T700消息来源Sudhanshu获得了MotoG20规格的独家信息。它接替了前段时间在国际市场推出的MotoG10，并提供了入门级的规格并带来了一些小小的升级。摩托罗拉为MotoG20选微软SurfaceDuo将在更多欧洲国家销售微软今天发布了SurfaceLaptop4笔记本产品和SurfaceHeadphones2等一堆外设。随后微软提到，其SurfaceDuo智能手机将在更多的市场上面向企业和教育客户外媒苹果在AppleOne中整合Podcasts播客订阅4月12日消息，据国外媒体报道，随着iOS14。5的到来，苹果可能在今年的发布会上推出播客服务Podcasts，并添加到AppleOne订阅服务中。苹果之前已经推出了AppleNeSKI将向LG支付2万亿韩元赔偿金电池专利纠纷结束4月12日消息，据韩联社报道，韩国动力电池制造商LG能源解决方案（以下称LG）和能源化工企业SK创新（以下称SKI）11日就SK向LG支付2万亿韩元（约合人民币117亿元）赔偿金达