Ross Duncan<p><a href="https://mathstodon.xyz/tags/quantinuum" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quantinuum</span></a> hat on. We just announced Guppy, our <a href="https://mathstodon.xyz/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> language for our new <a href="https://mathstodon.xyz/tags/quantum" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quantum</span></a> computer, Helios. The hardware will be publicly launched later this year, but you can get Guppy now.</p><p>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.</p><p>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.</p><p>There is also a simulator specially made to run these programs, called Selene.</p><p>We spent a long time working on this, and I'm very proud to have it out there "for real".</p><p>Try it : `pip install guppylang`</p><p><a href="https://guppylang.org" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">guppylang.org</span><span class="invisible"></span></a> <br><a href="https://www.quantinuum.com/blog/built-for-all-introducing-our-new-software-stack" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">quantinuum.com/blog/built-for-</span><span class="invisible">all-introducing-our-new-software-stack</span></a><br><a href="https://github.com/CQCL/guppylang" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/CQCL/guppylang</span><span class="invisible"></span></a></p><p><a href="https://mathstodon.xyz/tags/quantumcomputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quantumcomputing</span></a> <a href="https://mathstodon.xyz/tags/proglang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>proglang</span></a> <a href="https://mathstodon.xyz/tags/quantum" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quantum</span></a> <a href="https://mathstodon.xyz/tags/guppylang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>guppylang</span></a> <a href="https://mathstodon.xyz/tags/opensource" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>opensource</span></a></p>