දත්ත ඩම්ප් සහ API
මෙම වෙබ් අඩවිය තර්කයක් මෙම ඉල්ලීමක් මෙතන යන්ත්රය නිපදවා ලැබීම් රැගෙන බවයි. ඒ ලැබීම් අපේ පිටු කියවිය හැකි නම් කිසිවක් වටිනා, අපේ renderer හරහා, අපේ තීරණය මත. ඒ නිසා ඔවුන් තොග පිටත්, සරල ආකෘතිය, checksums සමග, හා කිසිවෙකු ඉල්ලා ඇති.
මුළු පුවරුව, වගුවකට එක් ගොනුවක්
| ගොනුව | පේළි | ප්‍රමාණය | 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 |
6 | 284 bytes | 13b1b3222eda8be0… |
ජනනය කල 2026-10-18T04:17:02.319715+00:00 · තේමාව v1 · manifest.json
රේඛාවකට එක් 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 ලිපිනයකට විනාඩි ඉල්ලා සිටියි. ඔයාට ඕනේ නම් හැමදේම, ඩම්ප් ගන්න. ඒක එක ගොනුවක් සහ සේවය කිරීමට අපට කිසිම වියදමක්.
∎ ඒකෙන් අදහස් වෙන්නේ දත්ත වලත් එක දෙයක් තියෙනවා.
verified: true ලෙයින් කර්නලය එහි එහි මාර්ගය වංචා නොකළ බව ගොනුවක් පිළිගත් පමණක් පෙනී යයි, එය පිටපත් මෙන් නොව පිටතට මාර්ගය මත මෙවලම සිට recomputed වේ.
status: "ok" පමණක් මෙවලම අවසන් අදහස්. සාජ් සැසිය මුද්රණය
True සාක්ෂි, ඔප්පු කිරීමක් නෙමෙයි.
status: "error" අපි කිසිදු පරීක්ෂක ධාවනය කළ නොහැකි බවයි; එය කවදාවත් පරීක්ෂක වැඩ ප්රතික්ෂේප අදහස්.