Архив за 16 марта 2015 - 11

в 7:47, , рубрики: haskell, range validation, Type-Level Literals, метки: , ,

Функциональное программирование (ФП), как известно, способствует написанию надёжного (безошибочного) кода.

Ясно, что это максима. Программ без ошибок не бывает. Однако ФП в сочетании со строгой статической типизацией и развитостью системы типов позволяет, в значительной степени, выявлять неизбежные ошибки программиста ещё на стадии компиляции. Я говорю о Haskell, хотя, наверное, к OCaml это тоже относится.

Однако если мы зададимся целью написания надёжного кода, то немедленно обнаружим, что возможности Haskell тут не безграничны. Не всё, что существует для этой цели (построения безопасного кода) в других языках легко реализуется на Haskell. Хорошо бы меня тут поправили, но, увы.
Читать полностью »

в 7:46, , рубрики: Блог компании «Лаборатория Касперского», лаборатория касперского, независимые тесты, тестирование антивирусов, метки: , ,

Как нас тестируют - 1О независимых тестах защитного ПО и нашей методике оценки их результатов рассказывает Евгений Касперский.

Как мы всегда говорим, «Лаборатория Касперского» спасает мир от кибер-нечисти. Насколько хорошо у нас получается? Вообще и отностительно других спасальщиков? Для оценки успешности этой амбициозной задачи мы используем различные метрики. Одна из главных таких метрик – независимая экспертная оценка качества наших продуктов и технологий. Чем лучше показатели, тем лучше наши технологии давят цифровую заразу и активнее спасают мир.

И кто это может сделать? Разумеется, независимые тестовые лаборатории! Но вот вопрос – как обобщить результаты? Ведь в мире проводятся десятки, сотни тестов всеми кому не лень! Тестируются разные технологии защиты, по отдельности или комплексно, исследуется производительность, удобство установки, и много что еще.

Как из этой каши выжать самое правильное — то, что отражает максимально правдоподобную картину способностей сотен антивирусных продуктов? И исключить возможность тестового маркетинга? И еще сделать эту метрику понятной широкому кругу пользователей для осознанного и аргументированного выбора защиты? Счастье есть, его не может не есть не быть! Несколько лет назад мы вывели для себя следующую формулу оценки – «TOP3-рейтинг».
Читать полностью »

в 7:44, , рубрики: Новости, метки:

Изделие под названием XpressPDF Lite, показанное на иллюстрации, позволяет следить за соблюдением температурного режима в процессе хранения и транспортировки продуктов питания, медикаментов и других грузов. Его на конференции Seafood Expo North America представила компания PakSense.

Метка PakSense XpressPDF Lite работает при температуре от -25°С до +60°С

Читать полностью »

в 7:38, , рубрики: brute-force, diy или сделай сам, брут-форс, взлом, информационная безопасность, программирование микроконтроллеров

image

Что такое инженерное меню и зачем оно нужно? Позволю себе процитировать из wiki:

Недокументи́рованные возмо́жности (англ. undocumented features), НДВ — возможности технических устройств и/или программного обеспечения, не отраженные в документации. Чаще всего недокументированные возможности сознательно закладываются разработчиками в целях тестирования, дальнейшего расширения функциональности. Недокументированные возможности обнаруживаются, обычно, в процессе обратной разработки, но могут быть обнаружены и случайно.

Далее в статье, описание моей попытки подобрать коды к инженерному меню радиостанции.
Читать полностью »

в 7:33, , рубрики: gtd, Stephanie Vozza, Блог компании MBA Consult, волнение, как повысить продуктивность, концентрация, личная продуктивность, настройка на позитив, полезные советы, продуктивность, релаксация, Стресс, метки:

image

В детстве мы считаем, что навредить нашему организму могут только физические травмы, а злые слова на нас не воздействуют. Это звучит оптимистично, но во взрослой жизни все иначе. Итак, сегодня речь пойдет о борьбе со стрессом.Читать полностью »

в 7:31, , рубрики: Apache, apache software foundation, asf, groovy, java, jvm

Это перевод вот этой публикации из блога Гийома Лафорджа, официального менеджера проекта Groovy.

Команда Groovy рада объявить о своём намерении присоединиться к Apache Software Foundation (ASF).

Вслед за недавним объявлением от Pivotal об окончании финансирования постоянных разработчиков проекта Groovy, команда решила, что было бы целесообразно продемонстрировать Groovy-сообществу, что в долгосрочной перспективе проект не исчезнет. Groovy будет развиваться вне зависимости от наличия финансирования частными организациями и спонсорами, а так же вне зависимости от каких-либо изменений в команде разработчиков.
Читать полностью »

в 7:22, , рубрики: JPMorgan, венчурные фонды, Законодательство и IT-бизнес, инвестиционные фонды, информационная безопасность

Федеральные власти, расследующие дело о взломе JPMorgan Chase & Co летом прошлого года, уверены в успешном завершении дела. The New York Times сообщает, что несколько подозреваемых «доступны»: они находятся в странах, с которыми у США имеется соглашение об экстрадиции.
Читать полностью »

в 7:18, , рубрики: Новости, метки:

Источник утверждает, что смартфон LG G4 будет оснащен дисплеем размером 5,6 дюйма по диагонали, а не 5,3, как считалось ранее.

О разрешении данных нет, но учитывая, что разрешение экрана предшествующей модели составляет 2560 х 1440 пикселей, можно предположить, что оно будет не меньше.

Анонс LG G4 ожидается в апреле

Читать полностью »

в 7:10, , рубрики: Google, Google Play, Амедиа, мобильные приложения, Нам пишут, пиратство, поиск, Правообладатели, Текучка, метки: , , , , , , , , ,

Обновлено 12:00: пресс-служба «Амедиа» объяснила исчезновения их продуктов в выдаче Google и магазине Google Play ошибками во взаимодействии Twentieth Century Fox Film Corporation и поисковика.

  • Относительно […] первой жалобы от 2 октября 2014 года — мы уверены, что ошибочно попали в этот список, так как в нашем паблике присутствуют только материалы, Читать полностью »

в 7:00, , рубрики: Новости, метки:

Графический процессор GM200, который служит основой 3D-карты Nvidia GeForce GTX Titan X, будут также использоваться в 3D-карте профессионального сегмента Nvidia Quadro M6000. В Сети появилось изображение двух таких карт, которые были установлены в одной из систем, показанных на недавнем мероприятии GTC 2015.

3D-карты Nvidia Quadro M6000 профессионального сегмента построены на GPU GM200

Первое Читать полностью »

1...101112...13
Рейтинг@Mail.ru
Главная   |  Архив новостей  |   Android  |   Google  |   Apple  |   Microsoft  |   Информационная безопасность  |   Веб – разработка
Публикации RSS  |  Комментарии RSS
https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js