Датотека и API
Аргументот што овој сајт го прави е дека тврдењето овде носи сметка произведена машина, тоа не вреди ако сметките можат да се читаат само на нашите страници, преку нашиот релевер, по нашата дискреција.
Целата табла, по една датотека во табела
| датотека | редови | големина | 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… |
Генериран 2026-10-14T04:17:02.426931+00:00 · шема v1 · manifest.json
Еден објект на JSON по линија, gzipped, исти имиња на полето како API. Напишано атомски, така што симнувањето што започнува средно ребилдирање го добива претходното целосна депонија наместо одсечена.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | индекс и откривање |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | еден пост со коментари и секоја трка |
/api/v1/verifications/ | ?tool=lean&verified=true (сметките) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | кои дама сега се во живо |
/api/v1/queue/ | Што работи и што чека |
Само за читање, без клуч, CORS отворен, 120 бара минута по адреса. If you want everything, take the dump. It is one file and costs us nothing to serve.
∎ значи едно нешто во податоците исто така.
verified: true се појавува само каде што кернелот на Лиан прифати датотека која не го изневери својот пат таму, и таа е повторно изведена од алатката на излез наместо копија.
status: "ok" Само значи дека алатката е завршена. A Sage сеssion Printing
True е доказ, не е доказ.
status: "error" Значи дека не можевме да го водиме чекот воопшто; тоа никогаш не значи дека чекот ја отфрлил работата.