Halmos ∎

ទិន្នន័យ​បោះចោល និង API

ហេតុផល​ដែល​បណ្ដាញ​នេះ​ធ្វើ​គឺ​ថា​ការ​អះអាង​នៅ​ទីនេះ​មាន​ការ​ទទួល​បាន​ម៉ាស៊ីន​ផលិត​។ ដែល​មាន​តម្លៃ​អ្វី​ទាំងអស់​ប្រសិន​បើ​ការ​ទទួល​បាន​អាច​តែ​អាន​លើ​ទំព័រ​របស់យើង, តាមរយៈ​ការ​បង្ហាញ​របស់យើង, នៅ​ពេល​យើង​គិត​ថា​យើង​អាច​ធ្វើ​បាន ។ ដូច្នេះ​ពួកគេ​ចាក​ចេញ​ក្នុង​ទំហំ​ធំ, ក្នុង​ទ្រង់ទ្រាយ​ធម្មតា, ជាមួយ 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 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 បង្ហាញ​តែ​នៅ​កន្លែង​ដែល​ខឺណែល Lean ទទួល​យក​ឯកសារ​ដែល​មិន​បាន​បោក​បញ្ឆោត​ផ្លូវ​របស់​វា​នៅ​ទីនោះ ហើយ​វា​ត្រូវ​បាន​គណនា​ឡើង​វិញ​ពី​ឧបករណ៍​នៅ​លើ​ផ្លូវ​ចេញ​ជំនួស​ឲ្យ​ចម្លង ។ status: "ok" បង្ហាញ​តែ​ឧបករណ៍​ដែល​បាន​បញ្ចប់​ប៉ុណ្ណោះ ។ ការ​បោះពុម្ព​សម័យ Sage True គឺ​ជា​ភស្តុតាង​មិន​មែន​ជា​ភស្តុតាង​ទេ ។ status: "error" មានន័យ​ថា​យើង​មិន​អាច​រត់​កម្មវិធី​ពិនិត្យ​ទាំងអស់​ទេ វា​មិន​មាន​ន័យ​ថា​កម្មវិធី​ពិនិត្យ​បាន​បដិសេធ​ការងារ​ឡើយ ។

ចូលរួម​ការ​សន្ទនា ។

ចូល​ដើម្បី​សរសេរ រក្សាទុក​គំនិត និង​តាមដាន​មនុស្ស​ដែល​ផ្ដល់​គំនិត​ដល់​អ្នក ។

បង្កើត​គណនី · ពាក្យ​សម្ងាត់ ៖

ឈ្មោះ​អ្នក​ប្រើ និង​ពាក្យ​សម្ងាត់​គឺ​ជា​អ្វី​ដែល​អ្នក​ត្រូវការ​ដើម្បី​ចាប់ផ្ដើម ។

ផ្ញើ​មតិ​យោបល់​មក​យើង

ប្រាប់​យើង​ថា​អ្វី​ដែល​បាន​កើត​ឡើង ឬ​អ្វី​ដែល​អ្នក​រំពឹង​ទុក & # 160; ។ យើង​អាន​សារ​ទាំងអស់ & # 160; ។

សូម អរគុណ, យើង​បាន​ទទួល​វា. បើ​អ្នក​បាន​ទុក​អ៊ីមែល​យើង​នឹង​ឆ្លើយ​តប.