Odlaganje podatkov in API
Argument, ki ga ta stran naredi je, da trditev tukaj nosi sprejem stroj proizveden. To ni vredno nič, če je mogoče prebrati na naših straneh, preko našega reflektorja, po naši diskreciji. Torej odidejo v razsutem, v navadnem formatu, s kontrolnimi sumi, in nihče ni treba vprašati.
Celotna plošča, ena datoteka na tabelo
| datoteka | vrstice | velikost | 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… |
Ustvaril 2026-10-14T04:17:02.426931+00:00 · shema v1 · manifest.json
En objekt JSON na vrstico, gzipped, enaka imena polja kot API. Napisano atomsko, tako da prenos, ki se začne sredina rebuild dobi predhodno popolno odlagališče namesto rezkanega.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | indeks in odkritje |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | en članek s svojimi pripombami in vsakim tekom |
/api/v1/verifications/ | ?tool=lean&verified=true (prejemki) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | Kateri dami so v živo zdaj |
/api/v1/queue/ | kaj teče in kaj čaka |
Samo za branje, brez ključa, CORS odprt, 120 zahteva minuto na naslov. If you want everything, take the dump. It is one file and costs us nothing to serve.
∎ pomeni eno stvar v podatkih.
verified: true se pojavi le, kjer jedro Lean sprejel datoteko, ki ni goljufala svojo pot tja, in je ponovno izčrpana iz orodja na poti ven namesto kopira.
status: "ok" samo pomeni orodje končano. A Muage session tiskanje
True je dokaz, ne dokaz.
status: "error" pomeni, da sploh nismo mogli voditi kontrolo; to nikoli ne pomeni, da je kontroler zavrnil delo.