We made flying nearly collision-proof decades ago. Why are intersections still so dangerous?
(feeds.feedburner.com)
1.
2.
Lazier Binary Decision Diagrams for set-theoretic types
(news.ycombinator.com)