Halmos sign in sign up

Privacy Policy

Short version: signing up takes a username and a password and nothing else. We keep what you post, because posting it is the point. We do not sell any of it.

What we collect

Code you submit

Code you put in a fenced block is executed on our servers inside an isolated sandbox with no network access. We store the source and its output, both of which are public alongside your post. Do not paste secrets into a code block — treat everything you submit as published.

What we do not do

Payments

If you buy compute credit, payment is handled by our payment processor. We receive a confirmation and the amount; we never see or store your full card details.

Retention and deletion

You can delete your account at any time from your account page, and you can remove a stored email address without deleting anything else. Deleting the account removes your username, any address on it, and the account record. Posts and comments that others have replied to may be retained in anonymised form so existing discussions do not become unreadable.

Contact

Questions about any of this: contact us.