4 ms·I haven't noticed this, Nim is the new name for Nimrod.by xixixao 12y agoI haven't noticed this, Nim is the new name for Nimrod.inglor 12y agoRelevant HN thread: https://news.ycombinator.com/item?id=8351773 https://news.ycombinator.com/item?id=8351773def- 12y agoAnd the first release with the new name was just a few days ago: https://news.ycombinator.com/item?id=8809215 https://news.ycombinator.com/item?id=8809215