Lightnews — Scholar-powered news

Ross Duncan @rossquantum.bsky.social · 1d

In a pub in Cambridge? Maybe not that surprising.

Ross Duncan @rossquantum.bsky.social · 1d

I would wear this t-shirt.

1

Reposted by Ross Duncan

Dan Garisto @dangaristo.bsky.social · 1d

Interesting bit of sociology: They are really studiously avoiding any mention of quantum computing. First and only mention came in the last few words of the presentation by Johansson.

5 7 36

Reposted by Ross Duncan

Bartosz Regula @bartoszregula.bsky.social · 15d

The workshop Quantum Resources is back! The next edition will take place in Tokyo in March.

2026.quantumresources.science

Submission deadline: 31 October 2025
Workshop: 16–20 March 2026

Quantum Resources workshop 2026

The workshop "Quantum Resources 2026" will take place in Tokyo, Japan in March. Submissions welcome!

2026.quantumresources.science

1 6 15

Reposted by Ross Duncan

Parody Keir Starmer @parodypm.bsky.social · 5d

This story is now big news all over the world... except in the UK.

40 680 1.5K

Ross Duncan @rossquantum.bsky.social · 3d

HR would not let me make this a firing offence in our company, but I think it should be.

Ross Duncan @rossquantum.bsky.social · 3d

Eh, modernised acid house.

1

Reposted by Ross Duncan

Conor Mc Bride @pigworker.bsky.social · 3d

"If the thing you call a 'policy' creates responsibility and accountability for something, without granting resources and authority to achieve that something, then it fails to qualify functionally as a 'policy' and is merely BULLYING."
-- me, far too often in this academic life

2 3

Reposted by Ross Duncan

Zoe Holmes @qzoeholmes.bsky.social · 6d

We provide evidence of an exponential gap between adaptive & nonadaptive strategies for a quantum recompilation task

Key takeaways:

- Entanglement isn’t always a roadblock: its degree can aid training

- Discrete optimization may be key to finding sweet spots between concentration & surrogation

1 1 13

Ross Duncan @rossquantum.bsky.social · 7d

Wait till you hear about the difference in retraction rates!

1 5

Reposted by Ross Duncan

Alexander Schuckert @schuckert.org · 14d

When you realize the whole yearly budget for Quantum journal is equal to 8 Nature APCs - and they don't even wreck your paper in proof stage because...there is none

1 8 37

Ross Duncan @rossquantum.bsky.social · 7d

FAQs:
1. It's a hybrid position, based in Cambridge UK. If you want a fully remote position this is not for you. You will need to come to the office regularly.
2. We will support a visa application if needed.
3. If you are QEC-curious, this is not for you. I want to see relevant publications.

1

Ross Duncan @rossquantum.bsky.social · 7d

Hey #qec people! Do you like writing software? Do you want a #job? Come join us at #quantinuum! #quantum #quantumcomputing #jobad
jobs.eu.lever.co/quantinuum/d...

Quantinuum - Research Software Engineer - Quantum Error Correction

Quantinuum are hiring a research software engineer to work on compilation of fault-tolerant quantum software for the next generation of quantum computers. Quantum software relies on quantum error corr...

jobs.eu.lever.co

1 6 9

Ross Duncan @rossquantum.bsky.social · 7d

Agree, but I can only think of abelian and gaussian from the top of my head. I always have to think about whether to capitalise Hamiltonian...

Ross Duncan @rossquantum.bsky.social · 13d

Then I would not donate my labour to this extremely profitable corporation. There are plenty of community run journals which are not in the business of rent-extraction from the public sector.

5

Ross Duncan @rossquantum.bsky.social · 13d

Good old TKET can transpile almost anything into almost anything else! It is specifically made for NISQy things.
github.com/CQCL/tket

GitHub - CQCL/tket: Source code for the TKET quantum compiler, Python bindings and utilities

Source code for the TKET quantum compiler, Python bindings and utilities - CQCL/tket

github.com

1

Ross Duncan @rossquantum.bsky.social · 13d

- QIR does specify result formats. Is there something missing there?
- You might also find JEFF interesting, it's a higher level format than QIR. github.com/unitaryfound...
- I don't think platform independent pulse data is a thing. Even if we only talk about superconducting platforms.

GitHub - unitaryfoundation/jeff: Jeff is a structured, extensible, and simple interchange format for quantum compilers. Designed to foster collaboration and accelerate research by providing a common l...

Jeff is a structured, extensible, and simple interchange format for quantum compilers. Designed to foster collaboration and accelerate research by providing a common language for compilers to commu...

github.com

1

Ross Duncan @rossquantum.bsky.social · 13d

The point being that whatever the physical layer compiler/transpiler is doing in the FT compilation process, it will not look like compiling algorithms, and will have a very different set of constraints and goals. It needs to be developed in its proper context.

1

Ross Duncan @rossquantum.bsky.social · 13d

I don't think this is question of "NISQ compilation is a solved problem". More like "NISQ hardware cannot run interesting algorithms". It's not strictly true, but for 95% of applications physical error rates are not good enough, and won't be. Hence the widespread switch to focus on FTQC.

1 1

Ross Duncan @rossquantum.bsky.social · 13d

How much do they pay? Do they waive any journal fees for your institution? Does doing this achieve anything positive other than the rentier-shareholders of Springer-Nature?

1 3

Ross Duncan @rossquantum.bsky.social · 14d

Meanwhile in Tokyo, the temperature has dropped to the point where wearing clothes at all starts to seem reasonable.

Cityscape of Tokyo, blue skies, fluffy clouds. Skytree visible in distance.

1

Ross Duncan @rossquantum.bsky.social · 14d

So congratulations to @mattgirling.com @bencriger.bsky.social and @cristinacirstoiu.bsky.social on this new paper, addressing problems that too many people refuse to even think about.

1

Ross Duncan @rossquantum.bsky.social · 14d

Lazy people in quantum computing use the term "fault-tolerant" to mean "I don't want to think about errors". Unfortunately for these magical thinkers, QEC will not make error rates zero. Logical operations on logical qubits will have errors, and you'd better understand them. #quantum #quantinuumm

Quantinuum @quantinuum.bsky.social · 14d

We're focused on de-risking the path to large-scale fault-tolerant quantum computing, and we are doing the work to get there. This work is platform-agnostic — relevant to anyone working on quantum hardware, QEC theory, or benchmarking tools.

🔬: arxiv.org/abs/2508.08188

Characterization of syndrome-dependent logical noise in detector regions

Characterizing how quantum error correction circuits behave under realistic hardware noise is essential for testing the premises that enable scalable fault tolerance. Logical error rates conditioned o...

arxiv.org

2 5

Reposted by Ross Duncan

Martin Escardo @martinescardo.mathstodon.xyz.ap.brid.gy · Jun 20

I am happy to announce that my colleague Paul Blain Levy has won the Alonzo Church Award.

https://siglog.org/winner-of-the-2025-alonzo-church-award/

Winner of the 2025 Alonzo Church Award

The 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to **Paul Blain Levy** for his fundamental study of effectful λ-calculi through the Call-by-Push-Value calculus. The awardee book and paper are: > Paul Blain Levy. Call-By-Push-Value: A Functional/Imperative Synthesis. Semantics Structures in Computation 2, Springer 2004, ISBN 1-4020-1730-8 > > Paul Blain Levy. Call-by-Push-Value: Decomposing call-by-value and call-by-name. High.-Order Symb. Comput. 19(4): 377-414 (2006) ## The Contribution Initiated by Alonzo Church, the research programme into the λ-calculus as an abstract model of computation has spurred volumes of fundamental research in logic and computation. By the end of the 20th century, the studies of the λ-calculus in its purely logical form and its applied effectful form bifurcated. In an outstanding contribution, Levy has reunited the many existing research streams into the study of one subsuming calculus: Call-by-Push-Value (CBPV). Levy developed and presented an extraordinarily large body of evidence spanning a cross-section of the semantic theory of the λ-calculus and its application to programming language modelling, including: algebraic datatypes, operational semantics, denotational semantics, and equational theories. To date, CBPV remains a unifying starting point in the study of computational and logical phenomena, including: effects, polarisation, term normalisation, type-isomorphisms, and program transformations. In addition to its scientific contribution, the nominated monograph is a unique access-point into the culmination of decades of logic and programming language semantics.

siglog.org

1 9 5

Ross Duncan @rossquantum.bsky.social · 20d

My colleague Patty Lee gets some much deserved recognition at Quantum World Congress! #quantum #quantinuum
www.quantumworldcongress.com/news-and-upd...

Quantinuum’s Dr. Patricia “Patty” Lee Named 2025 Industry Pioneer in Quantum — Quantum World Congress

Quantum World Congress (QWC) today announced Dr. Patricia “Patty” Lee, Chief Scientist for Hardware Technology Development at Quantinuum, as the 2025 Industry Pioneer in Quantum.

www.quantumworldcongress.com

8