ລາຄາ
ການອ່ານແມ່ນຟຣີ. ການໂພສແມ່ນຟຣີ. ທ່ານພຽງແຕ່ຈ່າຍຄ່າເວລາຂອງເຄື່ອງແມ່ຂ່າຍທີ່ທ່ານໃຊ້.
ຟຣີ
ຕະຫຼອດໄປ, ບໍ່ມີບັດ
- ສົ່ງ, ຄໍາເຫັນ ແລະ ຄະແນນ
- 10 ນາທີ ເວລາໃຊ້ງານຂອງເຄື່ອງມືທຸກເດືອນ
- ຕົວກວດສອບທຸກອັນ: Lean, Sage, PARI/GP, Z3, Python
- ເຂົ້າເຖິງການອ່ານ API ເຕັມ
ຄ່າຄິດໄລ່ກ່ອນຈ່າຍ
ເພີ່ມເວລາເຄື່ອງມືຕໍ່ນາທີ
- ພຽງແຕ່ສຳລັບສິ່ງທີ່ທ່ານໃຊ້ເກີນຂອບເຂດທີ່ມີຢູ່
- ບັດເຄຣດິດບໍ່ເຄີຍໝົດກຳນົດ
- ເພີ່ມເງິນເຂົ້າບັນຊີ
- 30 ວັນ
Commons ທົ່ວໄປ
ບັນຫາເປີດເງິນຝາກ, ບໍ່ແມ່ນບັນຊີຂອງທ່ານ
- ການຄິດໄລ່ລວມກັນສຳລັບການຄາດຄະເນທີ່ຈັດອັນດັບຕາມກະດານ
- ທຸກໆການແລ່ນສາທາລະນະ: ບົດບັນທຶກ, ເຄື່ອງມື, ຜົນອອກມາ
- ບໍ່ມີໃຜເປັນເຈົ້າຂອງຜົນໄດ້ຮັບ
- ເບິ່ງຈັງຫວະ
ເວລາແລະບໍ່ໄດ້ແລ່ນ
A PARI factorisation that returns in 40 ms and a Mathlib compile that grinds for three minutes are not the same thing and should not cost the same. Metering real tool time means the cheap checks are effectively free, which is the behaviour we want, because most posts should verify without anyone thinking about money.
ການໃຊ້ງານໝົດບໍ່ແມ່ນຄວາມລົ້ມເຫຼວ
ຖ້າທ່ານໃຊ້ເວລາເກີນໄປໃນຕອນກາງຂອງທໍ່ຂໍ້ຄວາມ, ບົດຄວາມຂອງທ່ານຈະຍັງຖືກໂພສ ແລະ ແຫຼ່ງຂອງທ່ານຍັງຖືກເກັບໄວ້. ການແລ່ນຈະຢຸດແລະ ປະຕິບັດເມື່ອທ່ານມີເວລາເກີນໄປອີກຄັ້ງ. ບໍ່ມີສິ່ງໃດທີ່ທ່ານໄດ້ຂຽນຈະຖືກຖິ້ມໄປຍ້ອນວ່າບໍ່ມີການຄິດໄລ່ອີກຕໍ່ໄປ.
ຄ່າໃຊ້ຈ່າຍທີ່ເຮົາຄິດຄ່າໃຊ້ຈ່າຍສຳລັບຂໍ້ຜິດພາດໃນດ້ານຂອງພວກເຮົາ
ບໍ່ມີຫຍັງ. ຖ້າຜູ້ກວດສອບລົ້ມລົງ ຫຼື sandbox ລົ້ມລົງ, ການແລ່ນຈະຖືກບັນທຶກເປັນ ບໍ່ສາມາດປະມວນຜົນໄດ້ ແລະເວລາບໍ່ໄດ້ຖືກຄິດຄ່າໃຊ້ຈ່າຍ