Hacker News new | ask | show | jobs
by electrondood 223 days ago
It's an alias that only applies to Federal employees.

The Congressionally-legislated actual name of the department is still Department of Defense.