pjam·vor 2 Monaten·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·vor 2 Jahren·discussThere’s a paper about it, linked from the blog post: https://arxiv.org/abs/2306.06391
pjam·vor 2 Jahren·discussYes, but the discussion here was about it being a gradual, gradual type system, as in, the gradual type system being added gradually