ParentFull threadthesmtsolver2·> Barring a true breakthrough in something like quantum computing or room-temperature superconductorsWon't that also help grep and then move the asymptote down more?View on HN