People laugh at the Boring Company precisely because what is not doing anything meaningfully new, and what it is doing is worse than every other comparable system. There’s no “progress” there that makes any sense.