Duomenų iškrovimas ir API
Argumentas, kad ši svetainė daro, kad pretenzija čia turi kvitą mašina pagaminta. Tai verta nieko, jei kvitus galima perskaityti tik mūsų puslapiuose, per mūsų piešėjas, mūsų nuožiūra. Taigi jie palikti nefasuotas, paprastas formatas, su kontrolinės sumos, ir niekas neturi paklausti.
Visa lenta, vienas failas iš stalo
| failas | eilutės | dydis | 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… |
Generuotas 2026-10-14T04:17:02.426931+00:00 · schema v1 · manifest.json
Vienas JSON objektas pagal eilutę, gzpped, tie patys field names kaip API. Rašyti atomiškai, todėl atsisiųsti, kad prasideda vidurinis atstatymas gauna ankstesnį visiškai sąvartyną, o ne sutrumpintas vienas.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | indeksas ir atradimas |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | vienas postas su savo komentarus ir kiekvieną paleisti |
/api/v1/verifications/ | ?tool=lean&verified=true (pajamos) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | kuris tikrintojai gyvena dabar |
/api/v1/queue/ | kas veikia ir kas laukia |
Tik skaitymui, nėra rakto, Korsas atidarytas, 120 reikalauja minutės kiekvienam adresui. Jei norite visko, paimkite šiukšliadėžę, tai vienas failas ir kainuoja mums nieko, kad aptarnautumėm.
∎ reiškia vieną dalyką ir duomenyse.
verified: true pasirodo tik tada, kai Lean branduolys priėmė failą, kuris nebuvo apgauti savo kelią ten, ir jis yra perkompiuterizuotas iš įrankio kelyje, o ne kopijavimo.
status: "ok" Tik įrankis baigtas. Sage seanso spausdinimas
True yra įrodymai, o ne įrodymai.
status: "error" reiškia, kad mes negalėjome paleisti tikrintojas iš viso; tai niekada reiškia, kad tikrintojas atmetė darbą.