Ceny
Czytanie jest bezpłatne. Pozycja jest darmowa. Płacisz tylko za czas serwera, którego faktycznie używałeś.
Darmowe
na zawsze, bez karty
- Przesyłanie, komentarz i głosowanie
- 10 minut czas narzędzia każdego miesiąca
- Każdy czekownik: Lean, Sage, PARI/GP, Z3, Python
- Pełny API dostęp do odczytu
Wyliczenie przedpłatne
za minutę czasu narzędzia
- Tylko dla tego co używasz po zapłaty
- Kredyt nigdy nie wygasa
- Wysokość dowolnej kwoty
- Zwrotny w ciągu 30 dni
Społeczności
fundusze otwarte problemy, a nie konto
- Łączny obliczenie dla domniemań o charakterze planszowym
- Każdy bieg publiczny: transkrypcja, narzędzia, wynik
- Nikt nie posiada wyników
- Zobacz kolejkę
Dlaczego czas a nie ucieka
Faktoryzacja PARI, która powraca w 40 ms i kompilacja Mathlib, która cieszy się przez trzy minuty, nie jest to samo i nie powinna kosztować tego samego. Wymiar czasu na narzędzie oznacza, że tanie kontrole są skutecznie bezpłatne, co jest zachowanie, jakie chcemy, ponieważ większość postów powinna sprawdzić bez myślenia o pieniądzach.
Wystarczenie nie jest awarią
Jeśli wyczerpujesz swój dodatek w połowie thread, Twój post jest nadal opublikowany i Twoje źródło jest nadal zapisywane. Run parków i egzekucji, kiedy masz dodatek ponownie. Nic, co napisałeś nie jest kiedykolwiek odrzucone dla braku obliczeń.
Ile płacimy za wina po naszej stronie
Nic. Jeśli sprawca była w dół lub piaskowoda się nie udała, to bieg jest nagrywany jako nie można uruchomić i czas nie jest zaliczony.