Developer Community 24 Hours

अंतिम अपडेट: September 5, 2026, 2:08 PM ET

एआई और मॉडल

Anthropic की औपचारिक सत्यापन टीम ने Lean 4 में फ़र्मेट का अंतिम प्रमेय का प्रमाण पूरा किया है, यह एक ऐतिहासिक उपलब्धि है जिसे Kevin Buzzard ने विशिष्ट शालीनता के साथ स्वीकार किया, यह देखते हुए कि मशीन-जाँचित प्रमाण ने उनकी अपनी लंबी परियोजना को पीछे छोड़ दिया। इस बीच, Artificial Analysis Intelligence Index v4.2 जारी किया गया है, जो प्रमुख मॉडलों के लिए अद्यतन बेंचमार्क प्रदान करता है। कोड समीक्षा के मोर्चे पर, Code Rabbit की ओर से GPT-6 Astra का विस्तृत मूल्यांकन गोपनीयता और लागत के व्यापार-नापसंद के विरुद्ध पहचान सटीकता में लाभ की जाँच करता है। मॉडल अब OpenRouter पर भी उपलब्ध है प्रकाशित मूल्य निर्धारण और प्रदर्शन मेट्रिक्स के साथ। टोकन बजट पर नज़र रखने वालों के लिए, Spotify की इंजीनियरिंग टीम रिपोर्ट करती है कि उनके Portal टूल ने Claude Code के उपयोग को 90% तक कम कर दिया, जो AI-सहायता प्राप्त विकास कार्यप्रवाहों के लिए एक महत्वपूर्ण दक्षता जीत है।

सुरक्षा और बुनियादी ढांचा

सभी Chromium संस्करणों में एक गंभीर sandbox RCE सक्रिय रूप से शोषित किया जा रहा है, NVD के CVE-2026-85046 प्रविष्टि के अनुसार, जो ब्राउज़र या उसके व्युत्पन्नों का उपयोग करने वाले किसी भी व्यक्ति से तत्काल ध्यान देने की मांग करता है। इसी संदर्भ में, एक शोधकर्ता ने MikroTik के मौन पैच का विस्तृत उलटफेर प्रकाशित किया है Router OS 7.23.4 के लिए, उस सुधार को उजागर करते हुए जिसे कंपनी समझाना नहीं चाहती थी। शोषण की खिड़की वास्तविक है: पैच जारी होने के कुछ ही घंटों बाद एक सरकारी Rails साइट पर हमला किया गया, जो weaponization की गति को रेखांकित करता है। DNS के मोर्चे पर, Quad9 सुरक्षा और गोपनीयता के लिए अपनी मुफ्त रिकर्सिव सेवा जारी रखता है, जबकि Mullvad ने घोषणा की है कि वह अपने सार्वजनिक एन्क्रिप्टेड DNS सर्वरों को बंद कर रहा है और इसके बजाय Quad9 को प्रायोजित करेगा। नेटवर्क के दूसरे पहलू में रुचि रखने वालों के लिए, Tor exit node बनाने की एक मार्गदर्शिका 2015 से अभी भी एक उपयोगी प्रारंभिक बिंदु है।

डेवलपर टूल्स और प्लेटफ़ॉर्म

घटना प्रतिक्रिया में AI की भूमिका पर बहस जारी है, जिसमें एक उत्तेजक तर्क यह है कि जब AI घटनाओं को संभालता है, तो इंजीनियर अपने सिस्टम से संपर्क खो देते हैं। Moadim.io नामक एक नई ओपन-सोर्स परियोजना एजेंटों के लिए एक शेड्यूलर के रूप में शुरू की गई है, जो git संगतता, एजेंट-अज्ञेय संचालन, मल्टी-रनर समर्थन और MCP/UI/HTTP इंटरफेस का समर्थन करती है। इस बीच, val.town का ब्लॉग यह पता लगाता है कि गतिशील क्लाइंट पंजीकरण OAuth n-समस्या को कैसे हल करता है, हर ऐप को हर दूसरे ऐप से जोड़ता है। होस्टिंग के मोर्चे पर, Statichost.eu 100% यूरोपीय स्टैटिक साइट होस्टिंग प्रदान करता है, और Pushin.eu git होस्टिंग प्रदान करता है जो कभी भी यूरोप नहीं छोड़ती। Postgre SQL ट्यूनिंग के लिए, random_page_cost पर एक गहन अध्ययन भंडारण प्रभाव और लागत मॉडलिंग में नई अंतर्दृष्टि प्रदान करता है। HEIR कंपाइलर परियोजना ने होमोमोर्फिक एन्क्रिप्शन प्रगति पर अद्यतन प्रकाशित किए हैं, और .gitignore के लिए एक मार्गदर्शिका Go परियोजनाओं में डिफ़ॉल्ट रूप से सब कुछ अनदेखा करने की वकालत करती है।

हार्डवेयर और कंप्यूटिंग

AMD BC-250 चिप का उपयोग करके एक आकर्षक $60 गेमिंग PC निर्माण — वही सिलिकॉन जो PS5 को शक्ति देता है — बजट निर्माताओं के लिए उल्लेखनीय मूल्य प्रदर्शित करता है। Terpstra Keyboard एक अद्वितीय इनपुट डिवाइस डिज़ाइन प्रदान करता है जो एर्गोनॉमिक्स के प्रति उत्साही लोगों के लिए परीक्षण के योग्य है। AI-हार्डवेयर सीमा पर, एक बेंचमार्क विश्लेषण पूछता है कि क्या AI अभी तक सर्किट बोर्ड डिज़ाइन कर सकता है, जिसके परिणाम sobering हैं। और गणित और संगीत के एक रमणीय प्रतिच्छेदन में, Charles Petzold यह पता लगाते हैं कि क्या गिटार फ्रेट्स स्लाइड नियम की तरह गुणा कर सकते हैं।

समुदाय और संस्कृति

Wikimedia Foundation के कर्मचारियों ने CWA के साथ संघ बनाने के लिए भारी बहुमत से मतदान किया है, जो ओपन-सोर्स दुनिया में एक महत्वपूर्ण श्रम विकास है। पड़ोसियों पर एक व्यक्तिगत निबंध दर्शाता है कि कैसे Bob और Van राजनीति से पहले पड़ोसी थे, साझा मानवता की याद दिलाते हुए। खाद्य प्रणालियों में रुचि रखने वालों के लिए, बर्कले के शोधकर्ता यह पता लगाते हैं कि तम्बाकू उद्योग ने अति-प्रसंस्कृत खाद्य पदार्थों के उदय को कैसे प्रेरित किया। एक ProPublica पॉडकास्ट विस्तार से बताता है कि कैसे 3M ने "हमेशा के लिए रसायनों" (PFAS/PFOA) के ग्रह-परिवर्तनकारी खतरों को दशकों तक गुप्त रखा। Gallup रिपोर्ट करता है कि 89% अमेरिकी कहते हैं कि सरकारी भ्रष्टाचार व्यापक है, और संयुक्त राष्ट्र चेतावनी देता है कि वैश्विक तापमान 1.5-डिग्री सीमा से अधिक हो जाएगा, हालांकि रिपोर्ट खतरे के क्षेत्र से नीचे वापस लाने का एक रास्ता भी दिखाती है। यूरोपीय बैंक उत्तरी अमेरिका से सोना बाहर निकाल रहे हैं, जो भू-राजनीतिक हेजिंग के बारे में प्रश्न उठाता है।

रेट्रो और विविध

एक विचित्र Commodore 64 विज्ञापन जिसमें एक माइम और Spartan परिधीय शामिल है, एक गहन विखंडन से गुजरता है। Nitter पारिस्थितिकी तंत्र में तख्तापलट के बाद भी पहले की तुलना में अधिक कार्यशील उदाहरण हैं, जो Twitter के वैकल्पिक फ्रंट-एंड को बंद करने के प्रयासों के लिए एक लचीला प्रतिक्रिया है। और एक सेवा के रूप में आइकनों पर एक प्रतिबिंब वाचा के सन्दूक के उद्देश्य के साथ एक अप्रत्याशित समानांतर खींचता है। गहन तकनीकी संदर्भ के लिए, एक ByteByteGo व्याख्याकार MCP, RAG और AI एजेंटों के बीच अंतर को तोड़ता है, यह स्पष्ट करते हुए कि स्वायत्त प्रणालियों के निर्माण के लिए प्रत्येक दृष्टिकोण कब समझ में आता है।