06-30-2023, 11:14 PM
I don't know when it started but seemingly the community is using the ability to distribute projects to search for an automatic (or semi automatic?) way to find formulas or (short) programs for OEIS sequences, of course avoiding duplicates.
https://loda-lang.org/
Some results are posted here: https://twitter.com/lodaminer and here https://github.com/loda-lang/loda-programs (as assembly programs)
I am not sure how useful it is, but among many things humanity does, there are plenty that feel less useful/fun and more wasteful (cough cryptomining cough)
Anyway my point is not to participate, rather maybe there is an interest in the results.
PS: about boinc and scientific research, some projects manage to analyze the results and make papers too -> https://boinc.berkeley.edu/pubs.php?years=1
https://loda-lang.org/
Some results are posted here: https://twitter.com/lodaminer and here https://github.com/loda-lang/loda-programs (as assembly programs)
I am not sure how useful it is, but among many things humanity does, there are plenty that feel less useful/fun and more wasteful (cough cryptomining cough)
Anyway my point is not to participate, rather maybe there is an interest in the results.
PS: about boinc and scientific research, some projects manage to analyze the results and make papers too -> https://boinc.berkeley.edu/pubs.php?years=1