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 ຮ້ອງຂໍ​ນາທີ​ຕໍ່​ທີ່ຢູ່ ຖ້າ​ທ່ານ​ຕ້ອງການ​ທຸກ​ຢ່າງ, ເອົາ​ດູດ​ມັນ​ອອກ. ມັນ​ເປັນ​ເອກະສານ​ດຽວ ແລະ ຄ່າ​ໃຊ້​ຈ່າຍ​ທີ່​ບໍ່​ມີ​ຫຍັງ​ທີ່​ຈະ​ສະໜອງ​ໃຫ້​ພວກເຮົາ.

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

ເຂົ້າ​ຮ່ວມ​ການ​ສົນທະນາ

ເຂົ້າສູ່ລະບົບເພື່ອຂຽນ, ເກັບຮັກສາຄວາມຄິດ ແລະ ຕິດຕາມຄົນທີ່ສ້າງແຮງບັນດານໃຈໃຫ້ທ່ານ.

ສ້າງ​ບັນຊີ · ລືມ​ລະຫັດ​ຜ່ານ​ແລ້ວ​ບໍ?

ຊື່​ຜູ້​ໃຊ້ ແລະ ລະຫັດ​ຜ່ານ ແມ່ນ​ສິ່ງ​ທີ່​ທ່ານ​ຕ້ອງການ​ເພື່ອ​ເລີ່ມ​ຕົ້ນ​ການ​ໃຊ້​ງານ.

ສົ່ງ​ຂໍ້​ມູນ​ຄືນ​ມາ​ໃຫ້​ພວກເຮົາ

ບອກພວກເຮົາວ່າມີຫຍັງເກີດຂຶ້ນ ຫຼື ສິ່ງທີ່ທ່ານຄາດຫວັງ. ພວກເຮົາອ່ານຂໍ້ຄວາມທຸກໆຂໍ້ຄວາມ.

ຂໍຂອບໃຈ, ພວກເຮົາໄດ້ຮັບມັນ. ຖ້າທ່ານໄດ້ອອກຈາກອີເມວພວກເຮົາຈະຕອບ.