Gagnaflutningur og API
Rökin sem þessi síða notar eru að kröfur hér innihaldi kvittun sem vél hefur búið til. Það er ekkert virði ef kvittanir eru aðeins lesnar á síðum okkar, í gegnum gerð okkar, að okkar vild. Svo þeir fara í massa, á einföldu sniði, með stöðvunarsummum, og enginn þarf að spyrja.
Allt borð, ein skrá á borð
| skrá | raðir | stærð | 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… |
Búið til 2026-10-14T04:17:02.426931+00:00 · skema v1 · manifest.json
Einn JSON hlutur á línu, gzipped, sömu reit nöfn og API. Skrifað atóm, þannig að niðurhal sem byrjar í miðri endurbyggingu fær fyrri heill dump frekar en truflaður einn.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | Vísitala og uppgötvun |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | Einn færsla með athugasemdum sínum og hverri hlaupa |
/api/v1/verifications/ | ?tool=lean&verified=true (Kvittanir) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | Sem skákir eru lifandi núna |
/api/v1/queue/ | Hvað er í gangi og hvað er að bíða |
Lesanlegur, enginn lykill, CORS opið, 120 Óskar eftir mínútu á heimilisfang. Ef ūú vilt allt, taktu ūá öskjuna, ūađ er ein skrá og kostar okkur ekkert ađ ūjķna henni.
∎ Merkir eitt í gögnum líka.
verified: true birtist aðeins þar sem Lean kjarna samþykkt skrá sem ekki svindla leið sína þangað, og það er endurreiknað frá tólinu á leiðinni út frekar en afritað.
status: "ok" Það merkir aðeins að tólinu er lokið. A Sage session prentun
True Þetta er sönnunargögn, ekki sönnun.
status: "error" Það þýðir að við gátum ekki keyrt skoðunarmanninn yfirleitt; það þýðir aldrei að skoðunarmaðurinn hafnaði verkinu.