Leiam e se curtirem, compartilhem.
giggio.net/blog/data-ce...
Leiam e se curtirem, compartilhem.
giggio.net/blog/data-ce...
blog.edward-li.com/tech/compari...
`ty` looking very promising: incremental typing without aggressive type inference, adding new concepts like negative and intersection types. Awesome.
blog.edward-li.com/tech/compari...
`ty` looking very promising: incremental typing without aggressive type inference, adding new concepts like negative and intersection types. Awesome.
In early testing, it's 10x, 50x, even 100x faster than existing type checkers. (We've seen >600x speed-ups over Mypy in some real-world projects.)
In early testing, it's 10x, 50x, even 100x faster than existing type checkers. (We've seen >600x speed-ups over Mypy in some real-world projects.)
Just to announce that the handle bsky.app/profile/nico... is not Bruno, but an impersonator. That account has already been reported.
Bruno can be reached at bsky.app/profile/soli....
Just to announce that the handle bsky.app/profile/nico... is not Bruno, but an impersonator. That account has already been reported.
Bruno can be reached at bsky.app/profile/soli....