ავტორი: პროჰოსტერი

Sony გაყიდის 5 მილიონზე მეტ PS100 კონსოლს PlayStation 4-ის გამოსვლით

Sony-მ გამოაქვეყნა ანგარიშები ფინანსური წლისთვის, რომელიც დასრულდა 31 წლის 2019 მარტს. წარმოდგენილი მონაცემებიდან გამომდინარე, შეგვიძლია დავასკვნათ, რომ PlayStation4 ტექნიკის გაყიდვების მცირე შენელების მიუხედავად, თავად კონსოლი მაინც შთამბეჭდავი ტემპით იყიდება. ამჟამად, PS96,8-ის 4 მილიონი ეგზემპლარი გაიყიდა მთელ მსოფლიოში, რაც ნიშნავს […]

სამეცნიერო-ტექნიკურმა ცენტრმა „მოდულმა“ წარმოადგინა მაღალი სიზუსტის ნავიგაციის მიმღები

ნავიგაციაში მოვიდა ერთ-ერთი უდიდესი რუსი დეველოპერი, სამეცნიერო და ტექნიკური ცენტრი "მოდული". აქამდე ცენტრის აქტივები მოიცავდა კონტროლერებსა და მიკროპროცესორებს ფართო მიზნებისთვის. საქმიანობის ახალი სფერო გააფართოვებს რუსი დეველოპერების გამოცდილებას და შეთავაზებას. კერძოდ, Modul აპირებს შევიდეს მაღალი სიზუსტის სანავიგაციო მოწყობილობების ბაზარზე და 2024 წლისთვის რუსეთში ამ ბაზრის 15-18%-ს დაიკავებს, […]

მომავალი Intel-ის ვიდეო ბარათები იქნება გაერთიანებული ინტეგრირებული გრაფიკული არქიტექტურით

ყოველწლიურ ანგარიშში, რომელიც პირველად გამოჩნდა Intel-ის ვებსაიტზე მიმდინარე წლის თებერვალში, კომპანია, არც თუ ისე აშკარა მიზეზების გამო, უწოდებს შემუშავებულ დისკრეტულ გრაფიკულ გადაწყვეტას „პირველს თავის ისტორიაში“, თუმცა ინდუსტრიის განვითარების ექსპერტებს შეიძლება ახსოვთ, რომ Intel სცადა ბედი დისკრეტული ვიდეო ბარათებით გასული საუკუნის ოთხმოცდაათიანი წლების შუა ხანებში. არსებითად, დისკრეტული გრაფიკული გადაწყვეტის შემუშავება […]

Windows 10 „გამსუქდება“ მინიმუმ 32 გბ-მდე

Microsoft-მა ერთხელ გამოაცხადა, რომ ის გამოიყენებდა დაახლოებით 7 გბ ადგილს მომხმარებლის მყარ დისკზე განახლებული ფაილების შესანახად. ამ მიდგომის სარგებელი ის არის, რომ ის უზრუნველყოფს, რომ არ ამოიწუროთ სივრცე განახლების შუა პერიოდში. მინუსი არის ბანალური - უბრალოდ არ არის საკმარისი ადგილი იაფი ტაბლეტებსა და ლეპტოპებზე. თუ მანამდე მინიმალური მოთხოვნა […]

ფორმალური გადამოწმება მგლის, თხისა და კომბოსტოს პრობლემის მაგალითის გამოყენებით

ჩემი აზრით, ინტერნეტის რუსულენოვან სექტორში ფორმალური გადამოწმების თემა საკმარისად არ არის დაფარული და განსაკუთრებით მარტივი და ნათელი მაგალითების ნაკლებობაა. მაგალითს მოვიყვან უცხოური წყაროდან და ჩემს გადაწყვეტას დავამატებ ცნობილ პრობლემას, მგლის, თხისა და კომბოსტოს გაღმა გადაკვეთას. მაგრამ პირველ რიგში, მოკლედ აღვწერ რა არის ფორმალური გადამოწმება და რატომ [...]

ფორმალური გადამოწმების სისტემის შექმნა ნულიდან. ნაწილი 1: პერსონაჟების ვირტუალური მანქანა PHP-სა და Python-ში

ფორმალური გადამოწმება არის ერთი პროგრამის ან ალგორითმის გადამოწმება მეორის გამოყენებით. ეს არის ერთ-ერთი ყველაზე ძლიერი მეთოდი, რომელიც საშუალებას გაძლევთ იპოვოთ ყველა დაუცველობა პროგრამაში ან დაამტკიცოთ, რომ ისინი არ არსებობს. ფორმალური გადამოწმების უფრო დეტალური აღწერა შეგიძლიათ იხილოთ ჩემს წინა სტატიაში მგლის, თხისა და კომბოსტოს პრობლემის გადაჭრის მაგალითში. ამ სტატიაში მე […]

PHP სკრიპტების სტატისტიკა და მონიტორინგი რეალურ დროში. ClickHouse და Grafana ეხმარებიან პინბას

ამ სტატიაში მე გეტყვით, თუ როგორ გამოიყენოთ pinba clickhouse-ით და grafana-ით pinba_engine-ისა და pinboard-ის ნაცვლად. PHP პროექტზე, pinba არის ალბათ ერთადერთი საიმედო გზა იმის გასაგებად, თუ რა ხდება შესრულებასთან დაკავშირებით. მართალია, პინბა ჩვეულებრივ ხორციელდება მხოლოდ მაშინ, როდესაც პრობლემები უკვე შეინიშნება და გაუგებარია "სად გათხრა". ხშირად არავის არ აქვს წარმოდგენა რამდენჯერ წამში/წუთში […]

ეძებთ პრობლემას არასწორ ადგილას

ეს არის მოკლე ისტორია რეალური პრაქტიკიდან, როდესაც პატარა პრობლემა, კარგად შენიღბული შეცდომის ტოლერანტობით, თავის ტკივილში იქცევა. მცირე განლაგება: პატარა ფილიალი, მას აქვს საკუთარი PBX (ვარსკვლავი + FreePBX) დაფუძნებული დესკტოპის აპარატურაზე და იგივე ლოკალური ტერმინალის სერვერი 1C-ით, ფაილის ნაგავსაყრელი და ვირტუალური RO დომენის კონტროლერი. ინტერნეტი ავრცელებს Mikrotik-ს. ტოტი პატარაა, ეს მათთვის საკმარისია. ყველაფერი დაიწყო […]

„გთხოვთ გაითვალისწინოთ“ #2: სტატიების დაიჯესტი პროდუქტის აზროვნების, ქცევითი ფსიქოლოგიის და პიროვნული პროდუქტიულობის შესახებ

ეს არის მეორე ყოველკვირეული შეჯამების სერიიდან ტექნოლოგიების, ადამიანების და ერთმანეთზე გავლენის შესახებ. ენდი ჯონსი (ყოფილი Wealthfront, Facebook, Twitter, Quora) როგორ შევქმნათ პროდუქტის ჰარმონიული ზრდა სტარტაპში. მაგარი იდეები, სტატისტიკა და მაგალითები საუკეთესო ტექნიკური კომპანიებისგან თავიანთ ინდუსტრიაში. ელექტრონული წიგნი 19 გვერდიანი, რომლის წაკითხვა რეკომენდებულია ყველას […]

FreeBSD ბაზის სისტემის პაკეტის გაყოფის ტესტირება

TrueOS Project-მა გამოაცხადა FreeBSD 12-STABLE და FreeBSD 13-CURRENT-ის ექსპერიმენტული კონსტრუქციების ტესტირება, რომლებიც გარდაქმნის მონოლითურ საბაზისო სისტემას ურთიერთდაკავშირებულ პაკეტებად. ნაგებობები შემუშავებულია, როგორც pkgbase პროექტის ნაწილი, რომელიც უზრუნველყოფს ინსტრუმენტებს მშობლიური pkg პაკეტის მენეჯერის გამოსაყენებლად პაკეტების მართვისთვის, რომლებიც ქმნიან საბაზო სისტემას. ცალკეული პაკეტების სახით მიწოდება საშუალებას გაძლევთ მნიშვნელოვნად გაამარტივოთ ძირითადი […]

Blue Origin-მა გამოაქვეყნა შეკლტონის გემის იდუმალი ფოტო

Blue Origin Twitter-ის ოფიციალურ გვერდზე გამოჩნდა ცნობილი მკვლევარის ერნესტ შეკლტონის გემის ფოტო, რომელიც სწავლობდა ანტარქტიდას. 5.9.19 pic.twitter.com/BzvwCsDM2T — Blue Origin (@blueorigin) April 26, 2019 ფოტო დატანილია თარიღით 9 მაისი და არ არის აღწერილობა, ასე რომ ჩვენ შეგვიძლია მხოლოდ გამოვიცნოთ როგორ უკავშირდება შეკლტონის საექსპედიციო ხომალდი ჯეფის სივრცეს. კომპანია ბეზოსი. შეიძლება ვივარაუდოთ [...]

Apache Foundation-მა Git-ის საცავი GitHub-ში გადაიტანა

Apache Foundation-მა გამოაცხადა, რომ დაასრულა მუშაობა GitHub-თან მისი ინფრასტრუქტურის ინტეგრირებაზე და მისი ყველა git სერვისის GitHub-ზე გადატანაზე. თავდაპირველად, ორი ვერსიის კონტროლის სისტემა იყო შემოთავაზებული Apache პროექტების განვითარებისთვის: ცენტრალიზებული ვერსიის კონტროლის სისტემა Subversion და დეცენტრალიზებული სისტემა Git. 2014 წლიდან GitHub-ზე ამოქმედდა Apache-ს საცავების სარკეები, რომლებიც ხელმისაწვდომია მხოლოდ წაკითხვის რეჟიმში. ახლა […]