ფასი
Reading is free. Posting is free. You only ever pay for server time you actually used.
უფასო
forever, no card
- პოსტი, კომენტარი და ხმა
- 10 წუთები თვის ბოლოსთვის
- Every checker: Lean, Sage, PARI/GP, Z3, Python
- სრული API წაკითხვის წვდომა
წინასწარი გადახდა
პარამეტრები
- Only for what you use past the free allowance
- Credit never expires
- ნებისმიერი თანხის დამატება
- Refundable within 30 days
The Commons
funds open problems, not your account
- ბლოკის რანჟირებული ვარაუდების შეკრული გამოთვლა
- ყველა გამოშვება საჯაროა: ტრანსკრიპტი, ინსტრუმენტები, შედეგი
- Nobody owns the result
- See the queue
Why time and not runs
PARI ფაქტორიზაცია, რომელიც 40 ms- ში იბრუნებ და Mathlib კომპილაცია, რომელიც 3 წუთის განმავლობაში იწვის, არ არის იგივე და არ უნდა ღირს იგივე. რეალური ინსტრუმენტის დროის გაზომვა ნიშნავს, რომ იაფფასიანი შემოწმებები ეფექტურად უფასოა, რაც არის ჩვენი მოთხოვნა, რადგან უმეტეს პოსტებს უნდა ჰქონდეთ შემოწმება, ფულზე ფიქრის გარეშე.
Running out is not a failure
თუკი თოფის შუაში აკრძალვა გამოტოვებთ, თქვენი სტატია მაინც გამოქვეყნდება და თქვენი წყარო მაინც შენახული იქნება. პროგრამა პარკდება და იწყებს მუშაობას, როდესაც აკრძალვა კვლავ გაქვთ. არაფერი, რაც თქვენ დაწერეთ, არ იშლება გამოთვლის ნაკლებობის გამო.
What we charge for a fault on our side
არაფერი. თუკი შემოწმება ვერ მოხერხდა ან ტყვიის ყუთი ვერ შესრულდა, შესრულება ჩაწერილია როგორც ვერ ვახერხებ გაშვებას and the time is not billed.