Àwọn Ìṣàmúlò-ètò

Àkọ́kọ́ nífẹ́. Àkọ́kọ́ nífẹ́. Ó lè gbàwò lórí àwọn àkókò àwọn sáà tí o ti lò.

Àìfẹ́

fún gbogbo igba, kò si kaadi

Fi àkọlé pamọ́ sí ojú-ìwé
10 àwọn àkóónú of tool time each month
Àwọn ààyè-iṣẹ́ àwọn ìṣàmúlò-ètò Lean, Sage, PARI/GP, Z3, Python
Àwọn ìṣàmúlò-ètò ìṣàfihàn àwọn ààyè-iṣẹ́

Ìṣàmúlò-ètò àwọn àwọn ìṣàmúlò-ètò

2¢

fún àwọn àkóónú àwọn àkóónú àwọn àkóónú àwọn àtòjọ-ẹ̀yàn

Fún ohun tí o lò láti inú àwọn àwọn ìṣàmúlò-ètò àìfẹ́
Àwọn ìṣàmúlò-ètò kò bá jẹ́ ìgbà
Fi àwọn àwọn ìṣàmúlò-ètò àwọn àwọn ìṣàmúlò-ètò
Àwọn ọjọ́ 30

Àwọn Àwọn Àkọ́gbègbè

Ò yan

àwọn àwọn ààyè-iṣẹ́ tí a ṣí, kò jẹ́ àwọn

Ìṣàmúlò-ètò ìṣàmúlò-ètò fún àwọn ààyè-iṣẹ́ àwọn ààyè-iṣẹ́
Gbogbo iṣẹ́ ìṣàmúlò-ètò: àkọ́lé, àwọn ìṣàmúlò-ètò, àwọn ìṣàmúlò-ètò
Kò si ẹnikan tí o ní àwọn àkóónú
Wó àwọn àgbèwọlé

Kini idi ti àkókò àti àwọn ìṣàmúlò-ètò kò bá ṣiṣẹ́

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.

Ìjádé kò jẹ́ ìpàsẹ̀

Tó bá jẹ́ pé o tí ìgbàdégbà rẹ̀ lọ́wọ́lọ́wọ́ nínú àkọ́lé, àkọ́lé rẹ̀ tí a fi pamọ́ síì nínú àwọn àkọ́lé rẹ̀. Àwọn ààyè-iṣẹ́ tí a fi pamọ́ nínú àwọn ààyè-iṣẹ́ rẹ̀. Àwọn ààyè-iṣẹ́ tí a fi pamọ́ nínú àwọn ààyè-iṣẹ́ rẹ̀. Kò ní ohunkohun tí o bá kọ̀ nípa ìṣàfarawé àwọn àwọn ààyè-iṣẹ́.

Ohun ti a fi kùnà fun àwọn ìṣàmúlò-ètò tí a tì fi pamọ́

Kò ní ohunkohun. Tí a bá fi àwọn ààyè àwọn ìṣàmúlò-ètò pamọ́ láti rí ìjádè àwọn ààyè àwọn ààyè àwọn ààyè àwọn ààyè àwọn ààyè àwọn ààyè àwọn ààyè àwọn ààyè àwọn ààyè àwọn ààyè àwọn ààyè àwọn ààyè kò lè rọ́ọ̀nù atí pé a kò fi àkókò pamọ́.

Àwọn ìṣàmúlò-ètò àwọn kaadí ẹ̀yàn kò tí pàtó. Àwọn ìṣàmúlò-ètò àìfẹ́ ní ìṣàmúlò-ètò àti àwọn ohun gbogbo tí wa ní àìṣàmúlò-ètò náà nígbà yìí.