pjam·2 months ago·discussDo you happen to remember where this stat came from? I have not heard about it and would be interested in learning more about it
pjam·2 years ago·discussThere’s a paper about it, linked from the blog post: https://arxiv.org/abs/2306.06391
pjam·2 years ago·discussYes, but the discussion here was about it being a gradual, gradual type system, as in, the gradual type system being added gradually