Skládka dat a API
Argument, že tato stránka dělá, že nárok zde nese stvrzenku stroj vyrobené. To je nic, pokud účtenky lze číst pouze na našich stránkách, prostřednictvím našeho renderer, podle našeho uvážení. Takže odejdou ve velkém, v jasném formátu, s kontrolními sumy, a nikdo se nemusí ptát.
Celá deska, jeden soubor na tabulku
| soubor | řádky | velikost | 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… |
Generované 2026-10-14T04:17:02.426931+00:00 · schéma v1 · manifest.json
Jeden JSON objekt na řádek, gzipped, stejné názvy polí jako API. Napsal atomovy, takže stahování, které začíná uprostřed-rebuild dostane předchozí kompletní skládka, spíše než zkrácené.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | index a objev |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | jeden příspěvek s jeho komentáře a každý běh |
/api/v1/verifications/ | ?tool=lean&verified=true (příjmy) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | které dámy jsou právě teď živé |
/api/v1/queue/ | co běží a co čeká |
Pouze pro čtení, bez klíče, CORS otevřený, 120 požaduje minutu na adresu. Jestli chceš všechno, tak se vykašli na to.
∎ znamená také jednu věc v datech.
verified: true se objeví pouze tam, kde Lean jádro přijal soubor, který nepodvedl jeho cestu tam, a to je recomputed z nástroje na cestě ven, spíše než kopírovat.
status: "ok" pouze znamená hotový nástroj. Tisk šalvějové relace
True je důkaz, ne důkaz.
status: "error" To znamená, že jsme nemohli šacher vůbec řídit; to nikdy neznamená, že šacher odmítl práci.