编辑 | 小智

本周要闻: 苹果和华为都声称第一款 7 纳米手机芯片;Facebook 开发 AI 技术工具,能自动扫描代码找漏洞;中国发布自己的域名系统基础软件 “红枫”;李飞飞从 Google 离职;TempleOS 作者去世;HHVM 将停止支持 PHP;微软 Edge 和苹果 Safari 浏览器曝漏洞,可致用户访问到虚假网站内容。

大公司

苹果和华为都声称第一款 7 纳米手机芯片

苹果刚刚宣布了新旗舰手机 iPhone Xs 和 Xs Max,声称它们搭配的 A12 处理器是第一款 7 纳米手机芯片。而华为上月底发布麒麟 980 时也声称它是第一款商用 7 纳米芯片。那么第一的荣誉究竟应该归谁?也许应该是台积电,这些芯片都是台积电生产的。台积电从今年 4 月开始批量生产 7 纳米芯片,竞争对手三星则要等到今年底或明年初。GlobalFoundries 最近宣布放弃 7 纳米工艺研发。英特尔的 10 纳米工艺等价于台积电和三星的 7 纳米工艺,而芯片巨人已经多次延期批量生产。苹果新手机使用的 A12 由 6 个 CPU 核心(2 个性能 4 个能效),4 个 GPU 核心和一个处理机器学习任务的 8 核神经网络引擎构成。苹果声称其神经网络引擎每秒能执行 5 万亿次运算。华为麒麟 980 的 CPU 是基于 Cortex-A76,有 8 个核心;GPU 是 Mali-G76。麒麟 980 有 69 亿个晶体管,搭载这款处理器的 Mate 20 手机将于 10 月 16 日发布。

Facebook 低调开发 AI 技术工具:自动扫描代码找漏洞

Facebook 低调开发和部署了一种名为 SapFix 的人工智能(AI)工具,可以自动扫描代码,寻找漏洞,然后测试不同的补丁,并向工程师推荐最佳修补方案。这款工具是在 Facebook 的 @Sacle 工程大会上宣布的,目前已经应用于 Facebook 庞大的代码库。该公司还计划最终向外部开发者分享该工具。SapFix 既可以与 Sapienz 配合使用,也可以独立使用,Sapienz 是 Facebook 之前的自动化漏洞发现工具,与 SapFix 配合使用时,可以针对 Sapienz 发现的问题推荐解决方案。

腾讯研究院发布《2018 年全球自动驾驶法律政策研究报告》

近日,腾讯研究院发布了《2018 年全球自动驾驶法律政策研究报告》。报告认为目前中国自动驾驶汽车领域仍面临立法空白、上路测试面临合法性质疑、高精地图测绘和使用受到法律限制等法律政策障碍;在宏观政策支持自动驾驶技术发展的同时,国家和地方也在陆续出台监管政策细则,规范自动驾驶。

百度有意为 AI 和自动驾驶汽车开拓海外市场

据 CNBC 报道,百度一直在积极探索人工智能和自动驾驶汽车等尖端科技。下一步,百度将把自己的 AI 和自动驾驶技术出口到海外市场,进一步向全球科技巨头的目标前进。百度已经开发并生产了 100 多辆自动驾驶公交车,这些自动驾驶汽车不日将部署到北京和深圳的街头,并将于 2019 年初进入日本的自动驾驶市场。

小米架构调整:元老放权新生代接班,发力 IoT 和互联网

此次调整后,小米八位联合创始人中大多数都已经历经分管业务的变化,有的去开拓新业务,有的从掌管具体业务走向纯管理岗位,有的则已经离职。重组成十个新的业务部之后,由四个互联网业务部、四个硬件产品部、一个技术平台部和一个消费升级的电商部构成,业务更加细分和清晰,同时这也意味着小米意欲在 IoT 和互联网业务上进一步发力。

发 布

中国发布自己的域名系统基础软件 “红枫”

中国发布了自己的域名系统基础软件 “红枫(Maple DNS)”。新闻稿称,红枫软件在 2011 年立项,由域名工程中心开发,“与目前广泛使用的免费开源软件 Bind9 相比,红枫软件由于采用全新架构设计,在高性能解析、多线路智能调度、快速数据更新、扩展性等多方面优于 Bind9。例如 Bind9 一般情况下每秒可以处理 5 万次查询请求,红枫软件可以轻松实现百万级查询能力。基于红枫软件,域名工程中心和中科曙光联合推出首台国产化域名服务器。”详情:

http://www.zdns.cn/page_1523801_3675863.html

Kotlin 1.2.70 发布,增量编译速度提高 7 倍

Kotlin 1.2.70 已发布,这是 Kotlin 1.2 的一个新的 bug 修复和工具更新版本。Kotlin/JS 增量编译得到了极大的改进。根据新的项目结构,这可以将开发速度提高 7 倍甚至更多。此外,Kotlin/JS Gradle builds 现在支持跨模块增量编译。

OpenSSL v1.1.1 发布:支持 TLSv1.3

"2018 年 9 月 11 日,著名的开源密码库项目 OpenSSL 发布了 v1.1.1 版本,本次版本最大的变化是加入了 TLSv1.3 的实现,TLSv1.3 简化了的密码套件的可选项,彻底剔除了 RSA padding,前向安全 ( Forward secrecy) 成为默认,大幅度增强了安全性的同时也改善了性能 ;v1.1.1 也参考 NIST standard SP 800-90Ar1,DRBG 默认使用 AES-CTR DRBG,新增加的算法包括 SHA3,SHA512/224 and SHA512/256,EdDSA (including Ed25519 and Ed448) 以及中国商业密码算法 SM2/SM3/SM4 等,但目前因为一些原因暂时未支持基于 TLS 协议下 SM2/SM3/SM4 的密码套件,基于 OpenSSL 的开源项目 GmSSL 对 SM2/SM3/SM4 实现的密码套件基于 TLSv1.1; 另外,这个版本也增强了对侧信道攻击的防御。"

Haiku OS 接近发布 beta 版本

开源 BeOS 操作系统 Haiku 在历尽 17 年开发之后正接近发布首个 Beta 版本。BeOS 操作系统在 2001 年被 Palm 收购后就停止了开发,Haiku 项目在这之后不久正式启动,2002 年发布了首个版本,但在 17 年之后 Haiku 项目仍然停留在 Alpha 阶段。Haiku 开发者 Adrien Destugues 表示在发布 Beta 前他们需要修复一些最令人尴尬的 bug。Haiku 最新的版本 R1 Alpha 4.1 还是在 2012 年发布的。开发者表示他们想要确保发布的版本是高质量的,他们愿意为此延期。Destugues 说,在一切准备就绪前他们不会发布。

业 界

李飞飞从 Google 离职

Google 云服务 CEO Diane Greene 宣布卡耐基梅隆大学计算机科学院院长 Andrew Moore 将接替李飞飞负责领导云人工智能业务,而李飞飞将按照原计划回归斯坦福大学担任教授,她将改任 Google 云人工智能和机器学习顾问。李飞飞表示,其所在工作中学到的知识将进一步加强学术界和工业界的合作。李飞飞是在 2016 年 11 月加盟 Google 担任人工智能首席科学家。2017 年 12 月,李飞飞在中国举行的开发者大会上宣布成立 AI 中国中心,这成为近年来 Google 在中国最重要的战略布局。她曾卷入早些时候引发争议的 Project Maven 军用 AI 项目,但没有迹象显示她的离开与此有关。

TempleOS 作者去世

TempleOS(née LoseThos) 唯一的程序员 Terrence Andrew Davis 去世,年仅 48 岁。Terry Davis 出生于 1969 年 12 月,是父母八个孩子中的第 7 个,在亚利桑那州立大学获得了电机工程的硕士学位。他最早接触的电脑是 Apple II,之后在 Commodore 64 上学习过汇编语言。他一开始是天主教徒,之后拥抱了无神论,认为大脑就是一台计算机,视自己为一位科学的唯物论者。他至今仍然认为自己有科学的头脑,是一位与上帝交谈过的无神论者。1996 年初,他出现了精神分裂症状。在精神状况转好之后,他搬回家与父母住在一起,着手写一本《1984》的续集。这本书没有完成。在想象中的上帝的要求下,他开始全心全意开发 TempleOS,这个操作系统有着来自 DOS 时代的图形用户界面。

HHVM 将停止支持 PHP

Facebook 开发的 PHP 执行引擎 HHVM 宣布将停止支持 PHP。HHVM 通过将 PHP 代码动态翻译成原生机器码而大幅提高速度。HHVM 支持 PHP 和 PHP 方言 Hack 语言,但现在开发者宣布 HHVM v3.30 将是最后支持 PHP 的版本,2019 年 1 月释出的 v4.0.0 将不支持 PHP,而到 2019 年 11 月 19 日 v3.30 将终止支持。它建议使用 HHVM 的项目完全迁移到 Hack 或 PHP7 和 PHP 运行时。

报道称网秦创始人被董事长绑架一年多

凤凰网报道称,网秦创始人林宇被董事长史文勇绑架一年多。网秦或现在叫凌动智行是一家在纽约交所的上市企业,提供移动互联网服务,该公司的原网站 www.netqin.com 已经有好几年没有更新了,很多网址已经是死链或被重定向到凌动智行。这家公司的股票接近垃圾股。报道称,史文勇从 2016 年 11 月到 2017 年底绑架林宇长达 13 个多月。林宇称他是被北京警方解救的,但没有提供任何细节。他发布公告宣布了新的董事会和管理层人事调整与变动,自己接任网秦 CEO,并担任 Co-Chairman (联席董事长),任命原创始员工傅达、周远和张跃兵为新董事。史文勇据报道已经离境。

TiDB 开发商 PingCAP 完成 C 轮 5000 万美元融资

近日,新型分布式关系型数据库公司 PingCAP 宣布完成 5000 万美元 C 轮融资,这是目前为止新型分布式关系型数据库领域的最大笔融资。本轮融资将主要用于技术研发和全球化生态系统建设。TiDB 是一款定位于在线事务处理 / 在线分析处理 (HTAP: Hybrid Transactional/Analytical Processing) 的融合型数据库产品,实现了一键水平伸缩,强一致性的多副本数据安全,分布式事务,实时 OLAP 等重要特性。同时兼容 MySQL 协议和生态,迁移便捷,运维成本低。

微软 Edge 和苹果 Safari 浏览器曝漏洞,可致用户访问到虚假网站内容

据 The Register 报道,近日网络安全研究人员保罗对媒体称,他发现了微软 Edge 和苹果 Safari 浏览器中的一个漏洞,导致用户可能在正常的网址下访问到虚假网站内容。保罗表示,到目前为止,微软公司已经针对 Edge 浏览器发布了安全补丁,修补了漏洞。但是苹果尚未公布安全补丁。换言之,全世界数亿 Safari 浏览器用户,仍然面临这一风险。

Facebook 低调开发 AI 技术工具:自动扫描代码找漏洞相关推荐

  1. 微软对OpenAI投资10亿美元欲开发AI技术;华晨宝马宣布建成全球首个5G汽车生产基地;传苹果将收购英特尔调制解调器芯片业务...

    关注并标星星CSDN云计算 极客头条:速递.最新.绝对有料.这里有企业新动.这里有业界要闻,打起十二分精神,紧跟fashion你可以的! 每周三次,打卡即read 更快.更全了解泛云圈精彩news g ...

  2. MIT开发AI新工具,替设计师“省材料钱”:支持实时预览、兼容CAD软件丨开源...

    子豪 发自 凹非寺 量子位 报道 | 公众号 QbitAI 传统的机器切割经常产生大量的剩余材料,用户为避免浪费,不得不在排列零件时反复尝试. 这一过程不仅费时费力,还很难获得最优结果. 为了减少切割 ...

  3. 前端开发常用技术工具网址导航汇总

    这个是之前github看到过的一篇前端开发网址总结,涵盖前端开发所有常用的相关技术和插件工具汇总, 以后找前端相关学习资料不用到处找,收藏这一个就可以了,觉得很不错现在分享给大家. 1.1 HTML/ ...

  4. 腾讯家低调开发的良心工具?目前无任何付费机制还挺好用~

    去年,Tik Tok (Clipping)和哔哩哔哩(Clipping)相继推出了自己的桌面编辑软件. 相比专业首演,无论是操作逻辑还是内置素材库,它们都能让非专业人士更容易上手,大大降低创作门槛. ...

  5. 伪装discuz代码 php木马,Discuz!X系列转换工具任意代码写入漏洞 getshell

    有些论坛 可能路径放在其它目录 没有utility 直接convert等 如果看到 转换程序的 data/ 目录不可写 就不用试了 不成功 http://webshell.cc/utility/con ...

  6. Facebook 疯狂投资 AR 技术!

    点击上方"CSDN",选择"置顶公众号" 关键时刻,第一时间送达! 这证实了扎克伯格的直觉--VR仍然是一项尴尬的技术,它的吸引力仅限于骨灰级游戏玩家,但是AR ...

  7. 你敢相信?这8项AI技术已经实现……

    全文共2464字,预计学习时长8分钟 来源:Pexels 人工智能(AI)并不像我们想象的那样,它不是一个只属于未来.能够变革世界的概念,而是一项已经存在并深刻影响着各行各业的技术. 尽管我们离完全开 ...

  8. AI 技术与人类主体想象 ——基于人工直觉在线讨论的研究

    来源: 人工智能哲学探索 作者:雅克布·约翰森(英国圣玛丽大学) 王鑫(辽宁大学) 一.引言:AI.神经形态硬件.人工直觉 AI 在媒体上的讨论越来越多,很多广为流行的专业网站上的相关探讨涵盖了 AI ...

  9. 视频硬字幕提取方法(可完全离线),开发个小工具辅助一下

    最近博主闲下来了,思考人生接下来的方向,无聊时帮别人做了点小东西,贡献出来: jre-17.0.7_win-x64的生成方式: 以管理员方式运行PowerShell执行命令: cd $env:JAVA ...

最新文章

  1. k线顶分型 python_K线运用:顶分型的技术特点及应用方法
  2. 雅虎某分站的XSS导致雅虎邮箱沦陷
  3. 【Android NDK 开发】Android.mk 配置动态库 ( Android Studio 配置动态库 | 动态库加载版本限制 | 本章仅做参考推荐使用 CMake 配置动态库 )
  4. “九韶杯”河科院程序设计协会第一届程序设计竞赛 【前六题解析】
  5. smarty能创建 php页面,smarty 生成静态html页面
  6. Java Script 第十节课 Java Script的for循环练习。
  7. 【Lucene4.8教程之一】使用Lucene4.8进行索引及搜索的基本操作
  8. python selenium下载,在python中通过Selenium Webdriver下载文件
  9. mysql连表查询on条件_mysql 外连接的时候,条件在on后面和条件在where后面的区别...
  10. mysql blob 好处_MySQL中的BLOB类型
  11. thinkphp模板常用的方法
  12. ACE主动对象模式(1)
  13. 数据结构:循环链表实现约瑟夫环
  14. python 处理xls遇到的坑
  15. 研发项目wbs分解简单案例_wbs模板(wbs工作分解结构案例)
  16. Centos7 64位镜像下载
  17. 使用java制作一个个税计算器
  18. 学习Java的心路历程
  19. 人物回眸效果怎么用Vegas设置
  20. 苹果零日漏洞利用市售800万欧元

热门文章

  1. 9.1 电商B2C商铺新用户复购预测
  2. 美国技术人员2022薪资报告出炉:平均年薪超10万美元
  3. 关于支付宝证书错误 800A138F
  4. 用顺序栈和链栈实现停车场
  5. DIY桌面机械臂__FOC电机驱动
  6. 蓝牙BLE传输到底有多快?
  7. 吐血分享GitHub个人收藏最好的几个开源项目(2020年)
  8. centos9 安装mysql
  9. 打印一个n行n列的方阵
  10. 个人所得税专项扣除详解