HackerTrans
トップ新着トレンドコメント過去質問紹介求人

pjam

no profile record

コメント

pjam
·2 か月前·議論
Do 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
·5 か月前·議論
Which part is gone?
pjam
·2 年前·議論
There’s a paper about it, linked from the blog post: https://arxiv.org/abs/2306.06391
pjam
·2 年前·議論
Yes, but the discussion here was about it being a gradual, gradual type system, as in, the gradual type system being added gradually