Xiaomi took the wraps off the brand new Redmi Note 7, which it’s using to launch Redmi as its own sub-brand. The phone’s got great mid-range specs and costs under $150. Competition beware?

Roundup stories today on noise canceling cars, AT&T’s 5Ge nonsense, Magnetic North moving around, and repairs to the Hubble telescope being delayed by the government shutdown.