SoylentNews is people
SoylentNews
According to The Register a firmware update mistake has managed to brick hundreds of internet-connected door locks:
The upshot is you can't use the builtin keypad on the devices to unlock the door. Lockstate's smart locks are popular among Airbnb hosts as it allows them to give guests an entry code to get into properties without having to share physical keys. Lockstate is even a partner with Airbnb.
Earlier this week, though, new software was automatically sent out to folks' $469 Lockstate 6000i locks – one of the upstart's top residential smart locks – which left the keypad entirely useless. The crashed locks – which connect to your home Wi-Fi for remote control and monitoring as well as firmware updates – are now going to be out of action for at least a week.
[...] The physical key on the lock should still work, but that's going to be cold comfort for a lot of Airbnb users, who prefer to keep the physical keys to themselves and set an access code for each lodger that stops by.
(Score: 0) by Anonymous Coward on Sunday August 13 2017, @03:46PM
From 2013-- https://lwn.net/Articles/540368/ [lwn.net]
> ... Linux runs everywhere at SpaceX, he said, on everything from desktops to spacecraft. ...
No mention of formal verification, I wonder if this is a suitable workaround?
> When the build fails, it should "fail loudly" with a "monitor that starts flashing red" and email to everyone on the team. When that happens, you should "respond immediately" to fix the problem. In his team, they have a full-size Justin Bieber cutout that gets placed facing the team member who broke the build. They found that "100% of software engineers don't like Justin Bieber", and will work quickly to fix the build problem.