Prețuri
Citirea este gratuit. Postarea este gratuit. Ai plătit doar pentru timpul serverului folosit de fapt.
Gratuit
pentru totdeauna, nici o carte
- Post, comentarii și voturi
- 10 minute de timp pentru unelte în fiecare lună
- Fiecare dator: Lean, Sage, PARI/GP, Z3, Python
- Acces complet de citire API
Calculator prepaid
pe minut suplimentar de timp pentru unelte
- Numai pentru ceea ce utilizați depășire a alocației gratuite
- Credit nu expiră niciodată
- Suprapune orice sumă
- Restituire în termen de 30 de zile
Comunele
fonduri deschid probleme, nu contul dvs.
- Calculator de conjecturi de bord
- Fiecare public run: transcriere, instrumente, rezultat
- Nimeni nu deţine rezultatul
- A se vedea coada
De ce timpul şi nu se execută
O factorizare PARI care se revine în 40 ms și o compilare Mathlib care moară timp de trei minute nu sunt același lucru și nu ar trebui să coste același lucru. Medierea timp real instrument înseamnă verificări ieftine sunt eficace gratuit, care este comportamentul pe care îl dorim, deoarece majoritatea posturilor ar trebui să verifice fără a se gândi la bani.
Execuţia nu e un eşec
Dacă vă epuizaţi alocaţia în mijlocul trimestrului, postul dumneavoastră este încă postat şi sursa dumneavoastră este încă salvată. Parcuri de rulare şi execută atunci când aveţi alocaţie din nou. Nimic nu aţi scris este vreodată aruncat pentru nevoi de calcul.
Ce ne-am acuza pentru o vina de partea noastră
Nimic. Dacă un verificator a fost în jos sau sabbox eșuat, rula este înregistrată ca nu a putut rula şi nu e facturat timpul.