Code-Pile icon indicating copy to clipboard operation
Code-Pile copied to clipboard
verified publisher icon CarperAI

Mailing Lists

Open ncoop57 opened this issue 3 years ago • 1 comments

Mailing Lists

Dataset URL -

Does the dataset exists in a scraped format ? No

Description

In general. (Almost) every programmer uses a programming language, huge swathes of programming are organized around these languages Most of these languages have some kind of package manager This package manager usually has download statistics

Procedure

  • [ ] Determine the top 50-100 programming languages as shown by GitHub statistics or whatever
  • [ ] Ignore this list and immediately add Coq, Lean, Haskell, and OCaml as languages no matter what since you need them for proof solving
  • [ ] Then add the other 50 languages
  • [ ] Locate the mailing list(s) for that programming language, scrape its archives

ncoop57 avatar Sep 19 '22 15:09 ncoop57

Happy to work on this if no one else is currently working on it. Can probably re-use a lot of the UseNet code here.

Jehoshaph avatar Oct 20 '22 17:10 Jehoshaph