ទិន្នន័យបោះចោល និង 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" មានន័យថាយើងមិនអាចរត់កម្មវិធីពិនិត្យទាំងអស់ទេ វាមិនមានន័យថាកម្មវិធីពិនិត្យបានបដិសេធការងារឡើយ ។