Dump de date și API
Argumentul acestui site este că o cerere aici are o chitanță de o maşină produsă. Asta nu merită nimic dacă chitanțele pot fi citite doar pe paginile noastre, prin motoarea noastră, la discreția noastră. Deci, ei pleacă în vrac, într-un format simplu, cu sume de verificație, și nimeni nu trebuie să ceară.
Întreaga tablo, un dosar pe masă
| fișier | rânduri | mărime | 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… |
Generat 2026-10-14T04:17:02.426931+00:00 · schemă v1 · manifest.json
Un obiect JSON pe linie, gziped, același nume de câmp ca API. Scris atomic, astfel încât o descărcare care începe mijlocul-reconstrucție obține deșeuri complete anterior, mai degrabă decât un truncat.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | index și descoperire |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | un post cu comentariile sale și fiecare run |
/api/v1/verifications/ | ?tool=lean&verified=true (chitanțe) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | Care dame sunt în viaţă acum |
/api/v1/queue/ | ce se rula și ce se așteaptă |
Doar citire, fără cheie, CRS deschis, 120 solicită un minut pe adresă. If you want everything, take the dump. It is one file and costs us nothing to serve.
∎ înseamnă un lucru în date.
verified: true apare doar în cazul în care lean kernel a acceptat un fișier care nu a înşelat drumul său în acest sens, și este recomputat de la unelte pe calea de ieșire, mai degrabă decât copiat.
status: "ok" Doar înseamnă uneltele terminate. O sesiune de saj tipărind
True este o dovadă, nu o dovadă.
status: "error" înseamnă că nu am putut rula cea care a dat la el; nu înseamnă niciodată că cea care a respins munca.