Thanks to @petrilaarne, BigQuery tells me that there are 49329 commits on GitHub with hashes beginning 'abc', and none starting 'abcd'. Assuming hashes are distributed uniformly, this implies there are around 49239 × 16³ ≈ 202 million commits in the dataset. In fact there are 203 million. It's nice when maths works!
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.