FAA awards software and AI contract as part of air traffic control modernization | Dark Hacker News