Маълумотлар ва API
Бу сайтнинг фикрича, бу ерда талаб машина томонидан яратилган тасдиқловчи ҳужжатни олиб юриши керак. Агар тасдиқловчи ҳужжат фақат бизнинг саҳифаларимизда ўқиладиган бўлса, бунинг ҳеч қандай аҳамияти йўқ. Шунинг учун улар бир жойдан бошқа жойга, оддий форматда, назорат суммалари билан кетади ва ҳеч ким сўрамайди.
Барча тахта, ҳар бир тахта учун бир файл
| файл | қаторлар | Ўлчами | 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… |
Юкланган 2026-10-14T04:17:02.426931+00:00 · схема v1 · manifest.json
Ҳар бир сатрда бирта JSON объекти, gzipped, API билан бир хил майдон номлари. Атомли ёзилган, шунинг учун қайта қуриш пайтида бошланадиган юклаб олиш тўсилган ўрнига олдинги тўлиқ дампни олади.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | индекс ва кашф этиш |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | бир мақола, унинг шарҳлари ва ҳар бир ишлаш |
/api/v1/verifications/ | ?tool=lean&verified=true (Қўлга киритилганлар) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | Қайси шамлар ҳозирда жонли |
/api/v1/queue/ | Юзиб борувчи ва тўпланиб турувчи нарсалар билан қасам. |
Фақат ўқиш, қулф йўқ, CORS очиқ, 120 ҳар бир манзил учун бир дақиқа талаб қилади. Агар ҳаммасини хоҳласангиз, буни даф қилиб олинг. Бу бир файл ва хизмат кўрсатиш бизга ҳеч нарсага арзимайди.
∎ Маълумотларда ҳам бир нарсани англатади.
verified: true Фақатгина Lean ядроси йўлини бузмаган файлни қабул қилганда пайдо бўлади ва у нусха кўчирилгандан кўра, чиқиб кетишда асбобдан қайта ҳисобланади.
status: "ok" Бу фақат асбоб тугаганини англатади.
True Бу далилдир, далил эмас.
status: "error" Бу биз текширувчини умуман ишга тушира олмаганимиз дегани; бу ҳеч қачон текширувчи ишдан воз кечмаган дегани эмас.