Hacker News new | ask | show | jobs
by dllthomas 4401 days ago
It's now "typed holes", which really is a much better description anyway.