Developer Community 24 Hours

अंतिम अपडेट: September 10, 2026, 10:03 PM ET

एआई मॉडल और औपचारिक विधियाँ

OpenAI की Navier-Stokes रिलीज़ में एक Lean 4 प्रमाण शामिल था, जो एक striking संकेत है कि औपचारिक सत्यापन अकादमिक जिज्ञासा से निकलकर मशीन लर्निंग पाइपलाइन में प्रवेश कर रहा है। इस विकास ने इस बहस को ऊर्जा दी है कि एआई युग में गणितीय परिणामों के सत्यापन के लिए औपचारिक विधि क्रांति का क्या अर्थ हो सकता है।

Cognition के SWE-2 मॉडल ने Terminal-Bench 2.1 पर 92.8 स्कोर किया, यह एक बेंचमार्क परिणाम है जिसे कंपनी एजेंटिक कोडिंग क्षमता में एक step change के प्रमाण के रूप में प्रस्तुत कर रही है। यह लॉन्च SWE-2 को Fable 5.1 और GPT-Astra के मुकाबले स्थापित करता है, और विक्रेता का अपना लेख Cognition के ब्लॉग पर उपलब्ध है।

DeepSeek ने v4.1 Flash जारी किया, एक छोटा, तेज़ वेरिएंट जो अब Hugging Face पर प्रकाशित है। अलग से, OpenAI ने एक Agents API शिप किया, जिसमें डेवलपर दस्तावेज़ शामिल हैं जो एजेंट वर्कफ़्लो बनाने और ऑर्केस्ट्रेट करने के अवलोकन को कवर करते हैं।

एआई गवर्नेंस, विश्वास और दुरुपयोग

Anthropic ने एआई के दुरुपयोग का पता लगाने और उसका मुकाबला करने पर अपनी सितंबर 2026 खतरा खुफिया रिपोर्ट प्रकाशित की, जिसमें उन पैटर्नों का विवरण दिया गया है जिन्हें उसकी टीमें ट्रैक कर रही हैं। यह रिपोर्ट OpenAI के अप्रकाशित शोध को संभालने पर चल रही तीव्र बहस के बीच आई है: एक शोधकर्ता कहते हैं कि OpenAI ने बातचीतों पर प्रशिक्षण लिया और फिर एक सफलता का दावा किया, जबकि एक अन्य थ्रेड OpenAI पर भरोसे को लेकर सवाल उठाता है कि क्या शोधकर्ता अप्रकाशित गणित के साथ OpenAI पर भरोसा कर सकते हैं।

एक अलग आरोप है कि OpenAI ने संभवतः एक और बड़ा प्रमाण चुराया। उपभोक्ता पक्ष पर, एक Tell HN बताता है कि OpenAI सहमति के बिना प्रशिक्षण सेटिंग को फिर से सक्षम कर देता है, और पोस्टर ने नोट किया कि उन्होंने इसे एक से अधिक बार रीसेट किया था और बाद की जाँच में इसे फिर से सक्षम पाया।

व्यापक एआई-भय विमर्श को एक निबंध में ट्रेस किया गया है कि कैसे एक इस्तीफे ने चिंता के अंगारों को दावानल में बदल दिया। Gizmodo ने कवर किया कि कैसे Jacob Coxon का मीडिया दौरा शुरू हो चुका है, जबकि परिदृश्य साइट AI 2027 दीर्घकालिक अनुमानों के संदर्भ बिंदु के रूप में प्रचलन में बनी हुई है।

भाषाएँ, रनटाइम और प्लेटफ़ॉर्म

Rust अब Microsoft में टियर-1 भाषा है, यह Rust Foundation द्वारा प्रकाशित एक अतिथि पोस्ट के अनुसार। JVM पक्ष पर, JEP 544 अहेड-ऑफ-टाइम कोड संकलन प्रस्तावित करता है, जो स्टार्टअप समय और परिनियोजन पैकेजिंग के लिए महत्वपूर्ण निहितार्थ रखता है।

Shopify ने React Native से नेटिव पर वापस लौटने का दस्तावेज़ीकरण किया, जो इस उलटफेर को प्रेरित करने वाले व्यापार-समझौतों पर एक इंजीनियरिंग पुनरावलोकन है। Arcade DB ने Open API और Protobuf परिभाषाओं से उत्पन्न नेटिव Python और TypeScript ड्राइवर पेश किए।

Planet Scale ने Neki का अनावरण किया, जिसे शार्डेड Postgres बताया गया है, और लॉन्च लेख कंपनी के ब्लॉग पर आर्किटेक्चर और प्रेरणा की व्याख्या करता है।

सुरक्षा और नेटवर्किंग

एक गंभीर RCE Forgejo 16.0.3 तक को प्रभावित करता है, और 16.0.4 के लिए पैच किए गए रिलीज़ नोट्स प्रकाशित किए गए हैं। Proxylity ने सर्वरलेस DTLS के लिए दस्तावेज़ प्रकाशित किए, जो कवर करते हैं कि स्थायी अवसंरचना प्रबंधित किए बिना डेटाग्राम TLS लिसनर कैसे चलाए जा सकते हैं।

Byte Byte Go ने एप्लिकेशन नेटवर्किंग मूल बातों की एक मार्गदर्शिका प्रकाशित की, जो सामान्य एप्लिकेशन ट्रैफ़िक के नीचे स्थित परतों और प्रोटोकॉलों से गुज़रती है।

हार्डवेयर, विमानन और जाँच

NTSB ने मियामी में B-767 रनवे एक्सकर्शन पर एक जाँच अपडेट जारी किया, जो चल रही जाँच में विवरण जोड़ता है।

उपकरण, डेटा और Show HN

एक Show HN ने MultiMatte पेश किया, जो Feyn में Shreyash का एक प्रॉम्प्ट-योग्य बैकग्राउंड रिमूवल मॉडल है जो उपयोगकर्ताओं को छवि में किसी वस्तु का नाम देकर मैट को लक्षित करने देता है। एक अन्य Show HN ने Syq प्रस्तुत किया, जो एक फ़ाइल-कॉपी उपकरण है जिसे rsync के तेज़ विकल्प के रूप में कई समानांतर कनेक्शनों और जहाँ उपलब्ध हो वहाँ सीधे एन्क्रिप्टेड TCP का उपयोग करके बनाया गया है।

Proof of Capture नामक स्टेग्नोग्राफ़ी-आधारित प्रोजेक्ट Apple के Reference Image दृष्टिकोण का ओपन-सोर्स रूप प्रदान करता है। स्ट्रीमिंग लागतों के एक विश्लेषण में पाया गया कि वही नौ सदस्यताएँ अब 2021 की तुलना में $702/वर्ष अधिक चलती हैं।

Microsoft के Old New Thing ब्लॉग ने उत्तर दिया कि Windows XP ने कौन-सा एल्गोरिद्म इस्तेमाल किया आपकी प्रारंभिक उपयोगकर्ता तस्वीर चुनने के लिए। एक अतिथि पोस्ट ने $998 में 3.8B LLM को प्रशिक्षित करने का विवरण दिया, जिसमें 0.384 CORE प्राप्त हुआ, और Hugo Vergnes ने पूर्ण परिणाम प्रकाशित किए।

संस्कृति, समाज और वेब

NASA की मंगल के लिए विकसित रंग ट्रिक अब पृथ्वी पर रॉक आर्ट को उजागर करने के लिए उपयोग की जा रही है। केबल्स के बड़े डिब्बे पर एक चिंतन उन भौतिक स्पेयरों को रखने की वकालत करता है जो मरम्मत संभव बनाते हैं।

"I think I hate the internet" शीर्षक वाला एक निबंध Facebook और Instagram छोड़ने का वर्णन करता है। सॉफ़्टवेयर लोगों को पागल कैसे करता है पर एक लेख इस क्षेत्र में काम करने के संचयी मनोवैज्ञानिक बोझ की जाँच करता है।

असली रचनात्मकता को आपकी नई खाई पर एक निबंध तर्क देता है कि जैसे-जैसे जनरेशन सस्ता होता जाता है, मौलिकता ही टिकाऊ विभेदक है। Vester ने शारीरिक विचित्रताओं का एक संग्रह प्रकाशित किया, जो असामान्य मानव जीव विज्ञान की खोज करता है।

एक डेटा-आधारित लेख ने पूछा कि संघर्ष में लोग किससे बात करते हैं, और कठिन क्षणों में लोग जिन नेटवर्कों पर निर्भर रहते हैं उन्हें चार्ट किया। एक उपभोक्ता-अधिकार विकी ने खिलाड़ियों के अपने डिजिटल गेम "रखने" के बारे में Sony वेबसाइटों पर संदर्भ संकलित किए, जो PlayStation स्वामित्व मुकदमे से जुड़े हैं।

Tech Radar ने रिपोर्ट किया कि Siri Recaps आपकी Apple Watch को सुनते रहने देते हैं, जो Meta-glasses-शैली की गोपनीयता चिंताएँ उठाता है। एक इतिहास लेख ने पहली नशे में ड्राइविंग सजा को ट्रेस किया, जो संभवतः लंदन में हुई थी।

The Collector ने Casablanca के अप्रस्तुत नाटक की कहानी सुनाई और बताया कि कैसे वह फ़िल्म इतिहास में चला गया। एक संगीत संसाधन, Music Theory for the 21st-Century Classroom, एक शिक्षण संदर्भ के रूप में प्रचलन में है।

Terence Tao ने बच्चों और गणितीय खोज पर विचार किया, और इस पंक्ति का स्मरण किया कि सभी बड़े लोग कभी बच्चे थे लेकिन कुछ ही इसे याद रखते हैं। Brown University के Costs of War पेपर ने जाँचा कि Big Tech कैसे बदल रहा है सैन्य-औद्योगिक परिसर को। और हल्के-फुल्के मनोरंजन के लिए, Turdle.fun एक अनुमान लगाने वाला खेल प्रदान करता है जो "Who Dung It?" प्रश्न का उत्तर देता है।