Andrew Helwer

This seems like a decent explanation of what I had in mind: https://oxsci.org/quantum-computing-for-quantum-chemistry/ and this one a slightly more math based explanation: https://ahelwer.ca/post/2019-12-21-quantum-chemistry/

I'm trying to recall another far less outlandish result (than wormholes) that was also verified via quantum computer, but no dice at the moment.

Edit: I might've been thinking of the simulation of a discrete time crystal on Google's quantum computer: https://physics.aps.org/articles/v14/131

'The researchers stress that this DTC behavior can also, in principle, be simulated on a classical computer. But in that case, “the bits in the computer evolve in a way that looks nothing like the physics we're interested in but nevertheless output numbers that replicate the outcomes of a hypothetical experiment,” Ippoliti says. In contrast, on a quantum computer, the qubits themselves exhibit the DTC behavior.'

When publishing algorithms for others' consumption either for a paper or blog, please post the source code.

This post is a follow up of https://ahelwer.ca/post/2023-03-30-pseudocode/

Where Andrew pointed compared executable Python code vs executable model checker PlusCal.

In this blog, I'm showing how to model check Python code with minor changes.

For the curious, model checking is the formal methods technique that explores every possible path to ensure the invariants are met in every case.

https://danluu.com/atom.xml
https://googleprojectzero.blogspot.com/feeds/posts/default
https://fasterthanli.me/index.xml
https://ahelwer.ca/index.xml
https://www.erlang.org/blog.xml
https://drewdevault.com/blog/index.xml
https://norvig.com/rss-feed.xml