GeekNews नया टिप्पणियां आर्काइव
◀ पिछला साल | ◁ पिछला महीना | << पिछला सप्ताह | < पिछला दिन | 2026-01-26 | अगला दिन > | अगला सप्ताह >> | अगला महीना ▷
1
 

टाइप कैसे सिद्ध होते हैं — TypeScript टाइप सिस्टम और Curry–Howard correspondence

(evan-moon.github.io)
यह लेख TypeScript टाइप सिस्टम को तर्कशास्त्र की proof system के रूप में समझाते हुए Curry–Howard correspondence के जरिए type inference और design choices की बुनियाद बताता है.
21 पॉइंट द्वारा bboydart91 2026-01-26 | 3 टिप्पणियां
2
 

OpenClaw - हर OS और प्लेटफ़ॉर्म पर काम करने वाला पर्सनल AI असिस्टेंट

(openclaw.ai)
OpenClaw एक लोकल LLM-आधारित पर्सनल AI असिस्टेंट है जो shell, file system और कंप्यूटर नियंत्रण के साथ कई messaging platforms पर काम करता है.
57 पॉइंट द्वारा xguru 2026-01-26 | 10 टिप्पणियां
GeekNews | बारे में शर्तें प्राइवेसी संपर्क
GeekNews टेक्नोलॉजी और AI की नई खबरों को चुनकर पेश करने वाला टेक न्यूज प्लेटफॉर्म है.