Pyrefly v1.0.0 is here (Type Checker / Language Server for Python) [video]
10 points by kinto
by kinto
0 subcomment
Hi, Pyrefly developer here. It's been almost a year since our alpha has been released and we've been working hard towards a stable release. We're excited to announce general availability today!
I'm glad it's 1.0, but for me the most exciting thing is the tensor shape typing they mention in the blogpost. I've been looking for a good solution to this for ages, and the Pyrefly implementation seems to have everything I'd like - incl. static typing (unlike jaxtyping's runtime-only setup), and shape inference (so passing a 2,3 tensor through a 3,10 linear layer gives you a 2,10 output tensor).
by adityamwagh
0 subcomment
It’s a huge memory hog. The other day it was using 2.5GB!
Hacker News