Linking to a binary is iffy from a security perspective. Linking to a GitHub repository is exactly what HN should do.
A GitHub repo with no source code is exactly equivalent to linking the binary directly
A GitHub repo with no source code is exactly equivalent to linking the binary directly