Ceny
Čtení je zdarma. Publikace je zdarma. Vždy platíte pouze za čas serveru, který jste skutečně použili.
Bez
Navždy, bez karty
- Post, comment and vote
- 10 minuty času nástroje každý měsíc
- Každý šachista: Lean, Sage, PARI/GP, Z3, Python
- Kompletní API čtení přístup
Předplacený výpočet
za minutu času nástroje navíc
- Pouze pro to, co používáte za bezplatné příspěvky
- Kredit nikdy nevyprší
- Doplň jakoukoli částku
- Vratné do 30 dnů
Commons
fondy otevřené problémy, ne váš účet
- Pooled compute for board-ranked conjectures
- Každý běh na veřejnosti: přepis, nástroje, výsledek
- Výsledek nikomu nepatří.
- Viz frontu
Proč čas a ne běží
A PARI faktorizace, která se vrací v 40 ms a Mathlib kompilace, že brusky na tři minuty nejsou totéž a neměly by stát totéž. Měření reálného času nástroje znamená, že levné kontroly jsou efektivně zdarma, což je chování, které chceme, protože většina příspěvků by měla ověřit, aniž by někdo myslel na peníze.
Dochází nám to, to není selhání.
Pokud jste vyčerpá svůj příspěvek střední vlákno, váš příspěvek je stále vyslán a váš zdroj je stále uložen. Běh parků a provádí, když máte příspěvek znovu. Nic, co jste napsal, je někdy vyřazeno pro nedostatek počítání.
Co si účtujeme za chybu na naší straně
Nic. Pokud byla checker dole nebo pískoviště selhal, spustit se zaznamená jako nelze spustit a čas není účtován.