Të dhëna dhe API
Argumenti që përdoret në këtë faqe është se një kërkesë këtu sjell një rregjistrim të prodhuar nga një makinë. Kjo nuk ka vlerë nëse rregjistrimet mund të lexohen vetëm në faqet tona, nëpërmjet interpretuesit tonë, sipas dëshirës sonë. Kështu që ata largohen në masë, në format të thjeshtë, me shifra kontrolluese, dhe askush nuk duhet të pyesë.
Të gjithë bordi, një file për tavolinë
| file | rreshta | Madhësia | 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… |
Gjenerat 2026-10-14T04:17:02.426931+00:00 · skema v1 · manifest.json
Një objekt JSON për rresht, i kompresuar me gzipp, emrat e të njëjtave fusha si API. Shkrimet atomike, kështu që një shkarkim që fillon në mes të rindërtimit merr dumpin e plotë të mëparshëm në vend të një të shkurtuar.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | indeks dhe zbulim |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | një post me komentet e tij dhe çdo ecje |
/api/v1/verifications/ | ?tool=lean&verified=true (pranimet) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | cili shigjetë është në jetë tani |
/api/v1/queue/ | Çfarë po ndodh dhe çfarë po pret |
Vetëm-lexues, pa kyç, CORS i hapur, 120 kërkon një minutë për adresë. Nëse do të doje të gjitha, merr atë që është në shkarkim, është një dosje dhe nuk na kushton asgjë që ta shërbejm.
∎ do të thotë një gjë në të dhënat gjithashtu.
verified: true shfaqet vetëm kur kerneli Lean pranon një file që nuk ka mashtruar rrugën e tij atje, dhe rikalkulohet nga instrumenti në dalje në vend të kopjuar.
status: "ok" vetëm do të thotë që instrumenti përfundoi. Një printim seancë Sage
True Është dëshmi, jo provë.
status: "error" do të thotë se nuk mund të bëjmë kontroll në tërësi; nuk do të thotë kurrë që kontrolli e ka refuzuar punën.