2 points daniel-munro | 2 comments | 03 Apr 25 13:59 UTC | HN request time: 0.415s
| source I am fascinated by the collective process of narrowing bounds on mathematical constants (Ramsey numbers, the Busy Beaver function, etc.). I wanted to create visualizations but couldn't find a convenient source of historical bounds updates across mathematical problems, so I created this repository.
The two main goals for the compiled data are to present them for browsing in a visually informative way, and to provide them for download in various formats (JSON, CSV, etc.).
I'm not a professional mathematician, so I welcome any suggestions on how to make this more useful and intuitive to mathematicians and enthusiasts. Contributions are also welcome via the GitHub Discussions!