Macluumaadka dump iyo API
Xukunkan website this samaynaya waa in dacwad halkan ku qaadataa lacag bixinta mashiinka soo saaro. Taasi waa waxba ma aha haddii lacagta la siiyo kaliya lagu akhrin karo boggagayaga, iyada oo loo marayo our renderer, in ay go'aan. Sidaas daraaddeed waxay ka tagaan in bulk, in qaab caadi ah, la checksums, iyo qofna ma weydiin.
Boodhka oo dhan, mid ka mid ah faylka miiska
| Faylka | xarfaha | size | 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… |
La abuuray 2026-10-14T04:17:02.426931+00:00 · qorshe v1 · manifest.json
Mid ka mid ah JSON wax line kasta, gzipped, magaca goobta la mid ah sida API. Qoray atomically, sidaas daraaddeed soo dejinta oo bilaabaya dhexdhexaad ah dib u dhiska ka helaa ka hor dhamaystiran dump ka badan mid ka mid ah mid ka yar.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | index iyo soo bandhigid |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | mid post la hadalkiisa iyo socod kasta |
/api/v1/verifications/ | ?tool=lean&verified=true (lacagta) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | oo ah ciyaartoyda hadda nool |
/api/v1/queue/ | waxa socda iyo waxa sugayo |
akhriska- kaliya, ma jiro furaha, CORS furan, 120 codsiyada daqiiqo ah oo ah cinwaanka. Haddii aad wax walba u baahan tahay, qaado dump. Waa mid fayl ah oo naga ku kacaya waxba ma adeegaan.
∎ micnaheedu waa mid ka mid ah xogta too.
verified: true waxaa u muuqataa oo kaliya halkaas oo kernel Lean aqbalay faylka aan ku khiyaameeyey jidka halkaas, iyo waxaa laga reebay ka qalab ku saabsan habka ka baxa in ka badan oo la daabacay.
status: "ok" kaliya macnaheedu waa qalabku dhamaatay. A Sage kulan daabacaadda
True waa caddayn, ma aha caddayn.
status: "error" micnaheedu waa inaanan ku socon karin checker oo dhan; ma aha in ay macnaheedu tahay checker diiday shaqada.