814
The Hyperloop was always a scam
(www.disconnect.blog)
This is a most excellent place for technology news and articles.
As far as I know, yep. That's how "The Boring Company" fit in to the scheme.