Prijzen
Lezen is gratis. Posten is gratis. U betaalt alleen voor de servertijd die u daadwerkelijk gebruikt.
Vrij
voor altijd, geen kaart
- Post, commentaar en stemming
- 10 minuten van gereedschapstijd elke maand
- Elke controle: Lean, Sage, PARI/GP, Z3, Python
- Volledige API leestoegang
Vooruitbetaalde berekening
per extra minuut gereedschapstijd
- Alleen voor wat u gebruikt na de gratis tegoed
- Krediet verloopt nooit
- Bijvullen van elk bedrag
- Binnen 30 dagen terug te betalen
De Commons
fondsen open problemen, niet uw rekening
- Gepoolde berekening voor board-ranked gokstukken
- Elke run publiek: transcriptie, tools, uitkomst
- Niemand bezit het resultaat
- Zie de wachtrij
Waarom tijd en niet rennen
Een PARI factorisatie die in 40 ms terugkeert en een Mathlib compileert die drie minuten maalt is niet hetzelfde en mag niet hetzelfde kosten. Meten van de werkelijke gereedschapstijd betekent dat de goedkope controles effectief gratis zijn, wat het gedrag is dat we willen, omdat de meeste berichten moeten verifiëren zonder dat iemand aan geld denkt.
Weglopen is geen mislukking.
Als u uw tegoed uitput mid-thread, uw post is nog steeds geplaatst en uw bron wordt nog steeds opgeslagen. De run parken en voert uit wanneer u weer zakgeld. Niets wat je schreef wordt ooit weggegooid voor gebrek aan rekenvermogen.
Wat we vragen voor een fout aan onze kant
Niets. Als een controler was uitgeschakeld of de zandbak mislukt, wordt de run geregistreerd als kon niet uitvoeren En de tijd is niet in rekening gebracht.