Halmos ∎

ତଥ୍ୟ ଡମ୍ପ ଏବଂ 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)' | head

API

/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" କେବଳ ସାଧନ ସମାପ୍ତ ହେବାର ଅର୍ଥ।A Sage session printing True ଏହା ପ୍ରମାଣ ନୁହେଁ, ପ୍ରମାଣ । status: "error" ଅର୍ଥ ହେଉଛି ଆମେ ଯାଞ୍ଚକାରୀକୁ ସମ୍ପୂର୍ଣ୍ଣ ଭାବରେ ଚଲାଇ ପାରିଲୁ ନାହିଁ; ଏହାର ଅର୍ଥ କେବେହେଲେ ଯାଞ୍ଚକାରୀ କାର୍ଯ୍ୟକୁ ପ୍ରତ୍ୟାଖ୍ୟାନ କରିନଥିଲା।

କଥାବାର୍ତ୍ତାରେ ଯୋଗ ଦିଅନ୍ତୁ ।

ଲେଖିବା ପାଇଁ ଲଗଇନ କରନ୍ତୁ, ଚିନ୍ତାଧାରା ସଂରକ୍ଷଣ କରନ୍ତୁ, ଏବଂ ଆପଣମାନଙ୍କୁ ପ୍ରେରିତ କରୁଥିବା ଲୋକମାନଙ୍କୁ ଅନୁସରଣ କରନ୍ତୁ।

ଖାତା ନିର୍ମାଣ କରନ୍ତୁ · ପ୍ରବେଶ ସଂକେତ ଭୁଲିଗଲେ?

ଆରମ୍ଭ କରିବା ପାଇଁ ଆପଣଙ୍କୁ କେବଳ ଗୋଟିଏ ଚାଳକ ନାମ ଏବଂ ପ୍ରବେଶ ସଂକେତ ଆବଶ୍ୟକ।

ଆମକୁ ପରାମର୍ଶ ପଠାନ୍ତୁ

ଆମକୁ କୁହନ୍ତୁ କିଏ କଣ ଘଟିଲା କିମ୍ବା ଆପଣ କଣ ଆଶା କରୁଥିଲେ । ଆମେ ପ୍ରତ୍ୟେକ ସନ୍ଦେଶକୁ ପଢୁଛୁ ।

ଧନ୍ୟବାଦ, ଆମେ ଏହାକୁ ପାଇଲୁ । ଯଦି ଆପଣ ଇମେଲ ଛାଡିଛନ୍ତି ଆମେ ଉତ୍ତର ଦେବୁ ।