Qiimaha
Akhriska waa bilaash. Posting waa bilaash. Waxaad kaliya mar walba bixisaa server waqti aad dhab ahaantii u isticmaali.
Bilaash
waligeed, card la'aan
- Post, faallo iyo cod
- 10 daqiiqo of tool time each month
- Dhammaan checker: Lean, Sage, PARI/GP, Z3, Python
- API buuxa akhrin
xisaabta
daqiiqada dheeraadka ah ee waqtigii qalabka
- Keliya waxa aad isticmaali ka hor inta aan la siin
- Credit marnaba ma dhamaado
- Ku buuxi wax kasta oo lacag ah
- La soo celin karaa 30 maalmood gudahood
Shabakadda
lacagaha dhibaatooyinka furan, ma xisaabtaada
- Tirakoobka loo qaybiyey ee ku saabsan qiyaasaha guddiga-qaadashada
- Dhammaan socda dadweynaha: qoraalka, qalabka, natiijada
- Cidna ma laha natiijada
- Ka eeg liiska
Maxaa sababay waqti iyo ma socda
A PARI factorisation in 40 ms ku soo laabto iyo Mathlib soo ururiyey in ay ku qalajiso saddex daqiiqo ma aha wax la mid ah oo aan la qaadan karin la mid ah. Mitirka real tool time macnaheedu waa in la hubiyo qiimaha jaban si dhab ah waa bilaash, taas oo ah habdhaqanka aan rabno, sababtoo ah posts badankood waa in la xaqiijiyo aan qofna ka fikiraya lacag.
Running off ma aha guul darro
Haddii aad ka baaqsato aad gunno dhexdhexaad ah thread, post aad weli waa la daabacay oo aad asalka weli waa la badbaadiyey. The run parks iyo fuliya marka aad leedahay gunno mar kale. Wax aad qortay waa marnaba la tirtiro u baahan tahay ee compute.
Waxa aan ku dhaafno ee qalad ah dhinacayaga
Waxba. Haddii checker ahaa hoos ama sandbox ku fashilmeen, socdaalka waxaa lagu diiwaangeliyaa sida ma awoodin inaad fuliso iyo waqtiga ma xisaabtamo.