Свалка данных и АПИ
Аргумент на этом сайте состоит в том, что притязания на получение выставленного устройства ничего не стоят, если квитанции можно прочитать только на наших страницах, через нашего носителя, по нашему усмотрению. Поэтому они оставляют навалом, в обычном формате, с чеками, и никто не должен спрашивать.
Весь досок, один файл за таблицу
| файл | ряды | размер | 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
Один объект JSPON на строчку, zzited, те же имена поля, что и 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 Запрашивает по одному адресу. Если ты хочешь всего, возьми свалку, это один файл и не стоит нам ничего поставлять.
∎ Это значит, что в данных тоже есть одна вещь.
verified: true появляется только в том случае, когда ядро Lean принимает файл, который не обманывал его путь туда, и он перекомпоновывается из инструмента на выходе, а не копируется.
status: "ok" Только значит, что инструмент готов.
True Это улика, а не доказательство.
status: "error" Это значит, что мы вообще не могли управлять шахматной машиной; это никогда не означает, что шашка отказалась от работы.