Ty – A fast Python type checker, written in Rust | Dark Hacker News