From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10586 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Bob Coecke Newsgroups: gmane.science.mathematics.categories Subject: lambeq Date: Wed, 13 Oct 2021 14:33:04 +0100 Message-ID: Reply-To: Bob Coecke Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.21\)) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="18871"; mail-complaints-to="usenet@ciao.gmane.io" To: categories Original-X-From: majordomo@rr.mta.ca Thu Oct 14 03:12:06 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mapHx-0004ec-Da for gsmc-categories@m.gmane-mx.org; Thu, 14 Oct 2021 03:12:05 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:60398) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1mapHT-0001ZU-AN; Wed, 13 Oct 2021 22:11:35 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1mapFw-0006Ho-Ew for categories-list@rr.mta.ca; Wed, 13 Oct 2021 22:10:00 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10586 Archived-At: Today we at Cambridge Quantum Ltd. are making lambeq available, a = free-for-all open-source software development kit that will enable you = to transform natural language either in string diagrams, or much cooler, = quantum circuits that can go on existing quantum computers =E2=80=94 we = do this all the time, and now everyone else can do that too. It=E2=80=99s= jointly released with the Merck Group. This 1st version of lambeq, named after the linguist-mathematician and = friend of many here Jim Lambek, is only a 1st step towards what we like = to call Compositional Intelligence. It draws from the compositional = mathematics that we used in the pictorial/categorical quantum formalism = from our book Picturing Quantum Processes.=20 Here is the CQ announcement: https://lnkd.in/etUZfC9C = Here is a corresponding Medium blog post: https://bit.ly/3axWFTq = Here is a corresponding technical paper: = https://arxiv.org/abs/2110.04236 You find it here on Github: https://lnkd.in/ef6WAmfx = [For admin and other information see: http://www.mta.ca/~cat-dist/ ]