伯克利博士生解决量子验证问题；JS 将用 # 作为私有修饰符，社区震动-CSDN博客

（点击上方蓝字，快速关注我们）

转自：开源中国、solidot、cnBeta、腾讯科技等

0、博士生解决量子验证问题

量子计算面临的一个最基本问题是：你在量子计算机上执行操作，你怎么知道它真的遵循了你的指令，或它所执行的真的是量子计算？量子计算机被认为在很多问题上运算速度比传统计算机快得多，如果它执行的一个计算是传统计算机无法完成的，那么你怎么知道它的运算是正确的？

加州伯克利的博士生 Urmila Mahadev 在研究生院花了八年时间尝试去解决量子计算的验证问题。她提出的方法被称为“盲计算”。知名的量子计算专家 Scott Aaronson 称赞她是一颗冉冉升起的明星。Aaronson 指出，作为一名研究生她独自获得这样一个结果是相当惊人的。

Mahadev 现在是伯克利的博士后，她的量子计算验证论文获得了 Symposium on Foundations of Computer Science 研讨会的最佳论文和最佳学生论文奖。

1、亚马逊或成为五角大楼 100 亿美元云计算合同最后赢家

据外媒报道，今年早些时候，五角大楼宣布了联合企业防御基础设施(JEDI)项目，这份利润丰厚的合同在各大科技公司中引发了狂热追捧。据悉，JEDI是一份价值100亿美元的国防合同，它将需要一家商业供应商为其打造一个云计算平台以支持其武器系统和机密数据储存。

尽管这份合同引起了一场大型的科技竞购战，但甲骨文、IBM却先后向美国政府问责局(GAO)提出了抗议，理由是五角大楼计划将合同授权给一家供应商。

640?wx_fmt=png

看起来IBM和甲骨文关注的单一供应商是亚马逊这家公司。除了指责政府的不公平之外，两家公司还认为五角大楼将国家密匙交给一家供应商的策略将会让任何一名安全专家都感到不安。

在甲骨文看来，五角大楼的这一方案似乎并不符合其任何云计算系统的指南方针。IBM也完全同意甲骨文的看法。

如果亚马逊最终获得了这份合同，那么AWS可能会有10年时间成为五角大楼最具雄心的云计算项目的唯一供应商、改革者、托管者。

而在本周早些时候，谷歌则以道德担忧为由取消了对该项目的投标。与此同时，这家公司的领导层还表示，他们的这一决定还跟公司没有获得所需认证存有关联，这进一步甲骨文和IBM的担忧变得更加可信。

2、高性能分布式缓存系统 Memcached 1.5.11 发布

Memcached 1.5.11 已发布，Memcached 是一个高性能多线程基于事件的键/值缓存存储，旨在用于分布式系统。该版本没有新特性，仅包含两项修复：

● extstore: balance IO thread queues

● t/lru-maintainer.t: check for WARM item earlier, fixing race condition on some platforms

● ......（详情：http://www.memcached.org/files/memcached-1.5.11.tar.gz）

3、TC39 在 GitHub 通过一条 EMCAScript 私有属性的草案

近日，TC39 在 GitHub 上通过了一条 EMCAScript 语法特性的草案（JavaScript 的 Class field 声明），即类私有属性修饰符 "#"。不过，该特性之前在社区的调研中遭遇了大量反对。

TC39，ECMA 的第39号技术专家委员会(Technical Committee 39，简称 TC39)，负责制订 ECMAScript 标准，成员包括 Microsoft、Mozilla、Google 等大公司。TC39 的总体考虑是，ES5 与 ES3 基本保持兼容，较大的语法修正和新功能加入，将由 JavaScript.next 完成。

类的私有属性和方法使用“#”前缀作为修饰符，即代表该属性或方法作用域仅限于类的块级作用域内，你不能在之外对其进行引用。

该语法引起了社区大量反对，在该语法草案的一个 issue 内，有人做了一个调研，显示社区对于这条草案并不认同：

640?wx_fmt=png