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