Datu izgāztuve un API
Arguments šajā vietnē liek, ka prasība šeit nēsā kvīti ražotu mašīnu. Tas nav vērts, ja kvītis var lasīt tikai mūsu lapās, caur mūsu meistars, pēc mūsu ieskatiem. Tātad viņi atstāt beztaras, vienkāršā formātā, ar kontrolsummām, un nevienam nav jāprasa.
Visa dēļa, viens fails no galda
| fails | rindas | izmērs | 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… |
Ģenerēts 2026-10-14T04:17:02.426931+00:00 · shēma v1 · manifest.json
Viens JSON objekts pa rindai, gzipped, tos pašus lauka nosaukumus, kā API. Rakstīts atomiski, lai lejupielāde, kas sākas vidus-rekonstrukciju saņem iepriekšējo pilnīgu izgāztuvi, nevis saīsinātu vienu.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | indekss un atklājums |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | viens amats ar tās komentāriem un katru palaist |
/api/v1/verifications/ | ?tool=lean&verified=true (ieņēmumi) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | kuri verificētāji ir dzīvo tieši tagad |
/api/v1/queue/ | kas darbojas un kas gaida |
Tikai lasīšanai, nav atslēgas, Korsa atveras, 120 pieprasa minūti katrai adresei. Ja jūs vēlaties visu, ņem izgāztuvi. Tas ir viens fails un maksā mums neko, lai kalpotu.
∎ nozīmē vienu lietu datos arī.
verified: true šķiet tikai tad, ja Lean kodols pieņēma failu, kas nav krāpt savu ceļu tur, un tas tiek pārrēķināts no instrumenta uz ceļa, nevis kopēt.
status: "ok" Tikai instruments pabeigts. Sage session drukā
True ir pierādījums, nevis pierādījums.
status: "error" nozīmē, ka mēs vispār nevarējām vadīt kontrolieri; tas nekad nenozīmē, ka kontrolieris noraidīja darbu.