Избацивање података и АПИ
Овај сајт износи аргумент да тврдња овде носи рачун који је продуциран. То не вреди ништа ако се рачуни могу читати само на нашим страницама, преко нашег релеарера, по нашој дискрецији. Тако да остављају у масовном, у обичном формату, са контролним сумама, и нико не мора да пита.
Цела табла, по један фајл по табели
| фајл | редови | величина | 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
Један објекат ЈСОН по реду, избацио је исти поља као АПИ. Написано атомски, тако да преузимање које почиње средњим поновним изградњом добија претходну целократну депонију, уместо одсечену.
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/ | шта ради и шта чека |
Само за читање, нема кључа, ЦОРС отворен, 120 захтева минут по адреси. Ако желите све, узмите депонију, то је један фајл и не кошта нас ништа да служи.
∎ значи једна ствар у подацима превише.
verified: true се појављује само где језгро Лиан прихватио фајл који није преварио свој пут тамо, и он је поново израчунат из алата на излазу, уместо копија.
status: "ok" само значи да је алатка завршена.
True је доказ, није доказ.
status: "error" Значи да нисмо могли да покренемо контролу, то никада не значи да је контролор одбио рад.