4 ms·

I wish you the very best at your new position!! Maybe the Metamath community can steal a little more of your time :-), especially since there's more Rust-relat

I wish you the very best at your new position!! Maybe the Metamath community can steal a little more of your time :-), especially since there's more Rust-related work in it. I think the "Report on the 2020 FOSS Contributor Survey" (December 2020) https://www.linuxfoundation.org/blog/2020/12/download-the-report-on-the-2020-foss-contributor-survey/ https://www.linuxfoundation.org/blog/2020/12/download-the-re... is consistent with your experience: Of the OSS contributors surveyed, about 3/4ths were full time, and about 1/2 of all contributors were paid to develop OSS (almost all by their employers). The future is hard to predict, but I think those numbers are likely to increase over time. Do you agree?

raphlinus 6y ago
Thanks! I had a great conversation with Mario Carneiro a couple weeks ago (I hope he doesn't mind me mentioning that), but sadly, I think I'm going to have to lay some of my research interests down, at least for now, to have more focus for my other ambitious research interests. I'll not speak to OSS generally, as I'm sure other people have more insight than I do, but specifically within the Rust ecosystem, I can confidently predict corresponding numbers increasing significantly.