Рубрика Блог
Формальная верификация — это проверка одной программы либо алгоритма с помощью другой. Это один из самых мощных методов, который позволяет найти в программе все уязвимости либо же доказать, что их нет. Более подробное описание формальной верификации можно увидеть на примере решения задачи о Волке, Козе, и капусте в моей предыдущей статье. В этой статье я […]
Штраф за нарушение закона о персональных данных составляет до 75 тыс. рублей. Как обезопасить себя от нарушений при обработке персональных данных? Выполнены ли вами все требования законодательства? С 1-го июля 2017 года штрафы были увеличены и стали зависеть от вида нарушений. Да, прошло достаточно много времени, но, как это часто бывает, особенно в России, где, […]
Всем привет. На написание этой небольшой статьи меня натолкнул спор касательно выбора телевизора. Сейчас в этой области — равно как в «мегапикселях для камер» — царит маркетинговая вакханалия в погоне за разрешениями: HD Ready давно сменились на Full HD, а уже становятся всё более популярными 4К и даже 8К. Давайте разберёмся — а что нам […]
Группа инженеров из Университета Беркли, компании Squishy Robotics и разработчиков НАСА начала полевые испытания «упруго-жёсткого» робота для безопасного десантирования с высоты без парашюта. Изначально подобные роботы интересовали учёных из агентства по аэронавтике и исследованию космического пространства для сброса с космических аппаратов на Титан, одну из лун Сатурна. Но на Земле тоже найдётся много применений роботизированным […]
Компания Dell объявила о старте продаж в России новых игровых компьютеров, анонсированных на выставке CES 2019, — ноутбуков Alienware m15 и m17, G5 15 (5590) и G7 17 (7790), а также ПК Alienware Aurora R8. Ноутбуки Alienware m15 и Alienware m17 оснащены процессорами Intel Core i5 и i7 8-го поколения, обеспечивающими в сочетании с графическими […]
Компания Sony опубликовала отчётность за финансовый год, который подошёл к концу 31 марта 2019 года. На основе представленных данных можно сделать вывод о том, что несмотря на некоторое замедление продаж оборудования для PlayStation4, сама консоль всё ещё продаётся с впечатляющей скоростью. На данный момент по всему миру реализовано 96,8 млн копий PS4, а значит общее […]
Компания Samsung Electronics объявила о начале российских продаж изогнутого монитора UR59C, первая информация о котором появилась в начале текущего года в ходе выставки электроники CES 2019. Устройство выполнено на матрице VA размером 31,5 дюйма по диагонали. Кривизна 1500R означает, что хрусталик глаз при перемещении взгляда от центра к периферии экрана не будет менять свою кривизну, […]
Компания Team Group выпустила твердотельные накопители Vulcan SSD, предназначенные для использования в настольных и портативных компьютерах. Новинки выполнены в 2,5-дюймовом форм-факторе. Они подходят для апгрейда систем, оснащённых традиционными жёсткими дисками. Для подключения служит интерфейс Serial ATA 3.0. Накопители построены на основе флеш-памяти 3D NAND. Реализована поддержка команд TRIM и средств мониторинга S.M.A.R.T. Габариты составляют 100 × 69,9 × 7 […]
Компания Team Group анонсировала модули и комплекты оперативной памяти T-Force T1 и Vulcan Z стандарта DDR4 для настольных компьютеров. Изделия T-Force T1 рассчитаны на игровые системы начального уровня. В семействе представлены модули ёмкостью 4 Гбайт и 8 Гбайт, а также комплекты суммарным объёмом 8 Гбайт (2 × 4 Гбайт) и 16 Гбайт (2 × 8 Гбайт). Память T-Force T1 […]
Вчерашняя публикация по мотивам презентации Dell, раскрывающей процессорные планы Intel, привлекла внимание общественности. То, о чём давно говорилось на уровне слухов, нашло своё подтверждение хоть в каких-то официальных документах. Впрочем, комментарии представителей Intel по поводу темпов освоения 10-нм технологии мы наверняка услышим завтра на квартальной отчётной конференции, но вряд ли они будут сильно отличаться от […]
Компания Zeiss официально представила объектив премиального уровня Otus 1.4/100, предназначенный для использования с полнокадровыми зеркальными фотоаппаратами Canon и Nikon. Отмечается, что новинка хорошо подходит для портретной съёмки, а также фотографирования различных объектов. В устройстве хроматические аберрации (осевые хроматические аберрации) корректируются с помощью линз, сделанных из специального стекла с особой частичной дисперсией. Переход от яркого к […]
Федеральное министерство образования и научных исследований Германии (BMBF) впервые выделило деньги на масштабные разработки по созданию экологически чистых и недорогих аккумуляторов, которые должны прийти на смену популярным литиево-ионным аккумуляторам. На эти цели ряду научных организаций Германии во главе с Технологическим институтом Карлсруэ (Karlsruhe Institute of Technology) Министерство на три года выделило 1,15 млн евро. Разработки […]