AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
My Pi Is a Static Type Checker for Python
My pie is a static type checker for Python it is itself written in Python. Most additional static typing features that we introduced in the time since three six were also prototyped through my pie. My pie being an open source project with a very small number of maintainers. It was successful enough that people said this static type checking stuff for Python is actually worth an investment for our company.