Pyrefly from Meta and Ty from Astral offer type-checking for Python codebases at the speed of Rust.

[Stealth] put together a post explaining how he writes drivers for input peripherals. He’s using Python which makes the process fairly painless (we’ll get to that in a minute) but the value of ...