Two new Rust-based Python type checkers, Pyrefly and ty, are being compared in terms of speed, goals, and capabilities. While Pyrefly aims for aggressive type inference and is significantly faster than traditional tools like mypy and pyright, ty focuses on gradual type guarantees and also demonstrates competitive performance. Both tools are still in early alpha stages, and their respective approaches to Python type checking highlight distinct philosophies in handling typing errors.