Algorithmic Assertions is a computer science blog. Posts are usually technical, on the order of a couple thousand words long, and focused on some idea in mathematics, software engineering, algorithmic complexity, quantum computing, or computers in general.
Content is hosted on GitHub pages and generated with Jekyll. The blog's github repository is not private, and pull requests fixing typos or whatever are welcome. LaTeX is rendered by MathJax.
I go by "Craig Gidney". I've programmed my whole adult life, both for fun and for profit. In 2013, I got interested in quantum computing and started learning it independently. In 2017, I joined Google's quantum computing team as a software engineer. I then gradually transformed into a research scientist, with a focus on reducing the cost of quantum algorithms and quantum error correction. I like showing things can be done 10x cheaper than previously believed (such as chemistry, factoring, magic state prep, and factoring again). I also write software tools, like stim and quirk and crumble.
(Standard disclaimer: any opinions expressed on this blog are mine, not those of my employer.)
You can contact me by email: [my_first_name].[my_last_name] at gmail
I have repositories on github @strilanc.
I announce posts on twitter @craiggidney (there's also a posts feed
).
