I took solace in the part of the post where he'd bypassed the need to uncompute (a *HUGE* advantage for saving qubits) but was still struggling to match our qubit count 😈.
With an advantage that physically impossible, I bet you can hit ~800 qubits instead of ~1150.