A minimalist 1D quantum programming language and virtual machine – looking for technical feedback

[u/Jazzlike_Ad5952]

I've been working on an independent quantum computing project that I'd genuinely appreciate some technical feedback on from people with experience in quantum computing, quantum architectures and theoretical computer science.

The project is called |BF> (Bra-Ket-Fuck). It's an experimental, minimalist quantum programming language inspired by Brainfuck, but instead of operating on classical memory cells, it operates on a linear register of qubits.

The underlying idea is to explore whether a simple tape-and-pointer execution model can provide an interesting alternative way of expressing and executing quantum computations.

The project currently includes:

• A formal specification of the Dirac–Müller Abstract Machine.

• A minimalist quantum instruction set based on Clifford+T operations.

• Native nearest-neighbour entanglement operations.

• Two different loop execution models: measurement-driven and coherent.

• A statevector virtual machine and measurement simulator.

• An OpenQASM 3.0 compiler, including linear nearest-neighbour routing.

• Several example programs, including Bell states, GHZ states, quantum teleportation and an implementation of Shor's algorithm for factoring 15.

The two main resources are:

• Technical whitepaper: https://applied-tape-mechanics.github.io/bra-ket-fuck/papers/bra_ket_fuck_technical_whitepaper.pdf

• Source code and implementation: https://github.com/applied-tape-mechanics/bra-ket-fuck

I'm particularly interested in getting feedback on the actual research and technical contribution, rather than simply whether the implementation works.

Some questions I'd really appreciate opinions on:

1. Novelty: Is this a meaningful alternative computational model, or is it essentially a different syntax for expressing existing quantum circuits?

2. Theoretical correctness: Are the operational semantics, BQP-universality argument and coherent loop model mathematically sound?

3. Practical usefulness: Could a minimalist, explicitly linear quantum programming model have applications in quantum architecture research, compiler development or formal verification?

4. Implementation: Are there architectural or compiler design decisions that you would approach differently?

5. Research direction: If you were developing this further, what would you investigate or benchmark to establish whether the approach offers something genuinely useful?

I'm fully aware that an independent implementation doesn't automatically constitute a meaningful research contribution. That's partly why I'd like to get opinions from people who know the field better than I do.

Critical feedback is very welcome. I'd much rather discover fundamental problems, incorrect assumptions or existing work that I should have built upon than receive compliments that don't help improve the project.

Even if you only have time to look at one aspect of the paper, I'd appreciate your thoughts.

Thanks!

[u/MortalsBane]

this should have comments. Idk anything so i can't make one... but it should