3 ms·

Ah, you're that krastanov. https://github.com/Krastanov/QuantumClifford.jl/commit/aafd5806fdace9be04be4a72cf135e398d8d092b https://github.com/Krastanov/QuantumC

Ah, you're that krastanov. https://github.com/Krastanov/QuantumClifford.jl/commit/aafd5806fdace9be04be4a72cf135e398d8d092b https://github.com/Krastanov/QuantumClifford.jl/commit/aafd5... Hey, when everyone else is falling back to "oh we just simulate the hard cases to verify them", making simulation faster is making verification better.

krastanov 5y ago
You are right. And, practically, I probably will be using Stim much more in the next few years than this particular toy language. Same as you, I hope this toy language leads to more research in useful type theory for quantum algos.