Hacker News new | ask | show | jobs
by belovedeagle 3192 days ago
They did. "Undefined" doesn't mean "unconsidered by the committee", it means "do what you must for optimization".