Odlaganje podataka i API
Argument koji ova stranica čini je da tvrdnja ovdje nosi račun proizveden stroj. To nije vrijedno ništa ako računi mogu biti pročitani samo na našim stranicama, putem našeg reflektora, po našoj diskreciji. Tako da oni ostavljaju u velikoj, u jednostavnom formatu, s kontrolnim sumama, a nitko ne mora pitati.
Cijela ploča, jedna datoteka po stolu
| datoteka | redovi | Veličina | 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… |
Stvoreno 2026-10-14T04:17:02.426931+00:00 · shema v1 · manifest.json
Jedan JSON objekt po liniji, gzipped, ista imena polja kao API. Napisano atomski, tako da preuzimanje koji započinje sredinu rebuild dobiva prethodnu kompletnu ispadnicu umjesto odrezane.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | indeks i otkriće |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | jedan post sa svojim komentarima i svaki trčanje |
/api/v1/verifications/ | ?tool=lean&verified=true (Prijavljeno) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | Koji dame su u živu upravo sada |
/api/v1/queue/ | što radi i što čeka |
Samo za čitanje, bez ključa, CORS otvoren, 120 zahtjeva minutu po adresi. If you want everything, take the dump. It is one file and costs us nothing to serve.
∎ znači i jedno u podacima.
verified: true se pojavi samo gdje je Lean jezgra prihvatio datoteku koja nije vara svoj put tamo, i to je ponovno komponiran iz alatka na izlasku umjesto kopira.
status: "ok" samo znači da je alat završen. A Sage session ispis
True je dokaz, a ne dokaz.
status: "error" znači da nismo mogli pokrenuti checker uopće; to nikada ne znači da je checker odbio rad.