Highest Rated Comments


fellow_nerd2 karma

What do you think about current tooling around writing and reasoning about programs for quantum computing currently, and what do you think could be better or would be needed as it becomes more viable?