#quantinuum hat on. We just announced Guppy, our #programming language for our new #quantum computer, Helios. The hardware will be publicly launched later this year, but you can get Guppy now.

Guppy is for writing programs that run in the QPU. Unlike all other quantum computers, Helios is actually a computer. Correspondingly, Guppy offers arbitrary control and (mildly restricted) classical data structures. Guppy is strongly statically typed, and quantum data is treated linearly, so you can neither leak nor double-free qubits.

Guppy is embedded in python, but is separately compiled, and maintains a clear distinction between compile-time (inside the python interpreter) and runtime (inside the QPU). You can use python for meta-programming (e.g. loop over all the qubits at compile time to build a static circuit, or have that same loop happen at runtime.). The two levels play nice together.

There is also a simulator specially made to run these programs, called Selene.

We spent a long time working on this, and I'm very proud to have it out there "for real".

Try it : `pip install guppylang`

https://guppylang.org
https://www.quantinuum.com/blog/built-for-all-introducing-our-new-software-stack
https://github.com/CQCL/guppylang

#quantumcomputing #proglang #quantum #guppylang #opensource

Guppy

Quantum-first programming language, embedded in Python.

Job ad 🧵 2/2
Quantinuum are looking for software engineer to help design and implement quantum programming languages. You need to have OPINIONS about types. Full-time, permanent, based in Cambridge in England.
#jobad #quantum #quantumcomputing #pl #proglang #guppylang #types

https://jobs.eu.lever.co/quantinuum/6acbcf43-a765-4f1c-a063-6849a72e612b

Quantinuum - Research Software Engineer - Quantum Software

Quantinuum are seeking a Research Software Engineer to join our growing Quantum Software team in Cambridge, UK. In this role, you will help shape the design and implementation of the Guppy quantum programming language and contribute to the next generation of the TKET quantum compiler. This is a unique opportunity to work at the intersection of software development, compiler design, and quantum computing research. You will collaborate closely with a small, dynamic team throughout the full development lifecycle — from research and design to programming and testing — with the freedom to think independently and make a real impact.

Last but not least, Mark Koch talks about Guppy.

#quantinuum #guppylang #popl #planqc