Категория: Блог

Новата версия на графичния драйвер NVIDIA причинява високо натоварване на CPU

Неотдавна компанията NVIDIA пусна версия на графичния драйвер 430.39 за платформата Windows с поддръжка на майското обновление на ОС от Microsoft. Освен всичко друго, новата версия на драйвера включва поддръжка на нови процесори, съвместими с технологията G-Sync на мониторите и др. Драйверът съдържа важни обновления, но някои потребители забелязаха, че използването му води до високи […]

Uber: нови инвестиции и подготовка за IPO

Изглежда, че нещата при Uber вървят по-добре от всякога. Вчера американската компания определи цената на акциите си в диапазона от 44 до 50 долара за ценна книга, според обновената информация от Комисията по ценни книжа и биржи на САЩ. Uber планира да предложи 180 милиона акции и да привлече около 9 милиарда долара по време на IPO. […]

От моделиране на процеси до проектиране на автоматизирана система (Част 2)

„Един ден от живота на білката“ или от моделироването на процеси до проектирането на автоматизирана система за учет на материални ценности „Білка-1.0“ (Част 2) Използвана е илюстрация към „Сказката за цар Салтан“ А.С. Пушкин, изд. „Детска литература“, Москва, 1949 г., Ленинград, рисунки К. Кузнецов Кратко съдържание на предишната серия В 1-ва част използвахме „сказочната“ предметна област, вдъхновени от примери за изучаване на диаграми UML с опора на […]

Уточняваме описанието на функциите на системата с помощта на диаграмата Sequence

Уточняваме описанието на функциите на системата с помощта на диаграма Sequence (продължение на „Белки“) В тази статия ще разгледаме как можем да детализираме (уточним) описанието на автоматизираната функция с помощта на UML Sequence Diagram — диаграма на последователностите. В този пример използвам средата Enterprise Architect на австралийската компания Sparx Systems [1]. Пълната спецификация на UML вижте тук [2]. Първо ще обясня, че ще […]

Тест: Как спазвате изискванията за обработка на лични данни?

Глобата за нарушаване на закона за личните данни възлиза на до 75 хил. рубли. Как да се защитите от нарушения при обработката на лични данни? Изпълнили ли сте всички изисквания на законодателството? От 1 юли 2017 г. глобите бяха увеличени и зависят от вида на нарушенията. Да, измина доста време, но както често се случва, особено в Русия, където, […]

Научно-техническият център «Модул» представи приемник за високо прецизно навигиране

Един от най-големите руски разработчици, научно-техническият център „Модул“, навлезе в навигационната сфера. До момента центърът разполагаше с контролери и микропроцесори с широко приложение. Новата сфера на дейност ще разшири опита и предложенията на руските разработчици. В частност, „Модул“ планира да навлезе на пазара на устройства за високоточна навигация, очаквайки до 2024 година да заеме 15-18 % от този пазар, […]

Windows 10 „ще увеличи“ минимално до 32 ГБ

Компанията Microsoft обяви, че ще използва около 7 ГБ дисково пространство на потребителя за съхранение на файлове за актуализации. Предимството на този подход е, че гарантира, че мястото няма да свърши по време на актуализацията. Недостатъкът обаче е очевиден — на евтини таблети и лаптопи просто няма да е достатъчно място. Ако преди минималното изискване […]

Формална верификация на примера на задачата за вълка, козата и зеле

Според мен, темата за формалната верификация в рускоязичния сектор на интернет не е достатъчно разяснена и особено липсват прости и ясни примери. Ще приведа такъв пример от чуждестранен източник и ще допълня със собственото си решение на известната задача за прехвърлянето на вълка, козата и зелето на другия бряг на реката. Но първо накратко ще опиша какво представлява формалната верификация и защо […]

Статистика и мониторинг на PHP скриптове в реално време. ClickHouse и Grafana идват на помощ на Pinba

В тази статия ще обясня как да използвате pinba заедно с clickhouse и grafana вместо pinba_engine и pinboard. В php проекта pinba — почти единственият надежден начин да разберете какво се случва с производителността. Истината е, че обикновено pinba се внедрява само когато вече възникват проблеми и не е ясно "откъде да започнем". Често никой няма представа колко пъти в секунда/минута се извиква […]

Търсим проблема не в това място

Това е една малка история от реалната практика, когато една малка проблематика, добре маскирана от отказоустойчивост, се превръща в главоболие. Малка диспозиция: Малък филиал с собствена АТС (asterisk + FreePBX) на базата на десктоп хардуер и същия местен терминален сървър с 1С, файлово хранилище и виртуален RO контролер на домейна. Интернетът идва чрез Mikrotik. Филиалът е малък, и им е достатъчно. Всичко започна […]

Тестиране на разделянето на основната система FreeBSD на пакети

Проект TrueOS обяви тестове на експериментални версии FreeBSD 12-STABLE и FreeBSD 13-CURRENT, в които монолитната базова система е преобразувана в набор от свързани пакети. Версиите се развиват в рамките на проекта pkgbase, който предоставя средства за работа с вграден мениджър на пакети pkg за управление на пакетите, образуващи базовата система. Предоставянето под формата на отделни пакети значително улеснява процеса на обновяване на базовата […]

Фондът Apache премести своите Git-репозитории на GitHub

Фонд Apache съобщи за завършване на работата по интеграцията на своята инфраструктура с GitHub и прехвърлянето на всички свои git услуги на GitHub. Първоначално за разработката на проекти Apache бяха предложени две системи за управление на версиите: централизирана система за управление на версиите Subversion и децентрализирана система Git. От 2014 година на GitHub бяха пуснати огледални репозитории на Apache, достъпни само за четене. Сега […]

Купете надежден хостинг за сайтове с защита от DDoS, VPS VDS сървъри 🔥 Купете надежден хостинг за сайтове с защита от DDoS, VPS VDS сървъри | ProHoster