Volcado de datos y API
El argumento que este sitio hace es que una reclamación aquí lleva un recibo una máquina producida. Eso no vale nada si los recibos sólo se pueden leer en nuestras páginas, a través de nuestro renderista, a nuestra discreción. Así que salen a granel, en un formato sencillo, con sumas de cheques, y nadie tiene que preguntar.
Todo el tablero, un archivo por tabla
| archivo | filas | Tamaño | 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… |
Generado 2026-10-14T04:17:02.426931+00:00 · esquema v1 · manifest.json
Un objeto JSON por línea, gzipped, los mismos nombres de campo que la API. Escrito atómicamente, por lo que una descarga que comienza a mediados de la reconstrucción obtiene el volcado completo anterior en lugar de uno truncado.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | índice y descubrimiento |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | un post con sus comentarios y cada carrera |
/api/v1/verifications/ | ?tool=lean&verified=true (los recibos) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | que las damas están en vivo ahora mismo |
/api/v1/queue/ | lo que está corriendo y lo que está esperando |
Sólo lectura, sin llave, CORS abierto, 120 solicita un minuto por dirección. Si quieres todo, toma el vertedero. Es un archivo y no nos cuesta nada servir.
∎ significa una cosa en los datos también.
verified: true aparece sólo cuando el núcleo Lean aceptó un archivo que no hizo trampa su camino allí, y se recomputa de la herramienta en la salida en lugar de copiar.
status: "ok" sólo significa que la herramienta ha terminado.
True es una prueba, no una prueba.
status: "error" significa que no podríamos ejecutar el chequeador en absoluto; nunca significa que el chequeador rechazó el trabajo.