41
 

सिर्फ Lean ही क्यों न इस्तेमाल करें

 (lawrencecpaulson.github.io)
Lean गणितीय formalization में शक्तिशाली है, लेकिन लेख का तर्क है कि Isabelle, HOL, AUTOMATH, ACL2 और Mizar जैसी दूसरी परंपराएँ भी अब भी ठोस कारणों से महत्वपूर्ण हैं.
1 पॉइंट द्वारा GN⁺ 1 일 전 | 1 टिप्पणियां
42
 

छात्रों के लिए

 (ozark.hendrix.edu)
कंप्यूटिंग के बदलते माहौल में छात्रों के लिए यह संदेश है कि वे मुनाफे और गति से ऊपर लोगों, नैतिकता और गहराई से सोचने को रखें.
1 पॉइंट द्वारा GN⁺ 1 일 전 | 1 टिप्पणियां
43
 

Warp का ओपन सोर्स में बदलाव और agent-केंद्रित development model की घोषणा

 (x.com/zachlloydtweets)
Warp ने अपने क्लाइंट को AGPL के तहत open source करने और Oz के साथ agent-first development workflow अपनाने की घोषणा की है।
4 पॉइंट द्वारा ragingwind 1 일 전 | 1 टिप्पणियां
44
 

GitHub में इस समय आउटेज चल रहा है

 (githubstatus.com)
GitHub में फिलहाल Pull Requests की performance degradation चल रही है, जबकि बाकी प्रमुख services operational हैं.
1 पॉइंट द्वारा GN⁺ 1 일 전 | 1 टिप्पणियां
45
 

Super ZSNES - GPU-आधारित SNES emulator

 (zsnes.com)
Super ZSNES एक GPU-आधारित SNES emulator है, जो hi-res enhancements, 3D effects और कई usability features के साथ अभी early build चरण में उपलब्ध है.
1 पॉइंट द्वारा GN⁺ 1 일 전 | 1 टिप्पणियां
46
 

Quarkdown - उन्नत क्षमताओं वाला Markdown

 (quarkdown.com)
Quarkdown Markdown में LaTeX-स्तर की typesetting, कई document types, live preview और scripting जोड़कर docs, books, slides और knowledge base के लिए एक शक्तिशाली open source टूल देता है.
2 पॉइंट द्वारा GN⁺ 1 일 전 | 1 टिप्पणियां
47
 

Warp ने terminal-आधारित Agentic Development Environment को open source किया

 (github.com/warpdotdev)
Warp ने अपने terminal client को open source किया है और AI agents की मदद से open source contribution के लिए एक नया workflow भी प्रस्तावित किया है।
6 पॉइंट द्वारा happyhaki 1 일 전 | 4 टिप्पणियां
48
 

नीदरलैंड के केंद्रीय बैंक ने AWS छोड़कर European Cloud के लिए Lidl को चुना

 (techzine.eu)
नीदरलैंड का केंद्रीय बैंक अमेरिकी क्लाउड निर्भरता घटाने के लिए AWS से हटकर Lidl-backed Stackit जैसे यूरोपीय क्लाउड विकल्प की ओर बढ़ रहा है.
1 पॉइंट द्वारा GN⁺ 1 일 전 | 1 टिप्पणियां
49
 

1930 का 13B विंटेज भाषा मॉडल Talkie

 (talkie-lm.com)
Talkie 1931 से पहले के अंग्रेज़ी टेक्स्ट पर प्रशिक्षित 13B विंटेज भाषा मॉडल है, जिसे temporal leakage, data quality और contamination-मुक्त evaluation जैसे शोध प्रश्नों के लिए बनाया गया है.
1 पॉइंट द्वारा GN⁺ 1 일 전 | 1 टिप्पणियां
50
 

dirac-run/dirac

 (github.com/dirac-run)
घनी context curation, structure-aware editing और कम लागत पर फोकस करने वाला open source coding agent Dirac ने Terminal-Bench-2 में 65.2% और 8 में 8 refactoring tasks में सफलता दर्ज की।
1 पॉइंट द्वारा GN⁺ 1 일 전 | 1 टिप्पणियां
51
 

चीन ने Meta की AI startup Manus के अधिग्रहण को रोका

 (cnbc.com)
चीन ने विदेशी निवेश नियमों का हवाला देते हुए Meta की Manus खरीद रुकवा दी, जिससे Singapore-washing मॉडल और चीनी AI startups के विदेश जाने की प्रवृत्ति पर असर पड़ा है.
1 पॉइंट द्वारा GN⁺ 1 일 전 | 1 टिप्पणियां
52
 

VibeVoice - ओपन सोर्स फ्रंटियर वॉइस AI मॉडल

 (github.com/microsoft)
Microsoft की VibeVoice ओपन सोर्स वॉइस AI मॉडल फैमिली TTS, ASR, multilingual support और real-time capabilities के साथ आई है।
26 पॉइंट द्वारा xguru 1 일 전 | 1 टिप्पणियां
53
 

क्या मेरा नीला आपके नीले जैसा है?

 (ismy.blue)
नीले और हरे के बीच की सीमा को समझने के लिए यह छोटा इंटरैक्टिव टेस्ट आपको दिखाए गए रंग को दो श्रेणियों में से एक में वर्गीकृत करने देता है।
1 पॉइंट द्वारा GN⁺ 2 일 전 | 2 टिप्पणियां
54
 

हार्नेस इंजीनियरिंग: मॉडल से ज़्यादा अहम है वर्क एनवायरनमेंट डिज़ाइन का दौर

 (addyosmani.com)
Coding AI की क्षमता सिर्फ मॉडल से नहीं, बल्कि उसके आसपास बने harness के डिज़ाइन, नियमों, tools और context management से तय होती है।
46 पॉइंट द्वारा ragingwind 2 일 전 | 10 टिप्पणियां
55
 

pgbackrest/pgbackrest

 (github.com/pgbackrest)
PostgreSQL backup-restore tool pgBackRest अब maintenance में नहीं है, हालांकि यह large-scale environments, multiple repositories और मजबूत integrity features के लिए जाना जाता था.
3 पॉइंट द्वारा GN⁺ 2 일 전 | 1 टिप्पणियां
56
 

Mercor से AI कॉन्ट्रैक्टर्स के 40,000 वॉइस सैंपल्स के 4TB डेटा का लीक

 (app.oravys.com)
Mercor के 4TB लीक में 40,000 से अधिक AI कॉन्ट्रैक्टर्स के वॉइस बायोमेट्रिक्स और सत्यापित IDs उजागर हुए, जिससे voice cloning आधारित fraud का जोखिम बढ़ गया है.
1 पॉइंट द्वारा GN⁺ 2 일 전 | 1 टिप्पणियां
57
 

दीवारों को घूरने वाले पुरुष

 (alexselimov.com)
जानकारी की अधिकता और dopamine stimulation के चक्र से बिगड़ती एकाग्रता को सुधारने के लिए लेखक कुछ मिनट दीवार को फोकस ढीला रखकर देखने की रूटीन अपनाता है।
2 पॉइंट द्वारा GN⁺ 2 일 전 | 1 टिप्पणियां
58
 

GitHub Copilot usage-based billing पर स्विच कर रहा है

 (github.blog)
GitHub Copilot 1 जून 2026 से usage-based billing पर जा रहा है, जहाँ सभी प्लान मासिक AI Credits के आधार पर बिल होंगे।
6 पॉइंट द्वारा GN⁺ 2 일 전 | 10 टिप्पणियां
59
 

HyperFrames - HTML से वीडियो बनाने के लिए AI एजेंट-उन्मुख ओपन सोर्स फ्रेमवर्क

 (github.com/heygen-com)
HyperFrames एक Apache 2.0 ओपन सोर्स फ्रेमवर्क है जो AI एजेंट्स के लिए शुद्ध HTML से MP4 वीडियो बनाने और render करने का workflow देता है।
21 पॉइंट द्वारा xguru 2 일 전 | 1 टिप्पणियां
60
 

Microsoft और OpenAI ने एक्सक्लूसिविटी और revenue-sharing समझौता समाप्त किया

 (bloomberg.com)
Microsoft और OpenAI ने एक्सक्लूसिविटी और revenue-sharing शर्तें बदल दी हैं, जिससे OpenAI अन्य cloud providers के साथ भी सौदे कर सकेगा।
4 पॉइंट द्वारा GN⁺ 2 일 전 | 1 टिप्पणियां