Halmos ∎

డాటా డంప్ మరియు APIComment

ఈ సైట్ ఆ ఆరోపణ చేస్తుంది ఒక రిజిస్ట్రోడ్ ఒక రిజిస్ట్రేషన్ యంత్రాన్ని తీసుకుని. రిజిస్ట్లు కేవలం మా పేజీల మీద, మా విచక్షణల ద్వారా చదవబడకపోతే అది పనికి లేదు కాబట్టి వారు సాదా, Chess లో వెళ్ళి, ఎవరూ అడగాల్సిన అవసరం లేదు.

మొత్తం పలక, పట్టికకు ఒక ఫైలు

దస్త్రంఅడ్డ పట్టీలు పరిమాణం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

లైన్, వరుసకు ఒక Jonson వస్తువు, gziped, GPI గా అదే ఫీడ్ పేర్లు 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" కేవలం సాధనం పూర్తైనది. SASE సెషన్ ముద్రణ True అది రుజువు, కాదు రుజువు. status: "error" అంటే మనం చెకర్‌ని నడుపలేం; దాన్ని చెకర్‌ తిరస్కరించాడని ఎప్పుడూ అనుకోకూడదు.

మాట్లాడటానికి వెళ్ళండి.

ఆలోచనలను దాచి, మిమ్మల్ని ప్రేరేపించే ప్రజలను అనుసరించండి.

ఖాతాను సృష్టించుము · సంకేతపదము దాచి?

మీరు ప్రారంభించుటకు అప్రమెయమైన వినియోగదారినామము మరియు సంకేతపదము వారే.

మాకు ప్రతిస్పందన పంపండి

మేము ప్రతి సందేశం చదవాలి.

ధన్యవాదాలు, మేము పొందింది. మీరు ఒక ఈమెయిల్ వదిలి ఉంటే మేము సమాధానం చేస్తాము.