Data döwmek we API
Bu saýtyň argumenti şu ýerde bir talap bir maşyn tarapyndan öndürilen bir kabul edijini götermekdir. Eger kabul edijiler diňe biziň sahypalarymyzda okalyp bilse, bu hiç bir manysyz, biziň rendererlerimizden, biziň kararymyza görä. Şonuň üçin olar köpçülikleýin, aňsat formatda, barlag toplamlary bilen çykýarlar we hiç kim soramaz.
Eň täze faýl
| faýl | hatlar | size | sha256 |
|---|---|---|---|
posts.jsonl.gz |
18 | 28.3 KB | 3dc313f3e2a2ce40… |
comments.jsonl.gz |
6 | 4.2 KB | f31c50d69c399511… |
verifications.jsonl.gz |
19 | 15.4 KB | c06cd44bd2e0c3d4… |
users.jsonl.gz |
5 | 261 bytes | 02b017bab30a112e… |
Bejerlen 2026-10-14T04:17:02.426931+00:00 · skima v1 · manifest.json
Hatda bir JSON zadyň gzipped, API bilen bir haýal adlary. Atomik ýazgy, şuňa görä bir ýüklemek başlanýan ortada täzeden bina etmek bir kesilen birden öñki doly dump alar.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | indeks we tap |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | bir makala öz kommentarileri bilen we her bir işlenen |
/api/v1/verifications/ | ?tool=lean&verified=true (_Gün) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | haýsy çepler şu wagt hereketde |
/api/v1/queue/ | näme işleýär we näme garaşýar |
Diňe-okama, açar ýok, CORS aç, 120 adres üçin bir minut soraýar. Eger sen her zady isleseň, dömpi al. Bu bir faýl we bize hiç zat tölemeýär.
∎ data
verified: true bu diňe Lean kern bir faýly kabul eden we ony öçürmän, we ol nusgalanan dälde, çykmakda esbapdan täzeden hasaplanan ýerinde görünýär.
status: "ok" A Sage session printing
True bu bir subutnama däl, bir subutnamadyr.
status: "error" means we could not run the checker at all; it never means the checker rejected the work.