Workshop Notes

@StevenClontz is running a workshop at STDC 2024 on the $\pi$-Base. Here are some notes in leiu of slides.

Making a GitHub account

Contributing to the $\pi$-Base requires a free GitHub account: https://github.com/signup

I maintain https://g4m.clontz.org as a handbook for mathematicians using GitHub which you can use as an optional reference.

Email your username to me at [email protected] during the workshop and I'll add you as a contributor to pi-base/data (no commitment).

Reviewing can be done by just reading a "pull request", checking it against the pi-Base app, and clicking green buttons, all in your web browser.

Sample reviews:

A little more involved, using GitHub.dev, but still acheivable in your web browser without memorizing command-line incantations.

In your classes
On Math.SE and MathOverflow
In your talks and papers
- $T_1$ not $T_2$ preprint on arXiv
- preview of diagram generation
  - Obviously not optimal - would love to have an interactive interface someday