Igenamiterere ry'amabaruwa
ni Kigenga. ni Kigenga. Buri gihe ya: Seriveri: Igihe Byakoreshejwe.
Bitari ngombwa
$0
Oya
- Icyo wongeraho na
- 10 amasaha of tool time month
- Mugenzura... Lean, Sage, PARI/GP, Z3, Python
- Full API read access
Gucomeka:
2¢
Birenzeho Umunota Bya Igihe
- kugirango Koresha i Kigenga
- Oya
- Hejuru Icyo ari cyo cyose Igiteranyo
- Refundable within 30 days
Igihe Na OYA
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.
Inyuma ni OYA a
If you exhaust your allowance mid-thread, your post is still posted and your source is still saved. The run parks and executes when you have allowance again. Nothing you wrote is ever discarded for want of compute.
Twebwe kugirango A ku
A Hasi Cyangwa i, i Gukoresha ni Nka OYA Gukoresha na i Igihe ni OYA.
ni OYA ku. Kigenga ni & Kwijima na hejuru.