Zulip Chat Archive

Stream: lean4 dev

Topic: Platform distribution

Sebastian Ullrich (Jan 27 2023 at 16:51):

I just figured out that GitHub does have release download statistics, but only via its API or third-party sites like https://tooomm.github.io/github-release-stats/. Anyway, if you are curious about what platforms Lean users use, these are the numbers for nightly 2013-01-16, the current mathlib4 target:

  • macOS x64 — Downloaded 34 times
  • macOS aarch64 — Downloaded 19 times
  • Linux x64 — Downloaded 2,499 times
  • Windows x64 — Downloaded 39 times

The Linux numbers are obviously heavily skewed by CI use. For subsequent nightlies not used by mathlib4 yet the numbers are more like 6/8/77/22 (2013-01-17), but that might still include a completely unknown amount of other CI.

Patrick Massot (Jan 27 2023 at 16:55):

The Linux numbers seem fair to me.

Trebor Huang (Jan 27 2023 at 18:23):

What does "third-party sites like ." mean? Did zulip delete a link there?

Sebastian Ullrich (Jan 27 2023 at 18:34):

No, i forgot to paste in https://tooomm.github.io/github-release-stats/

Alistair Tucker (Jan 27 2023 at 18:58):

https://youtu.be/w2woc46LXkw?t=8m37s

Last updated: Dec 20 2023 at 11:08 UTC