Аутор: ПроХостер

Сони ће продати преко 5 милиона ПС100 конзола до лансирања ПлаиСтатион 4

Сони је објавио извештаје за финансијску годину која се завршила 31. марта 2019. На основу представљених података, можемо закључити да се упркос благом успоравању продаје ПлаиСтатион4 хардвера, сама конзола и даље продаје импресивном стопом. Тренутно је широм света продато 96,8 милиона примерака ПС4, што значи да је укупан […]

Научно-технички центар „Модул“ представио пријемник за навигацију високе прецизности

Један од највећих руских програмера, научно-технички центар „Модул“, дошао је у навигацију. До сада су имовина центра укључивала контролере и микропроцесоре за широк спектар намена. Нова област активности ће проширити искуство и понуду руских програмера. Конкретно, Модул ће ући на тржиште високо прецизних навигационих уређаја, очекујући да ће заузети 2024–15% овог тржишта у Русији до 18. године, […]

Будуће Интел видео картице ће бити уједињене са интегрисаном графичком архитектуром

У годишњем извештају, који се први пут појавио на сајту Интела у фебруару ове године, компанија, из не сасвим очигледних разлога, назива дискретно графичко решење које се развија „првим у својој историји“, иако се стручњаци за развој индустрије можда сећају да је Интел окушао је срећу са дискретним видео картицама средином деведесетих година прошлог века. У суштини, развој дискретног графичког решења […]

Виндовс 10 ће се „удебљати“ на најмање 32 ГБ

Мицрософт је једном најавио да ће користити око 7 ГБ простора на хард диску корисника за складиштење датотека за ажурирање. Предност овог приступа је што ће осигурати да вам не понестане простора усред ажурирања. Недостатак је баналан - једноставно нема довољно простора на јефтиним таблетима и лаптоповима. Ако је претходно минимални захтев […]

Формална верификација на примеру проблема вука, козе и купуса

По мом мишљењу, у сектору интернета на руском језику тема формалне верификације није довољно обрађена, а посебно недостају једноставни и јасни примери. Навешћу пример из страног извора, а добро познатом проблему преласка вука, козе и купуса на другу страну реке додаћу своје решење. Али прво ћу укратко описати шта је формална верификација и зашто [...]

Креирање формалног система верификације од нуле. Део 1: Виртуална машина карактера у ПХП-у и Питхон-у

Формална верификација је верификација једног програма или алгоритма помоћу другог. Ово је једна од најмоћнијих метода која вам омогућава да пронађете све рањивости у програму или докажете да оне не постоје. Детаљнији опис формалне верификације може се видети на примеру решавања проблема вука, козе и купуса у мом претходном чланку. У овом чланку […]

Статистика и праћење ПХП скрипти у реалном времену. ЦлицкХоусе и Графана долазе у помоћ Пинби

У овом чланку ћу вам рећи како да користите пинбу са цлицкхоусе и графаном уместо пинба_енгине и пинбоард-а. На ПХП пројекту, пинба је можда једини поуздан начин да се разуме шта се дешава са перформансама. Истина, пинба се обично примењује само када су проблеми већ уочени и није јасно „где копати“. Често нико нема појма колико пута у секунди у минути […]

Тражење проблема на погрешном месту

Ово је кратка прича из стварне праксе, када се мали проблем, добро прикривен толеранцијом грешака, претвори у главобољу. Мала диспозиција: Мала филијала, има сопствену ПБКС (астериск + ФрееПБКС) засновану на десктоп хардверу и исти локални терминал сервер са 1Ц, думп фајлова и виртуелни РО домен контролер. Интернет дистрибуира Микротик. Грана је мала, доста им је. Све је почело […]

„Напомена“ #2: Сажетак чланака о размишљању о производима, психологији понашања и личној продуктивности

Ово је други у низу недељних сажетака о технологији, људима и њиховом утицају једни на друге. Енди Џонс (бивши Веалтхфронт, Фацебоок, Твиттер, Куора) о томе како створити хармоничан раст производа у стартупу. Сјајне идеје, статистике и примери из најбољих технолошких компанија у својим индустријама. Електронска књига од 19 страница, препоручена за читање свима […]

Тестирање поделе пакета основног система ФрееБСД

ТруеОС пројекат је најавио тестирање експерименталних верзија ФрееБСД 12-СТАБЛЕ и ФрееБСД 13-ЦУРРЕНТ, које трансформишу монолитни основни систем у скуп међусобно повезаних пакета. Грађевине су развијене као део пкгбасе пројекта, који обезбеђује алате за коришћење изворног пкг менаџера пакета за управљање пакетима који чине основни систем. Испорука у облику засебних пакета омогућава вам да значајно поједноставите процес ажурирања основних […]

Блуе Оригин је твитовао мистериозну фотографију Шеклтоновог брода

На званичној Твитер страници Блуе Оригин појавила се фотографија брода познатог истраживача Ернеста Шеклетона, који је проучавао Антарктик. 5.9.19 пиц.твиттер.цом/БзввЦсДМ2Т — Блуе Оригин (@блуеоригин) 26. април 2019. Фотографија је потписана са датумом 9. мај и нема описа, тако да можемо само да нагађамо како је Шеклтонов експедицијски брод повезан са Џефовим свемиром компанија Безос. Може се претпоставити [...]

Фондација Апацхе је преместила своја Гит спремишта на ГитХуб

Фондација Апацхе је објавила да је завршила рад на интеграцији своје инфраструктуре са ГитХуб-ом и миграцији свих својих гит услуга на ГитХуб. У почетку су била понуђена два система контроле верзија за развој Апацхе пројеката: централизовани систем контроле верзија Субверсион и децентрализовани систем Гит. Од 2014. на ГитХуб-у су покренута огледала Апацхе репозиторија, доступна у режиму само за читање. Сада […]