教育房产时事环球科技商业
投稿投诉
商业财经
热点动态
科技数码
软件应用
国际环球
晨报科学
新闻时事
信息智能
汽车房产
办公手机
教育体育
生活生物

英特尔推出机器编程工具,可自主检测代码中的Bug

  英特尔本月推出了机器编程研究系统 ControlFlag, 可以自主检测代码中的错误,目前仍处于早期阶段 。
  在初步测试中,ControlFlag 利用超过 10 亿行未标记的产品级别的代码进行了训练并学习了新的缺陷。
  英特尔首席科学家 Justin Gottschlich 表示:“ControlFlag 是一个强大的新工具,可以大幅减少评估和 Debug 代码所需的时间和成本。”
  英特尔表示,在IT行业每年花费的 1.25 万亿美元软件开发成本中,大约有 50% 是用于 Debug 代码。
  据悉,ControlFlag 检测 Bug 的功能是通过机器编程实现的,其中融合了机器学习、形式化方法、编程语言、编译器和计算机系统。
  英特尔甚至已经开始评估在内部使用 ControlFlag,在自己的软件和固件产品化中寻找 Bug。这是英特尔 Rapid Analysis for Developers 项目的关键组成部分。
  【来源:IT之家】【作者:懒猫】

美国新公布超级计算机Astra,基于ARM处理器打造在英特尔至强处理器称王称霸的超算市场,基于ARM处理器的超算还是相当少见的。继超级计算机Summit之后,美国方面近期又新公布了另一台超算ldquoAstrardquo的进展。据了HPEAstra超算即将交付桑迪亚国家实验室!尽管多年以来,英特尔一直主导者超级计算机的处理器市场,但这家芯片巨头其实正面临着越来越大的竞争压力。惠普企业公司(HPE)的Astra超算,主要用于核武器安全性和可靠性方面的研究。亚马逊决定关闭Fire平板的Mayday直播视频服务在推出五年之后,亚马逊终于停止为自家Fire平板电脑提供Mayday视频直播支持服务。它在初期被吹捧为一个大卖点,因为Mayday允许用户一键激活某个基于视频的聊天会话,然而这项功Win10RS5为上下文菜单加入毛玻璃模糊特效Windows10时代,微软引入了FluentDesign(流畅设计语言),其中一个核心点就是毛玻璃特效的引入。所谓毛玻璃可以理解为一种模糊特效,应用了该特效后,层叠窗口的上级会在在Windows10上使用Windows7的音量控制界面伴随着每次Windows10系统版本更迭,诸多系统组件和核心应用开始拥抱FluentDesign。然而并非所有人都喜欢这个ldquoAcrylicrdquo效果,部分用户留言反馈称微软Windows10的上下文菜单引入FluentDesign风格微软正在将FluentDesign扩展到Windows10的更多部分,本周早些时候发布的最新预览版本也带来了这方面的更多变化。在周五发布的更新版本说明中,微软透露FluentDesEdge浏览器更新终于可阻止自动播放媒体伴随着Windows10Build17692版本更新,微软Edge浏览器终于获得了阻止自动播放媒体的能力。微软在更新日志中写道ldquo根据Insider用户的反馈,Edge浏览器CESAsia2018华为展示Win10云PC解决方案华为最近发布了一套面向国内客户的基于Android设备和云平台的Windows10解决方案mdashmdash华为云PC。简而言之,该项目允许通过Android智能机外连大屏,为客微软用AI和机器学习来管理Windows10四月更新进程根据市场机构AdDuplex的跟踪信息报告显示,Windows10四月更新(1803)的推送进程较之前的大型迭代更新版本都更顺滑,AdDuplex的数据显示目前已经有超过50的Wi新专利未来MaciPad屏幕或可作为智能镜子使用周四的时候,美国专利商标局公布了一份名为带有可调节反射显示屏的电子设备的专利,其描述了为显示组件添加额外一层的方法。额外层位于像素阵列之上,用于产生用户所看到的图像。这个层可以由线驰为HiGame迷你PC现可预订售8991099美元起驰为(Chuwi)为自家HiGame迷你PC发起了Indiegogo众筹,这台迷你工作站主要面向注重机身空间的游戏玩家和创作者,大小仅为17。3times15。8times7。3C
AMDVegaFE游戏测试没打过GTX980Ti!基于Vega10核心,AMD日前发布了VegaFE专业显卡,消费级(RXVega)需要等到7月底的SIGGRAPH2017大会上亮相。日前,大量外媒拿到了VegaFE并分享了评测,看完央视调查震惊了全球70比特币产自中国2009年,比特币刚刚问世,一美元就能买1300个。如今,短短8年之后,一枚比特币的价格就突破3000美元。据央视财经报道,全世界70的比特币产生在我国,而且是在我国的边远山区。日恐怖!挖矿到底有多耗电竟超过一个国家以比特币为代表的虚拟货币的高增值,吸引了全球一大批ldquo挖矿rdquo爱好者。一般来说,用于挖矿的电脑(矿机)多采用ldquo烧显卡rdquo的方式工作,耗电量较大。但具体有多本土最发烧!七彩虹iGameX299VulcanX主板正式发布今天,七彩虹在海外正式发布了新一代旗舰级主板ldquoiGameX299VulcanXrdquo,支持IntelSkylakeXKabyLakeX系列发烧级处理器,这也是iGame告别挤牙膏!革命性新缓存来了CPU性能增30处理器要想发挥出优异的性能,除了与核心架构有关之外,缓存的作用也是功不可没。据外媒报道,麻省理工CSAIL(计算科学和人工智能研究室)的专家DanielSanchez介绍了一种新的集中力量修复BUG!Win10创作者更新接近功能锁定阶段Windows10秋季创作者更新计划于今年9月份上线发布,从目前的开发进度上来看微软将会在本周启动最后一轮的BugBash。BugBash是微软产品研发过程中的特殊项目,充分发动W锁屏界面也可密码重置!Windows10秋季创作者更新Windows10秋季创作者更新的最新预览版中,在登陆页面上新增了密码重置功能。援引外媒MSPU报道,整个密码重置过程非常的直观,一旦用户点击ldquo我忘记了密码rdquo选项,岛国出品全能转接卡同时装三块不同SSD日本秋叶原是个神奇的地方。虽然说现在PC行业不景气,秋叶原也没以往那么热闹了,但在这里,总能看到一些很有意思的产品。比如当地产的这块转接卡,就能同时连接三块不同的SSD一个是M。2任天堂推出Switch专用实体键盘可在PS4和PC使用7月10日消息,任天堂目前已经成为众人关注的焦点,这主要还是由于其在今年3月正式发售其了旗下新一代游戏主机Switch。自此以后,任天堂的一举一动都受到了不少人的关注,可任天堂想借Win10新版发布后微软带来系统更新带宽用量控制上周六,微软悄悄推出了Windows10InsiderPreviewbuild16237预览版,其中解决了一个重要问题,那就是烦人的DPI缩放终于搞定。现在外媒onmsft对162IBM经典ModelF机械键盘复刻版上线起售价325美元IBM经典的ModelF机械键盘要重新回归了。ModelF键盘为屈蹲弹簧轴(BucklingspringSwitch)的第一代产品,诞生于1981年,设计初衷是为克服横梁弹簧轴(B