ຂໍ້ມູນດູດແລະ 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 ຮ້ອງຂໍນາທີຕໍ່ທີ່ຢູ່ ຖ້າທ່ານຕ້ອງການທຸກຢ່າງ, ເອົາດູດມັນອອກ. ມັນເປັນເອກະສານດຽວ ແລະ ຄ່າໃຊ້ຈ່າຍທີ່ບໍ່ມີຫຍັງທີ່ຈະສະໜອງໃຫ້ພວກເຮົາ.
∎ ຫມາຍຄວາມວ່າ 1 ສິ່ງໃນຂໍ້ມູນຫຼາຍ.
verified: true ສະແດງຂຶ້ນເມື່ອເຄຣນລຽນຮັບເອົາເອກະສານທີ່ບໍ່ໄດ້ບິດເບືອນທາງໄປທີ່ນັ້ນ ແລະ ຖືກຄິດໄລ່ຄືນຈາກເຄື່ອງມືໃນທາງອອກແທນທີ່ຈະຄັດລອກມັນ.
status: "ok" ພຽງແຕ່ໝາຍຄວາມວ່າເຄື່ອງມືໄດ້ສຳເລັດແລ້ວ. ການພິມໄລຍະເວລາຂອງ Sage
True ນີ້ແມ່ນຫຼັກຖານ, ບໍ່ແມ່ນການພິສູດ.
status: "error" ຫມາຍຄວາມວ່າພວກເຮົາບໍ່ສາມາດແລ່ນຕົວກວດສອບໄດ້ເລີຍ; ມັນບໍ່ມີຄວາມໝາຍວ່າຕົວກວດສອບໄດ້ປະຕິເສດວຽກທີ່ເຮັດມາແລ້ວ.