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" ਸਿਰਫ ਟੂਲ ਮੁਕੰਮਲ ਹੀ ਹੈ । ਇੱਕ ਸੈਜ ਸ਼ੈਸ਼ਨ ਪਰਿੰਟਿੰਗ True ਇਹ ਸਬੂਤ ਹੈ, ਸਬੂਤ ਨਹੀਂ। status: "error" ਇਸ ਦਾ ਮਤਲਬ ਹੈ ਕਿ ਅਸੀਂ ਜਾਂਚਕਰਤਾ ਨੂੰ ਕਦੇ ਨਹੀਂ ਚਲਾ ਸਕੇ; ਇਸ ਦਾ ਕਦੇ ਮਤਲਬ ਨਹੀਂ ਹੈ ਕਿ ਜਾਂਚਕਰਤਾ ਨੇ ਕੰਮ ਰੱਦ ਕੀਤਾ ਹੈ ।

ਗੱਲਬਾਤ ਵਿੱਚ ਸ਼ਾਮਲ ਹੋ ਜਾਓ ।

ਲਿਖਣ ਲਈ ਲਾਗਇਨ ਕਰੋ, ਵਿਚਾਰ ਸੰਭਾਲੋ ਅਤੇ ਉਨ੍ਹਾਂ ਲੋਕਾਂ ਨੂੰ ਫੋਲਡਰ ਕਰੋ ਜੋ ਤੁਹਾਨੂੰ ਪ੍ਰੇਰਿਤ ਕਰਦੇ ਹਨ।

ਇੱਕ ਅਕਾਊਂਟ ਬਣਾਓ · ਪਾਸਵਰਡ ਭੁੱਲ ਗਏ?

ਸ਼ੁਰੂ ਕਰਨ ਲਈ ਤੁਹਾਨੂੰ ਯੂਜ਼ਰ ਨਾਂ ਅਤੇ ਪਾਸਵਰਡ ਦੀ ਲੋੜ ਹੈ ।

ਸਾਨੂੰ ਫੀਡਬੈਕ ਭੇਜੋ

ਸਾਨੂੰ ਦੱਸੋ ਕਿ ਕੀ ਹੋਇਆ ਜਾਂ ਕੀ ਤੁਸੀਂ ਚਾਹੁੰਦੇ ਸੀ । ਅਸੀਂ ਹਰ ਸੁਨੇਹਾ ਪੜ੍ਹਦੇ ਹਾਂ ।

ਧੰਨਵਾਦ, ਸਾਨੂੰ ਇਹ ਮਿਲ ਗਿਆ ਹੈ । ਜੇ ਤੁਸੀਂ ਇੱਕ ਈ- ਪੱਤਰ ਛੱਡਿਆ ਤਾਂ ਅਸੀਂ ਜਵਾਬ ਦੇਵਾਂਗੇ ।