TIL The Boring Company is the name of an actual company that bores, and "to bore" is to drill a hole. https://en.wikipedia.org/wiki/Boring_(earth) https://en.w

TIL The Boring Company is the name of an actual company that bores, and "to bore" is to drill a hole. https://en.wikipedia.org/wiki/Boring_(earth) https://en.wikipedia.org/wiki/Boring_(earth)