Progress doesn’t happen automatically when the scientific or technical prerequisites for it are in place. It only happens when people work on it, and that almost always requires funding. --- It only happens when people work on it, This is what concerns me with mathematics and the fact that verifying correctness still relies on an “unnamed collection of experts” instead of formal verification.

Viewed through this lens, Sponsors can be understood as a first, important stepping stone towards company sponsorships, which seem inevitable for GitHub given the presence of Organization accounts. ​ Their eyes light up when they talk about specific developers. If I ask why, I tend to hear a few common responses: 1) they’re learning a specific skill, and watching that person is helpful, or 2) they’re experienced developers who just love being able to see how “the best” do it. ​ it struck me the other day that open source is a sort of “high-latency streaming”. ​ the relationship between a prominent GitHub developer and their audience, and a prominent Twitch streamer and their audience, is similar: they gain followers because people enjoy watching them do something in public. ​ an additional set of motivations, which is, “I want to watch and learn from you”. A graphic artist or a blogger who’s funded on Patreon doesn’t quite have that same relationship to their audience. In those cases, I think their output – the artifacts they create – takes center stage. ​ there are probably others who just love watching the person who makes it. ​ With companies, open source developers are selling a product. With individuals, they’re selling themselves.