लेखक: प्रोहोस्टर

सोनी PlayStation 5 लाँच करून 100 दशलक्ष PS4 कन्सोलची विक्री करणार आहे

सोनीने 31 मार्च 2019 रोजी संपलेल्या आर्थिक वर्षाचे अहवाल प्रकाशित केले. सादर केलेल्या डेटाच्या आधारे, आम्ही असा निष्कर्ष काढू शकतो की PlayStation4 हार्डवेअरच्या विक्रीमध्ये थोडीशी मंदी असूनही, कन्सोल स्वतः अजूनही प्रभावी दराने विकत आहे. सध्या, PS96,8 च्या 4 दशलक्ष प्रती जगभरात विकल्या गेल्या आहेत, याचा अर्थ एकूण […]

वैज्ञानिक आणि तांत्रिक केंद्र "मॉड्यूल" ने उच्च-परिशुद्धता नेव्हिगेशनसाठी एक रिसीव्हर सादर केला

सर्वात मोठ्या रशियन विकसकांपैकी एक, वैज्ञानिक आणि तांत्रिक केंद्र "मॉड्यूल", नेव्हिगेशनवर आले. आतापर्यंत, केंद्राच्या मालमत्तेमध्ये नियंत्रक आणि मायक्रोप्रोसेसरचा समावेश होता. क्रियाकलापांचे नवीन क्षेत्र रशियन विकसकांचा अनुभव आणि ऑफर विस्तृत करेल. विशेषतः, 2024 पर्यंत रशियामधील या बाजारपेठेतील 15-18% व्यापण्याची अपेक्षा ठेवून, Modul उच्च-परिशुद्धता नेव्हिगेशन उपकरणांच्या बाजारपेठेत प्रवेश करणार आहे, […]

भविष्यातील इंटेल व्हिडिओ कार्ड एकात्मिक ग्राफिक्स आर्किटेक्चरसह एकत्रित केले जातील

या वर्षाच्या फेब्रुवारीमध्ये इंटेलच्या वेबसाइटवर प्रथम दिसलेल्या वार्षिक अहवालात, कंपनीने, पूर्णपणे स्पष्ट नसलेल्या कारणास्तव, स्वतंत्र ग्राफिक्स सोल्यूशन विकसित केले जात असल्याचे म्हटले आहे, "त्याच्या इतिहासातील पहिले," जरी उद्योग विकास तज्ञांना हे लक्षात असेल की इंटेल मागील शतकाच्या नव्वदच्या दशकाच्या मध्यात वेगळे व्हिडिओ कार्ड्ससह आपले नशीब आजमावले. मूलत:, एक स्वतंत्र ग्राफिक्स सोल्यूशन विकसित करणे […]

Windows 10 कमीत कमी 32 GB पर्यंत "चरबी" वाढवेल

मायक्रोसॉफ्टने एकदा जाहीर केले की ते अपडेट फायली संचयित करण्यासाठी वापरकर्त्याच्या हार्ड ड्राइव्हवर सुमारे 7 GB जागा वापरेल. या दृष्टिकोनाचा फायदा असा आहे की हे सुनिश्चित करेल की अद्यतनाच्या मध्यभागी तुमची जागा संपणार नाही. गैरसोय सामान्य आहे - स्वस्त टॅब्लेट आणि लॅपटॉपवर पुरेशी जागा नाही. पूर्वी किमान आवश्यकता असल्यास […]

लांडगा, शेळी आणि कोबी समस्येचे उदाहरण वापरून औपचारिक सत्यापन

माझ्या मते, इंटरनेटच्या रशियन-भाषेच्या क्षेत्रात, औपचारिक पडताळणीचा विषय पुरेसा कव्हर केलेला नाही आणि विशेषतः साध्या आणि स्पष्ट उदाहरणांचा अभाव आहे. मी परदेशी स्त्रोताकडून एक उदाहरण देईन आणि नदीच्या पलीकडे लांडगा, बकरी आणि कोबी ओलांडण्याच्या सुप्रसिद्ध समस्येवर माझे स्वतःचे समाधान जोडेन. परंतु प्रथम, मी औपचारिक सत्यापन काय आहे आणि का आहे याचे थोडक्यात वर्णन करेन [...]

सुरवातीपासून औपचारिक सत्यापन प्रणाली तयार करणे. भाग 1: PHP आणि Python मध्ये वर्ण आभासी मशीन

औपचारिक पडताळणी म्हणजे एक प्रोग्राम किंवा अल्गोरिदमचा दुसरा वापर करून पडताळणी. ही सर्वात शक्तिशाली पद्धतींपैकी एक आहे जी तुम्हाला प्रोग्राममधील सर्व भेद्यता शोधू देते किंवा ते अस्तित्वात नाही हे सिद्ध करू देते. औपचारिक पडताळणीचे अधिक तपशीलवार वर्णन माझ्या मागील लेखातील लांडगा, शेळी आणि कोबी समस्येचे निराकरण करण्याच्या उदाहरणामध्ये पाहिले जाऊ शकते. या लेखात मी […]

रिअल टाइममध्ये पीएचपी स्क्रिप्टची आकडेवारी आणि निरीक्षण. ClickHouse आणि Grafana पिनबाच्या मदतीला येतात

या लेखात मी तुम्हाला pinba_engine आणि pinboard ऐवजी clickhouse आणि grafana सह pinba कसे वापरायचे ते सांगेन. PHP प्रकल्पावर, कार्यप्रदर्शनासह काय घडत आहे हे समजून घेण्यासाठी पिनबा हा कदाचित एकमेव विश्वसनीय मार्ग आहे. खरे आहे, पिनबा सामान्यतः तेव्हाच अंमलात आणला जातो जेव्हा समस्या आधीच पाळल्या जातात आणि "कोठे खोदायचे" हे स्पष्ट नसते. बर्‍याचदा कोणालाही कल्पना नसते की प्रति सेकंद/मिनिटात किती वेळा […]

चुकीच्या ठिकाणी समस्या शोधत आहे

ही वास्तविक सरावाची एक छोटीशी कथा आहे, जेव्हा एखादी छोटीशी समस्या, दोष सहिष्णुतेच्या वेशात, डोकेदुखीमध्ये बदलते. लहान स्वभाव: एक लहान शाखा, डेस्कटॉप हार्डवेअरवर आधारित स्वतःचे PBX ​​(तारका + FreePBX) आहे आणि 1C सह समान स्थानिक टर्मिनल सर्व्हर, एक फाइल डंप आणि एक आभासी RO डोमेन नियंत्रक आहे. इंटरनेट Mikrotik वितरित करते. शाखा लहान आहे, त्यांच्यासाठी ते पुरेसे आहे. हे सर्व सुरू झाले […]

"कृपया लक्षात ठेवा" #2: उत्पादन विचार, वर्तणूक मानसशास्त्र आणि वैयक्तिक उत्पादकता यावरील लेखांचे डायजेस्ट

तंत्रज्ञान, लोक आणि त्यांचा एकमेकांवर कसा प्रभाव पडतो याविषयी साप्ताहिक डायजेस्टच्या मालिकेतील हे दुसरे आहे. अँडी जोन्स (माजी-वेल्थफ्रंट, फेसबुक, ट्विटर, क्वोरा) स्टार्टअपमध्ये सुसंवादी उत्पादन वाढ कशी करावी याबद्दल. त्यांच्या उद्योगातील सर्वोत्तम तंत्रज्ञान कंपन्यांकडून छान कल्पना, आकडेवारी आणि उदाहरणे. 19 पृष्ठांचे इलेक्ट्रॉनिक पुस्तक, कोणालाही वाचण्याची शिफारस केली जाते […]

फ्रीबीएसडी बेस सिस्टम पॅकेज स्प्लिटिंगची चाचणी करत आहे

TrueOS प्रोजेक्टने FreeBSD 12-STABLE आणि FreeBSD 13-CURRENT च्या प्रायोगिक बिल्डच्या चाचणीची घोषणा केली आहे, जे मोनोलिथिक बेस सिस्टमला परस्पर जोडलेल्या पॅकेजेसच्या संचामध्ये रूपांतरित करते. बिल्ड्स pkgbase प्रोजेक्टचा भाग म्हणून विकसित केल्या आहेत, जे बेस सिस्टम बनवणारे पॅकेजेस व्यवस्थापित करण्यासाठी नेटिव्ह pkg पॅकेज मॅनेजर वापरण्यासाठी साधने प्रदान करतात. स्वतंत्र पॅकेजेसच्या स्वरूपात वितरण आपल्याला मूलभूत अद्यतनित करण्याची प्रक्रिया लक्षणीयरीत्या सुलभ करण्यास अनुमती देते […]

ब्लू ओरिजिनने शॅकलटनच्या जहाजाचा एक रहस्यमय फोटो ट्विट केला आहे

अंटार्क्टिकाचा अभ्यास करणार्‍या प्रसिद्ध संशोधक अर्नेस्ट शॅकलटनच्या जहाजाचे छायाचित्र ब्लू ओरिजिनच्या अधिकृत ट्विटर पेजवर दिसले. 5.9.19 pic.twitter.com/BzvwCsDM2T — ब्लू ओरिजिन (@blueorigin) 26 एप्रिल, 2019 फोटोला 9 मे या तारखेसह कॅप्शन दिले आहे आणि कोणतेही वर्णन नाही, त्यामुळे आम्ही फक्त अंदाज करू शकतो की शॅकलटनचे मोहीम जहाज जेफच्या अंतराळाशी कसे जोडलेले आहे बेझोस कंपनी. असे गृहीत धरले जाऊ शकते [...]

Apache फाउंडेशनने त्यांचे Git भांडार GitHub वर हलवले आहे

Apache Foundation ने घोषणा केली की त्यांनी GitHub सोबत पायाभूत सुविधा एकत्रित करण्याचे काम पूर्ण केले आहे आणि त्यांच्या सर्व git सेवा GitHub वर स्थलांतरित केल्या आहेत. सुरुवातीला, Apache प्रकल्प विकसित करण्यासाठी दोन आवृत्ती नियंत्रण प्रणाली ऑफर केल्या गेल्या: केंद्रीकृत आवृत्ती नियंत्रण प्रणाली सबव्हर्जन आणि विकेंद्रित प्रणाली Git. 2014 पासून, Apache रिपॉझिटरी मिरर GitHub वर लॉन्च केले गेले आहेत, केवळ-वाचनीय मोडमध्ये उपलब्ध आहेत. आता […]