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. 😄

A Mastodon instance for maths people. The kind of people who make $\pi z^2 \times a$ jokes.

Use $ and $ for inline LaTeX, and $ and $ for display mode.