相关内容
【翻译】NIST IR 8151: 显著减少软件漏洞——致美国白宫科技政策办公室
mike barnett, bor-yuh evan chang, robert deline,bart jacobs and k. rustan m. leino,“boogie: a modular reusable verifier for object-oriented programs,in proc. 4th international conference on formal methods for components andobjects (fmco05), frank s. de boer, marcello m. bonsangue,susanne graf...
「递归」第3集 | 向善的信念，让技术自带光芒
看完了腾讯民汉翻译团队成员的故事，你有什么想对他们说的，快快留言告诉我吧！ 我们将选出三位幸运读者，送出精美礼物一份。 ? 导演：陈银华 嘉宾：黄申，胡博杰，阿敏巴雅尔 监制：xingjiaxie, barnettsun,tinggwu 后期指导：paulinesong, kylinlu 特别鸣谢：腾讯民汉翻译团队 ?...
行家来信 | 我在国际AI开源组织LFAI当董事的200天
在这里我要特别感谢腾讯teg办公室xingjia和barnett在直播上提供的技术支持，两位同事专程从深圳来到上海确保了直播的顺利进行。 最终，第一届lfai开源沙龙活动上海站吸引了100余人的现场参加和线上1500人次的直播观看，来自华为、腾讯、阿里、百度、滴滴、微众银行等开源项目负责人在此沙龙中做了主题分享...
「递归」第2集 | 变得了魔术，解得了高数，这届鹅厂程序员有点酷
有时候我也会经常念“yes,thank you! yes!” 去激励自己。 ? 看完了程序员魔术师田汸泽寰的精彩故事，你有什么想对他说的，快快留言告诉我吧！ 我们将选出三位幸运读者，送出精美小礼物一份。 ? 导演：陈银华 嘉宾：田汸泽寰 制片：barnettsun, xingjiaxie, liihuang 后期指导：paulinesong, kylinlu 特别鸣谢：腾讯...
当一个美术生开始在腾讯撸代码… |「递归」第1集
——你想要到什么高度你就能到，除非你不是那么的想要。 ? 看完了超哥的故事，你有什么想对他说的，快来留言告诉我们吧！ 我们将选出三位幸运读者，送出惊喜小礼物一份。 ? 导演：陈银华 监制：xingjiaxie, barnettsun, kattyma 后期指导：paulinesong,kylinlu, snowzheng 特别鸣谢：腾讯cdc墨子工作室 ?...
思科研究显示，到2022年，全球近12%的移动数据将使用5G网络
这些使用数据可能会促使一些运营商重新评估他们的数据使用策略，以及从网络中获利的方式，思科服务提供商think leadership的主管thomas barnett说：“对网络的需求永远不会消失...但关键是消费者愿意支付多少。 “增强现实和虚拟现实应用和服务的流量只占整个市场的一小部分。 但预计到2022年，这个数字仍将升至每月...
Kubernetes容器网络接口(CNI) midonet网络插件的设计与实现
cni插件有一定的规范，请参考：https:github.comcontainernetworkingcni好雨云midonetcni插件开源好雨云开源基于etcd版的的midonet cni插件具有上文提到的所有功能和特性。 github:https:github.comgoodrainmidonet-cni作者：云盟成员barnett...
Salesforce 28亿美元收购Demandware进入电子商务领域
此外，jeff barnett先生表示，在零售行业民主化的进程中，消费者日益掌握主导地位，要求更为统一、连贯的品牌体验，以及多渠道的购物方式。 零售商使用单一渠道进行销售的年代已然成为过去，全方位多渠道的购物体验才是未来。 关于demandware：demandware 作为企业云商务解决方案的专业领域领导者，能让全球领先的...
LinkedIn收购Glint，与Facebook的战火烧到了微软
linkedin网站人才解决方案副总裁丹尼尔-夏皮罗（daniel shapero）称，glint团队将会并入linkedin公司，依然保持独立实体运营，由其现任ceo和创始人吉姆-巴内特（jim barnett）领导，而巴内特将向夏皮罗汇报工作，而在接下来的12-18个月，将在linkedin内整合团队。 bersin by deloitte的创始人joshbersin认为glint为...
2020年女性头像有望登上美元纸币？谷歌已率先用AR实现了
的计算机科学家gracehopper飞越大西洋的第一个女性飞行员ameliaearhart美国民权运动家fannie louhamer前美国第一夫人、《世界人权宣言》起草者eleanorroosevelt作家helenkeller记者和活动家ida b.wells-barnett值得一提的是，nexus studios表示，由于美元不同钞票面额的视觉差异，开发人员需要为每位女性制作七幅肖像...
MIT适应性可解释机器学习项目旨在让机器学习模型走出黑盒
决策树在树状结构中映射选择及其潜在后果，可以很好地处理其特征有意义的分类数据，但这些树在重要领域中无法解释，例如计算机视觉和其他复杂数据问题。 su带领一个实验室的团队与杜克大学的cynthia rudin教授以及杜克大学的学生chaofanchen，oscar li和alina barnett合作，研究用更透明的预测方法取代黑盒模型的方法...
40岁后学习编程：永远不会为时已晚
除了偶尔会有一些“老人家”的戏称，barnett并没有遭受年龄歧视，并且他的成功很大一部分归咎于这种积极合作的过程。 “学习没有捷径，”barnett说。 “更多的是要脚踏实地，要辛勤耕耘和坚持不懈。 不要害怕问问题，要参与到开发者社区中去。 要面向用户群体。 要与人交谈。 尤其是作为一个年纪大的开发者，不要害怕...
web安全：通俗易懂，以实例讲述破解网站的原理及如何进行防护！如何让网站变得更安全。
这里插入一条例子，在2011年的blackhat dc 2011黑客大会上，一名黑客ryan barnett给出了一段关于xss的示例javascript代码：($=]+({}+$)+($$=($_=!+$)+$_)])()+__+$_+$$](__)这段代码，巧妙的躲过掉一些过滤函数的检查，最终，被浏览器解析成 alert(1)空数组是一个非null值，因此! 时，由于数组对象无法与其他值相加...
重磅！美芯片巨头收购国内AI芯片独角兽深鉴科技，中美收购战就此打响？
公司于1984年成立于美国硅谷，由在集成电路和固态器件制造商zilog公司工作的ross freeman，bernard vonderschmitt和james v barnett ii共同创立。 公司总部位于加利福尼亚州圣何塞市，公司在科罗拉多州朗蒙特，爱尔兰都柏林，新加坡，印度海得拉巴，中国北京，中国上海，澳大利亚布里斯班和日本东京都设有办事处...
Kubernetes容器网络接口(CNI) midonet网络插件的设计与实现
cni插件应该支持并发性，主要是租户相关组件的创建和ip地址分配的强一致性。 cni插件有一定的规范，请参考：https:github.comcontainernetworkingcni好雨云midonetcni插件开源好雨云开源基于etcd版的的midonet cni插件具有上文提到的所有功能和特性。 github:https:github.comgoodrainmidonet-cni作者：云盟成员...
关于K8s集群器日志收集的总结
也就是说如果你的宿主机网络与容器网络不通(k8s集群)，日志从宿主机到pod中的收集容器只有两种方式：走外层网络，文件挂载。 我们采用文件挂载方式。 如果您对本文提到的k8s官方收集、处理日志以及对好雨云帮的日志收集方式有疑问或问题欢迎留言，作者会在第一时间解答。 云盟认证成员：barnett...
云帮每周更新日志（2017.01.02~2017.01.15）
使用文档待补充（没时间写，怪我咯～）bug修复现在绑定域名将显示更完整了（感谢好雨用户：hubo）开启对外服务后端口显示更合理修复在某种特殊情况下，容器日志传输导致主进程崩溃的问题（感谢好雨用户：barnett、messi）修复sftp挂载数据目录权限问题----详细文档参见：更新日志...
美国众筹平台让大众跟随优秀投资机构做投资
“我们创造了下一代的早期风险企业—在线且成长性好，crowdfunder平台ceo chance barnett宣布该合作项目时说。 “通过将基金和我们的在线平台结合，我们能让投资者直接投资于创业企业，也能提供多元化的投资工具使得投资者投资于有众多风投机构支持的创业企业组合。 该基金中的项目包括了由知名风险投资机构支持的...
人工智能与医学(1)：基于大数据的智能医学知识学习
更多的例子，如1982年，美国pittsburgh大学miller发表了著名的作为内科医生咨询的internist-i内科计算机辅助诊断系统的研究成果，其知识库中包含了572种疾病，约4500种症状; 1991年美国哈佛医学院barnett等开发的dexplain，包含有2200种疾病和8000种症状。 按照那时的设想，医学专家系统处理的问题是本领域的专家才能...
40岁后学习编程：永远不会为时已晚
除了偶尔会有一些“老人家”的戏称，barnett并没有遭受年龄歧视，并且他的成功很大一部分归咎于这种积极合作的过程。 “学习没有捷径，”barnett说。 “更多的是要脚踏实地，要辛勤耕耘和坚持不懈。 不要害怕问问题，要参与到开发者社区中去。 要面向用户群体。 要与人交谈。 尤其是作为一个年纪大的开发者，不要害怕...
