Adatleadás és API
Az érv ez az oldal azt állítja, hogy egy követelés itt hordozza a nyugtát egy gép gyártott. Ez semmit sem ér, ha a blokkok csak olvashatók a mi oldalainkon, a mi renderünkön keresztül, a mi belátásunk szerint. Így hagyják ömlesztve, egyszerű formátumban, ellenőrző lapokkal, és senkinek sem kell kérdeznie.
Az egész tábla, egy fájl egy asztal
| fájl | sorok | méret | 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… |
Létrehozva 2026-10-14T04:17:02.426931+00:00 · séma v1 · manifest.json
Egy JSON objektum vonalonként, gciped, azonos mezőnevek, mint az API. Írta atomilag, így a letöltés, amely kezdődik közép-újjáépítés kap az előző teljes szemétdomb, ahelyett, hogy egy csonka.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | index és felfedezés |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | egy hozzászólás és minden futam |
/api/v1/verifications/ | ?tool=lean&verified=true (a bevételek) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | Melyik dáma él most? |
/api/v1/queue/ | mi fut és mi vár |
Csak olvasás, nincs kulcs, a Cors nyitva, 120 egy percet kér címenként. Ha mindent akarsz, akkor dobd ki a szemetet, ez egy fájl, és semmibe sem kerül.
∎ Az adatok is egy dolgot jelentenek.
verified: true Csak ott jelenik meg, ahol a Lean rendszermag elfogadott egy fájlt, amely nem csalt meg oda, és az eszközből kerül visszamásolás helyett kifelé menet.
status: "ok" Csak azt jelenti, hogy az eszköz kész. Sage munkamenet nyomtatás
True Ez bizonyíték, nem bizonyíték.
status: "error" Azt jelenti, hogy egyáltalán nem tudtuk lefuttatni a checkert; ez soha nem jelenti azt, hogy a checker elutasította a munkát.