Meta’s Rust-powered linter and type checker for Python pairs blazing speed with advanced and innovative features.

Alexander believes votes can — and should — be counted faster. A slow tally, she said, “undermines voter confidence,” leads ...