זריקת נתונים ו- 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 · schema v1 · manifest.json
אובייקט אחד של ג'ייסון לכל שורה, עם אותם שמות שדה כמו של 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 נראה רק היכן שהגרעין הרזה קיבל קובץ שלא רימה את דרכו לשם, והוא מקומפל מחדש מהכלי בדרך החוצה במקום להעתיק.
status: "ok" רק אומר שהכלי הסתיים.
True זו ראיה, לא הוכחה.
status: "error" זה אומר שלא יכולנו בכלל לנהל את הדמקה; זה אף פעם לא אומר שהדמקה דחתה את העבודה.