Reposted by @cfurmaniak.bsky.social
According to this discussion:
www.youtube.com/watch?v=XVwp...
Rednot is just a code name, and Astral's typechecker's real name is Ty.
So we got:
- R uff
- U v
- S ecret project?
- T y.
youtube.com
ty: Astral's new Type Checker (formerly Red-Knot) - Talk Python Live Stream
YouTube video by Talk Python