量子计算机领域内第一种高级编程语言 Silq 诞生-低调大师

量子计算机领域内第一种高级编程语言 Silq 诞生

2020-06-20 688

近日，苏黎世联邦理工学院的计算机科学界人士在编程语言领域取得了重要突破：计算机科学教授 Martin Vechev 与他的团队设计出了量子计算机领域内第一种高级编程语言 Silq，它能够像传统计算机语言一样简单、安全又可靠。

Vechev 教授表示，“与现有编程语言相比，量子编程语言 Silq 能够使程序员更好地利用量子计算机的潜力，因为这些代码更加紧凑、速度更快、更实用，并且更易于理解。”

量子计算机被认为在将来会比普通计算机更能够解决问题。某些量子算法的速度比经典算法更快，且具备一些经典算法所没有的潜力。但直到今天，现有量子计算机的高出错率仍无法支撑这些算法的运行。

要发挥量子计算的潜力，不仅需要最新的技术，用于描述量子算法的量子编程语言也必不可少。原则上来讲，算法是解决问题的“配方”。编程语言对算法进行描述，以便计算机可以执行必要的计算。

如今，量子编程语言已与特定的硬件紧密联系在一起。但这些“硬件描述语言”既麻烦又容易出错，因为程序员们因为必须极其详细地说明单个编程指令，从而专门描述实现量子算法所需的最小限度。

Silq 的诞生有助于解决这个问题。根据开发团队中 Benjamin Bichsel 的介绍，“Silq 并非主要围绕硬件的结构和功能来设计，而更多关注程序员在解决问题时的思维，他们不需要理解计算机架构和实现的每一个细节。”

Silq 带来的最大创新和贡献，大概是消除了长期以来困扰着量子编程的错误源。在量子计算时，由于量子加密，垃圾收集这个步骤比较棘手：先前计算的值可以与当前的值相互作用，因此会干扰到正确的计算。而 Silq 就能够自动识别并删除这些无用值。

“在优化量子计算机程序设计方面，Silq 是一项重大突破，但一切只是刚刚开始”。Vechev 教授和他的团队希望他们的的工作不仅仅促进量子编程语言的发展，也能够刺激量子算法理论得到突破和发展。

消息来源：苏黎世联邦理工学院

Silq 官网：https://silq.ethz.ch/

微信关注我们

原文链接：https://www.oschina.net/news/116574/silq-programming-language-for-quantum-computers

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

每日一博 | IM 开发干货分享：如何解决大量离线消息导致客户端卡顿？

1、引言好久没写技术文章了，今天这篇不是原理性文章，而是为大家分享一下由笔者主导开发实施的IM即时通讯聊天系统，针对大量离线消息（包括消息漫游）导致的用户体验问题的升级改造全过程。文章中，我将从如下几个方面进行介绍： 1）这款IM产品的主要业务及特点； 2）IM系统业务现状和痛点； 3）升级改造之路； 4）消息ACK逻辑的优化。下述内容都是根据笔者开发IM的亲身经历总结下来的宝贵经验，干货满满，期待你的点赞。本文已同步发布于“即时通讯技术圈”公众号。 2、此IM产品的主要业务及特点和传统互联网行业有所不同，笔者所在的公司（名字就不透露了）是一家做娱乐社交app的公司，包括小游戏、聊天、朋友圈feed等。大家应该都有体会：游戏业务在技术上和产品形态上与电商、旅游等行业有着本质上的区别。大部分做后端开发的朋友，都在开发接口。客户端或浏览器h5通过HTTP请求到我们后端的Controller接口，后端查数据库等返回JSON给客户端。大家都知道，HTTP协议有短连接、无状态、三次握手四次挥手等特点。而像游戏、实时通信等业务反而很不适合用HTTP协议。原因如下： 1）HTTP达不...

2020-06-20

751

最近，Strategy Analytics基于其免费报告《低成本4G手机：市场动态和机遇》，并结合最新的产业发展情况，分析了当前2G/3G的退网趋势和4G用户迁移机会。 4G主导了当前的移动通信市场根据Strategy Analytics最新的无线市场预测，今年初，2G和3G用户占全球移动用户总数的46%，但贡献的收入却只占全球移动总收入的27%。到2023年，这一收入占比将下降到10%。非洲可以认为是一个特例，在这个地区，各国的ARPU值低于2美元，因此通过补贴促进用户迁移可操作空间有限。然而，非洲和其他发展中地区在促进4G业务方面也取得了不错的进展，例如，非洲Airtel 的4G网络扩容和“大套餐包”推动了用户向4G迁移，在数据平均使用量和数据ARPU值方面都得到大幅提升，过去的一年有3/4的收入增长来自于数据，2020年3月，4G在数据用户中占比从去年的18%上升到29%，4G收入在Airtel数据收入占比中超过60%。 2G/3G退网进程紧锣密鼓类似于Airtel，运营商驱动用户向4G迁移的主要动力包括：提升收入，提升频谱效率，减少由于多网运营带来的OPEX CAPEX支...

2020-06-19

605

资源下载

更多资源

优质分享App

近一个月的开发和优化，本站点的第一个app全新上线。该app采用极致压缩，本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。