Same thing that happened to Alaska airlines twice, supposedly fixed by a software update?

See also https://news.ycombinator.com/item?id=34895061