| ▲ | infinitewars 2 hours ago | |||||||||||||||||||||||||||||||
> more than 1 plane every minute Software routinely solves database coordination problems with millions of users per second. | ||||||||||||||||||||||||||||||||
| ▲ | infinitewars 2 hours ago | parent | next [-] | |||||||||||||||||||||||||||||||
I'm pretty sure the amount of data isn't the problem here. Maybe it's the number of corner cases? You would still want some human-in-the loop with quality UI for ATC. | ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ▲ | PunchyHamster an hour ago | parent | prev | next [-] | |||||||||||||||||||||||||||||||
with extremely controlled conditions. There is no fog in database, nor fallible humans involved, What an ignorant response | ||||||||||||||||||||||||||||||||
| ▲ | yifanl an hour ago | parent | prev | next [-] | |||||||||||||||||||||||||||||||
In a digitized environment. We cannot yet simulate the real world. | ||||||||||||||||||||||||||||||||
| ▲ | mongol 2 hours ago | parent | prev | next [-] | |||||||||||||||||||||||||||||||
True. But to avoid 1 minute unavailability per year requires 99.9999 % availability | ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ▲ | glitchc 2 hours ago | parent | prev | next [-] | |||||||||||||||||||||||||||||||
Yup, by having backup runways. | ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ▲ | johnbarron 2 hours ago | parent | prev [-] | |||||||||||||||||||||||||||||||
>> Software routinely solves database coordination problems with millions of users per second. A naive view that confuses the map with the territory. While in a database state you write a row and reality updates atomically....for aircraft they exist in a physical world where your model lives with lag, noise, and lossy sensors, and that world keeps moving whether your software is watching or not. Failed database transactions roll back, a landing clearance issued against stale state does not. The hard problem in ATC is not coordination logic but physical objects with momentum, human agency, and failure modes that do not respect your consistency model. | ||||||||||||||||||||||||||||||||