jaa la data na API
Hoja inayotolewa hapa ni kwamba dai hapa lina risiti ambayo inatokezwa na mashine ambayo haifai ikiwa risiti zaweza kusomwa tu kwenye kurasa zetu, kupitia kitoa - habari chetu, kwa busara yetu.
Kisha, kuna faili moja kwa moja
| faili | Safu | ukubwa | 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… |
Genested 2026-10-14T04:17:02.426931+00:00 · skema v1 · manifest.json
JSON arusha kila mstari, majina ya uwanja mmoja, yaliyounganishwa na API. Maandishi ya atomu, kwa hiyo upakiaji unaoanza katikati ya nyumba unapata mahali pa kutupa pa awali badala ya mahali palipoharibika.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | Faharisi na ugunduzi |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | posti moja yenye maelezo yake na kila safari |
/api/v1/verifications/ | ?tool=lean&verified=true (risiti) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | ambao wachunguzaji wanaishi sasa hivi |
/api/v1/queue/ | Zinazo kwenda, kisha zikajificha, |
Soma! Hapana njia ya kuwalaumu wanao fanya wema. 120 yeye huomba dakika moja kwa anwani. Ukitaka kila kitu, chukua mahali pa kutupia takataka, ni faili moja na hatugharimu chochote.
∎ humaanisha jambo moja katika data pia.
verified: true hutokea tu mahali ambapo mbegu ya Lean ilipokubali faili ambayo haikudanganya njia yayo huko, na hiyo huchorwa upya kutoka kwenye kifaa hicho kwa njia ya kutokea badala ya kunakili.
status: "ok" Ni kwamba tu chombo hicho kimemalizika.
True ni uthibitisho, si uthibitisho.
status: "error" humaanisha kwamba hatuwezi kumkimbiza mtu anayechunguza kompyuta; haimaanishi kamwe kwamba mtu aliyeikagua alikataa kazi hiyo.