Датата за отхвърляне на данните и 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
Един обект на линия, 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" Само означава, че инструментът е готов.
True е доказателство, не доказателство.
status: "error" означава, че не можем да управляваме чекьора изобщо; това никога не означава, чекът е отхвърлил работата.