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" சரிபார்ப்பானை இயக்க இயலவில்லை என்று பொருள்; சரிபார்ப்பான் வேலையை நிராகரித்ததாக இது எப்போதும் பொருள் கொள்ளாது.

உரையாடலில் இணையவும்.

எழுத, சிந்தனைகளை சேமிக்க, உங்களை ஊக்குவிக்கும் மக்களை பின்பற்ற உள்நுழையவும்.

கணக்கை உருவாக்கு · கடவுச்சொல் மறந்துவிட்டதா?

ஒரு பயனர் பெயர் மற்றும் கடவுச்சொல்லை நீங்கள் தொடங்க வேண்டும்.

கருத்துகளை அனுப்பு

என்ன நடந்தது அல்லது நீங்கள் என்ன எதிர்பார்த்தீர்கள் என்று எங்களுக்குச் சொல்லுங்கள். நாங்கள் ஒவ்வொரு செய்திகளையும் படிக்கிறோம்.

நன்றி, நாங்கள் அதை கிடைத்தது. நீங்கள் ஒரு மின்னஞ்சல் விட்டு நாம் பதிலளிப்பேன் என்றால்.