ডাটা ডাম্প এবং 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 · স্কীমা 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 শুধুমাত্র সেখানেই দেখা যায় যেখানে লিন কার্নেল একটি ফাইল গ্রহণ করে যা সেখানে চলে যায়নি, এবং এটি টুল থেকে পুনরায় গণনা করা হয়, অনুলিপি করার পরিবর্তে।
status: "ok" শুধুমাত্র টুল শেষ হয়েছে এর মানে। একটি Sage সেশন মুদ্রণ
True এটা প্রমাণ, প্রমাণ নয়।
status: "error" মানে আমরা চেকারকে সরাসরি চালাতে পারিনি; এর মানে কখনো নয় যে চেকার কাজটি প্রত্যাখ্যান করেছে।