🥇Статьи блога Блог. Все статьи по тематике Блог

Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python

Опубликовано 29.04.201918.02.2020

Формальная верификация — это проверка одной программы либо алгоритма с помощью другой. Это один из самых мощных методов, который позволяет найти в программе все уязвимости либо же доказать, что их нет. Более подробное описание формальной верификации можно увидеть на примере решения задачи о Волке, Козе, и капусте в моей предыдущей статье. В этой статье я […]

OnePlus подтвердила в тизере тройную тыльную камеру OnePlus 7 Pro

Опубликовано 29.04.201918.02.2020

В последние годы OnePlus имеет обыкновение говорить заранее о новых технологиях и функциях, которые могут появиться в следующем флагмане. Этот год казался другим: производитель едва ли произнёс и слово. Тем не менее, до запуска ещё много времени, и кажется, что маркетологи компании начинают выходить из спячки. К счастью для любопытных, последний тизер подтверждает наличие в […]

Docker: вредные советы

Опубликовано 29.04.201918.02.2020

Когда я учился водить машину, на первом же занятии инструктор выехал на перекресток задним ходом, а потом сказал, что делать так нельзя — вообще никогда. Это правило я запомнил сразу и на всю жизнь. Читаешь детям «Вредные советы» Григория Остера, и видишь, как легко и непринужденно до них доходит, что так делать нельзя. О том, […]

Pokemon Sword и Pokemon Shield создаются с уклоном в портативный режим Nintendo Switch

Опубликовано 29.04.201918.02.2020

В этом году Nintendo готовится выпустить первых «покемонов» основной серии на Nintendo Switch — Pokémon Sword и Pokémon Shield. Оба проекта должны выйти в конце года, и компания раскрыла, что они разрабатываются с уклоном в портативный режим консоли. Президент Nintendo Сюнтаро Фурукава (Shuntaro Furukawa) изложил инвесторам своё ви́дение Pokémon Sword и Pokémon Shield. В отличие от […]

Утечка более 2 млн записей паспортных данных обнаружена на торговых площадках РФ

Опубликовано 29.04.201918.02.2020

Около 2,24 млн записей с паспортными данными, сведениями о трудоустройстве граждан РФ и номерами СНИЛС находятся в открытом доступе. К такому выводу пришёл председатель Ассоциации участников рынка данных Иван Бегтин на основании проведенного исследования «Утечки персональных данных из открытых источников. Электронные торговые площадки». В работе были исследованы данные крупнейших электронных торговых площадок РФ, внутри […]

Тест: Как вы соблюдаете требования к обработке персональных данных?

Опубликовано 29.04.201918.02.2020

Штраф за нарушение закона о персональных данных составляет до 75 тыс. рублей. Как обезопасить себя от нарушений при обработке персональных данных? Выполнены ли вами все требования законодательства? С 1-го июля 2017 года штрафы были увеличены и стали зависеть от вида нарушений. Да, прошло достаточно много времени, но, как это часто бывает, особенно в России, где, […]

Норман Ридус: «Игроки будут плакать». Хидео Кодзима обсудил Death Stranding на кинофестивале

Опубликовано 29.04.201918.02.2020

Хидео Кодзима (Hideo Kojima) и Норман Ридус (Norman Reedus) посетили фестиваль Tribeca Film Festival в Нью-Йорке. Там создатель Death Stranding раскрыл немного новой информации о проекте, в очередной раз отметив, что каждый в мире игры связан. Кодзима повторил, что Death Stranding — это экшен с открытым миром. Вы будете свободны, как в Metal Gear Solid […]

Байки разработчика 1С: админские

Опубликовано 29.04.201918.02.2020

Все разработчики 1С так или иначе тесно взаимодействуют с IT-службами и непосредственно с системными администраторами. Но не всегда это взаимодействие проходит гладко. Несколько забавных историй об этом я и хотел бы Вам рассказать. Скоростной канал связи Большинство наших клиентов – это крупные холдинги со своими большими IT-подразделениями. И за резервные копии информационных баз, как правило, […]

Хождение по мукам или Шифрование трафика в Direct Connect, ч.3

Опубликовано 29.04.201918.02.2020

И никто не вливает молодого вина в мехи ветхие; а иначе молодое вино прорвет мехи, и само вытечет, и мехи пропадут; но молодое вино должно вливать в мехи новые; тогда сбережется и то и другое. Лк. 5:37,38 В апреле этого года администрация крупнейшего в мире DC хаба объявила о начале поддержки безопасных соединений. Давайте посмотрим, […]

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

Опубликовано 29.04.201918.02.2020

Фонд Apache сообщил о завершении работы по интеграции своей инфраструктуры с GitHub и переносе на GitHub всех своих git-сервисов. Изначально для разработки проектов Apache предлагались две системы контроля версий: централизованная система управления версиями Subversion и децентрализованная система Git. C 2014 года на GitHub были запущены зеркала репозиториев Apache, доступные в режиме только для чтения. Теперь […]

Выбор телевизора себе, любимому, с позиции науки, а не рекламы

Опубликовано 29.04.201918.02.2020

Всем привет. На написание этой небольшой статьи меня натолкнул спор касательно выбора телевизора. Сейчас в этой области — равно как в «мегапикселях для камер» — царит маркетинговая вакханалия в погоне за разрешениями: HD Ready давно сменились на Full HD, а уже становятся всё более популярными 4К и даже 8К. Давайте разберёмся — а что нам […]

Google Stadia: 30-35 Мбит в секунду будет достаточно для трансляции игры в 4K

Опубликовано 29.04.201918.02.2020

Многие геймеры со скепсисом относятся к потоковым игровым службам — возникают закономерные сомнения в способности платформодержателя обеспечить качественный опыт. Вице-президент Google Фил Харрисон (Phil Harrison) на GamesBeat Summit 2019 выразил уверенность в том, что широкополосного соединения во многих странах более чем достаточно для Google Stadia. «Мы изучаем широкополосное соединение очень тщательно, как вы можете себе представить, и […]

« назад « к началу 2873 2874 2875 2876 2877 2878 2879 2880 2881 2882 в конец » вперед »

Рубрика: Блог