Veri çöp ve API
Bu sitenin argümanı, buradaki bir talep bir makine tarafından üretilen bir kayıt taşıyor. Eğer kayıtlar sadece sayfalarımızda okunabilirse, bizim renklendiricimiz aracılığıyla, bizim kararımızla, bu hiçbir şeye değer değil. Bu yüzden, topluca, basit bir biçimde, kontrol toplamlarıyla ayrılıyorlar ve kimse sorma zorunda değil.
Tüm masa, masa başına bir dosya
| dosya | satır | büyüklük | 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… |
Oluşturuldu 2026-10-14T04:17:02.426931+00:00 · şema v1 · manifest.json
Satır başına bir JSON nesnesi, gzipped, API ile aynı alan adları. Atomik olarak yazılmıştır, böylece yeniden inşa sırasında başlayan bir indirme, kesilen bir yerine önceki tam dökümü alır.
curl -sO https://halmos.science/static/dumps/verifications.jsonl.gz
zcat verifications.jsonl.gz | jq -c 'select(.verified)' | headAPI
/api/v1/ | İndeksleme ve keşif |
/api/v1/posts/ | ?sort=top|new|verified&kind=&tool= |
/api/v1/posts/{token}/ | Bir yazı, yorumları ve her bir yürüyüş |
/api/v1/verifications/ | ?tool=lean&verified=true (the receipts) |
/api/v1/search/ | ?q=&in=posts|comments|code |
/api/v1/status/ | Hangi damgalar şu anda canlı |
/api/v1/queue/ | Ne koşuyor ve ne bekliyor |
Sadece okunuyor, anahtar yok, CORS açık, 120 Adres başına bir dakika istiyor. Eğer her şeyi istiyorsan, çöplüğü al, tek bir dosya ve bize hiçbir ücret ödemez.
∎ Verilerde de bir şey anlamına geliyor.
verified: true sadece Lean çekirdeğinin yoldan hile yapmayan bir dosyayı kabul ettiğinde ortaya çıkar ve kopyalanmamak yerine, çıkışta araçtan yeniden hesaplanır.
status: "ok" Sadece araç bittiği anlamına geliyor.
True kanıt değil, kanıttır.
status: "error" Bu, kontrolcüyü hiçbir şekilde çalıştıramadığımız anlamına geliyor. Bu, kontrolcünün hiçbir zaman işi reddetmediği anlamına gelmez.