आर्काइव | GeekNews

◀ पिछला साल | ◁ पिछला महीना | << पिछला सप्ताह | < पिछला दिन | 2026-07-30
1
 

फ़्रांसीसी संगीतकार Kavinsky पेरिस स्थित घर में मृत पाए गए

 (euronews.com)
‘Nightcall’ के लिए मशहूर फ़्रांसीसी DJ Kavinsky पेरिस स्थित अपने घर में मृत पाए गए, और मौत के कारण की जांच शुरू हो गई है.
1 पॉइंट द्वारा GN⁺ 2 시간 전 | 1 टिप्पणियां
2
 

Superlogical - हर काम के लिए एक multiplexer

 (superlogical.com)
Superlogical एक ऐसा persistent work multiplexer बना रहा है जो terminal sessions, remote work, agents और production workflows को एक ही context में जोड़ता है.
1 पॉइंट द्वारा GN⁺ 2 시간 전 | 1 टिप्पणियां
3
 

TurboFieldfare - सभी M सीरीज़ Mac पर 2GB RAM में Gemma 4 26B चलाने वाला ओपन सोर्स इंजन

 (github.com/drumih)
TurboFieldfare 8GB Apple Silicon Mac पर भी लगभग 2GB RAM में Gemma 4 26B चलाने के लिए SSD-streamed MoE weights वाला ओपन सोर्स runtime प्रदान करता है.
1 पॉइंट द्वारा GN⁺ 3 시간 전 | 1 टिप्पणियां
4
 

डेमोसीन का यूज़र इंटरफ़ेस

 (datagubbe.se)
डेमोसीन ने अपने टूल्स के ज़रिए प्रयोगधर्मी, चमकदार और अक्सर उलझे हुए UI की एक अनोखी संस्कृति बनाई, जो Amiga से लेकर PC तक फैल गई।
1 पॉइंट द्वारा GN⁺ 6 시간 전 | 1 टिप्पणियां
5
 

KOReader

 (koreader.rocks)
KOReader एक E Ink दस्तावेज़ व्यूअर है जो कई ई-बुक और दस्तावेज़ फ़ॉर्मैट को Kindle, Kobo, PocketBook, Android और डेस्कटॉप Linux पर खोल सकता है.
1 पॉइंट द्वारा GN⁺ 6 시간 전 | 1 टिप्पणियां
6
 

प्रोग्राम वेरिफिकेशन में Rocq, Lean से बेहतर क्यों है

 (joomy.korkutblech.com)
गणितीय formalization में Lean तेज़ी से बढ़ रहा है, लेकिन executable program verification, native coinduction, extraction paths और परिपक्व verification ecosystem के कारण Rocq अभी अधिक उपयुक्त माना गया है।
1 पॉइंट द्वारा GN⁺ 7 시간 전 | टिप्पणियां और चर्चा