Explore >> Select a destination


You are here

scottaaronson.blog
| | quantum.country
13.6 parsecs away

Travel
| | Introduction to the core principles of quantum computation
| | rjlipton.com
8.5 parsecs away

Travel
| | Another proof idea using finite automata Steve Cook proved three landmark theorems with 1971 dates. The first has been called a "surprising theorem": that any deterministic pushdown automaton with two-way input tape can be simulated in linear time by a random-access machine. This implies that string matching can be done in linear time, which inspired...
| | rjlipton.com
9.9 parsecs away

Travel
| | Further discussions of the proof that factoring is in BQP Scott Aaronson is a, if not the, world expert on quantum computation. He writes, as you all know, one of the best blogs on quantum and many more things. Today I and Ken want to make a short summary on the last discussion: is factoring...
| | claytonerrington.com
98.6 parsecs away

Travel
| Run sanity checks for required environment variables in your Node.js project