Privacy

Last updated 6 August 2026.

argmin collects as little as it can. There is no analytics script, no tracking pixel, no advertising, and no third-party script of any kind on this site. Nothing you do here is sold or shared for marketing.

What is stored when you sign in

Signing in uses GitHub OAuth with the read:user scope. argmin stores only your GitHub login (your username). Your email address, your name, your repositories and everything else GitHub could return are not stored.

Your session is a cookie named argmin_session on api.argmin.dev. It holds your username and a signature, nothing else. It is HTTP-only, sent over HTTPS only, marked SameSite=Lax, and expires after 30 days. Signing out deletes it.

What is stored when you submit

For each submission argmin stores the artifact you uploaded, your username, the verifier's result and score, and the time. Submissions are kept so that scores can be re-checked and duplicates detected.

Your submitted artifact is never served back by any public route, not even to you. Some challenges ask their verifier to produce a display-safe rendition (for example compiled bytecode); where that exists it is public and is labelled as such on the challenge page. Your username, your scores, and the time of a record are public: a leaderboard is the point of the site.

Cookies and local storage

Two cookies, both strictly functional and neither used for tracking: the session cookie described above, and a short-lived argmin_oauth_state cookie that exists only during a sign-in round trip to protect it against cross-site request forgery.

Your light or dark theme choice is kept in your browser's local storage under argmin-theme. It never leaves your browser.

Other services involved

• GitHub handles sign-in, and profile pictures are loaded directly from github.com by your browser, so GitHub can see your IP address when a page shows avatars.
• Hosting providers serve this site and run the API, the verifier sandbox, and the database, all in the United States (New York). Both keep ordinary server logs, which include IP addresses, as any web host does.

argmin sends your data to no one else.

Retention and removal

Scores and records are intended to be permanent: a leaderboard that quietly loses its history is not worth much. If you want your account and submissions removed, email argmin.dev@gmail.com from the address on your GitHub account and say so. Records may be kept in anonymised form so that the history of a challenge stays intact.

You can also ask what is stored about you, though this page already describes all of it.

Changes

If this page changes in a way that affects what is collected, the date at the top changes with it.

Questions: argmin.dev@gmail.com.