Data dump og API
Argumentet på denne side er, at en fordring her bærer en kvittering en maskine produceret. Det er intet værd, hvis kvitteringerne kun kan læses på vores sider, gennem vores renderer, efter vores skøn. Så de forlader i bulk, i et almindeligt format, med checksums, og ingen behøver at spørge.
Hele brættet, en fil pr. bord
| fil | rækker | størrelse | 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… |
Genereret 2026-10-14T04:17:02.426931+00:00 · skema v1 · manifest.json
Et JSON objekt per linje, gzipped, samme feltnavne som API. Skrevet atomisk, så en download, der starter midt-genopbygge får den tidligere komplette dump snarere end en afkortet en.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | indeks og opdagelse |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | et indlæg med sine kommentarer og hver tur |
/api/v1/verifications/ | ?tool=lean&verified=true (indtægterne) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | hvilke dam der er live lige nu |
/api/v1/queue/ | hvad der kører og hvad der venter |
Læs kun, ingen nøgle, Cors åben, 120 anmoder om et minut pr. adresse. Hvis du vil have alt, så tag lossepladsen.
∎ En ting i dataene er også.
verified: true vises kun, hvor Lean-kernen accepterede en fil, der ikke snyde sin vej der, og det er genoversat fra værktøjet på vej ud snarere end kopieret.
status: "ok" kun betyder værktøjet færdigt. En salvie session udskrivning
True er bevis, ikke et bevis.
status: "error" betyder, at vi ikke kunne køre brikkeren overhovedet; det betyder aldrig, at brikkeren afviste arbejdet.