التسعير
القراءة مجانية، والنشر مجاني، ولا تدفع إلا مقابل وقت الخادم الذي استخدمته فعلاً.
مجاني
إلى الأبد، لا بطاقة
- النشر والتعليق والتصويت
- 10 دقائق وقت الأدوات كل شهر
- كل مفتش: Lean, Sage, PARI/GP, Z3, Python
- الوصول الكامل إلى قراءة API
حساب المدفوعات المسبقة
لكل دقيقة إضافية من وقت الآلات
- فقط لما تستخدمه بعد الإعتماد المجاني
- الائتمان لا ينقضي أبدا
- إعادة شحن أي مبلغ
- قابلة للاسترداد في غضون 30 يوما
The Commons
الأموال مفتوحة المشاكل، وليس حسابك
- حسابات مجمعة للتكهنات المراتب
- كل إجراء عام: النص، الأدوات، النتائج
- لا أحد يملك النتيجة
- انظر إلى الطابور
لماذا الوقت لا يجري
إن تحليل عوامل PARI الذي يعود في غضون 40 دقيقة وعملية تجميع Mathlib التي تستمر ثلاث دقائق ليست نفس الشيء ولا ينبغي أن تكلف نفس الشيء. إن قياس وقت الأداة الحقيقي يعني أن عمليات التحقق الرخيصة مجانية فعليا، وهو السلوك الذي نريد، لأن أغلب الوظائف لابد أن تتحقق من عدم تفكير أحد في المال.
إن نفاد الموارد ليس فشلا
إذا استنفدت مساحة التخزين في منتصف الموضوع، فإن مقالتك لا تزال تنشر ومصدرك لا يزال محفوظاً. يقف التشغيل ويقوم بالتنفيذ عندما تحصل على مساحة تخزين مرة أخرى. لا يتم التخلص من أي شيء كتبته بسبب الافتقار إلى الحوسبة.
ماذا ندفع عن خطأ من جانبنا
لا شيء. إذا كان أحد المدققين قد انخفض أو فشل صندوق الرمل، يتم تسجيل التشغيل على أنه لم يكن بالإمكان تشغيله و الوقت لا يحسب