The Boring Company

1 video from this channel that Hacker News commenters point to. Find the channel on YouTube