News for hackers. Stuff that matters.

A comment on De Bruijn notation, and why it's useful. Parent comment

Re:De Bruijn notation, and why it's useful by SkiFire13 on Tuesday June 03, 2025 @12:52PM (#44172039)
But then the point of giving unique names to avoid using De Brujin indices is moot
[ Parent | on HN ]

There are no comments on this comment yet.