Suppose I wanted to find commits on GitHub with hashes starting 'abc'. Could I do that?
@christianp on GitHub is a bit broad, no? Across repos? In a repo? In git?
@pkra broad is what I want. I don't have any particular commit in mind, I just want to find commits with fun hashes
@christianp ooooh. That sounds like fun. But also incredible if their APIs would allow it. 😄
@christianp With BigQuery, maybe? https://cloud.google.com/bigquery/public-data/github
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.