За последнее десятилетие сервера, совместно с прочей компьютерной техникой, капитальным образом прибавили в мощности. Уже никого не удивляют десятки процессорных ядер и сотни гигабайт оперативной памяти в одном корпусе – даже самые тяжелые приложения «крутятся» на таком железа легко и непринужденно. Однако, как у любой сложной системы, у серверов есть слабые места, не позволяющие выжать максимум из платформы в целом. В современном серверном хозяйстве таким слабым звеном часто оказывается подсистема хранения данных. Одно из решений данной проблемы – использование Intel Cache Acceleration Software для ускорения дисковых операций.
Читать полностью »
Архив за 11 июня 2013 - 7
Кэшируй, чтобы ускориться
2013-06-11 в 5:27, admin, рубрики: Блог компании Intel, Серверная оптимизация, Серверное администрированиеМягкое введение в Coq: используем тактики
2013-06-11 в 5:23, admin, рубрики: coq, формальная верификация, функциональное программирование, метки: coq, формальная верификацияДоказательство упрощением
Итак, в предыдущих частях мы определили новые типы данных и функции над ними. Настало время обратиться к вопросу о том, как сформулировать и доказать их свойства и поведение. В некотором смысле мы уже начали делать это – в первой части мы написали своего рода юнит-тест, используя ключевое слово Example
, который содержал некоторые утверждения о поведении некоторой функции, применяемой к определенному набору аргументов. Используя определение функции, Coq упрощает выражение и проверяет на равенство его левую и правую часть.Читать полностью »
Вчера появилась iOS 7 для разработчиков. Так как developer.apple.com лежал до утра, удалось скачать и установить только сегодня утром.
Под катом обзор всех приложений и нового интерфейса iOS 7. Много скринов.
Читать полностью »
В Китае уже можно осуществить предварительный заказ на смартфон Lenovo P780
2013-06-11 в 4:10, admin, рубрики: Новости, метки: новостиСмартфон Lenovo P780 (или Ideaphone P780) стал доступен к продаже в Китае. Устройство является приемником смартфона Lenovo P770.
Это заразно: закручивание гаек в информационном пространстве Украины
2013-06-11 в 4:02, admin, рубрики: Dura Lex, закручивание гаек, информационная безопасность, провайдеры, хостинг, метки: закручивание гаек, провайдеры Недели не проходит, чтобы на хабре несколько раз не обсуждалось внесение в реестр и закрытие доступа к тому или иному ресурсу в России. Признаться, мы в Украине читали это с сочувствием, но некоторым осознанием того, что все же это нас не касается.
Касается, господа. Вопрос только времени, и процесс уже идет.
Украинские законодатели подготовили новую инициативу по усилению контроля над распространением информации в интернете. Зарегистрированный на прошлой неделе законопроект «О защите информационного пространства» предлагает обязать провайдеров закрывать доступ к сайтам, пропагандирующим межнациональную вражду, жестокость, или нарушающим гражданские права и свободы. Участники рынка считают, что формулировки в документе размыты и могут быть использованы силовиками для того, чтобы закрыть практически любой ресурс.
(Это «КоммерсантЪ-Украина», источник)
Читать полностью »
Планшетный компьютер Hyundai X900 оснащён дисплеем диагональю 9,7 дюймов разрешением 2048 х 1536 пикселей
2013-06-11 в 3:35, admin, рубрики: Новости, метки: новостиКомпания Hyundai готовит к выпуску планшетный компьютер Hyundai X900.
Планшет Hyundai X900 получит дисплей диагональю 9,7 дюймов, который имеет разрешение 2048 х 1536 пикселей. В основе устройства лежит однокристальная платформа RockChip RK3188, в конфигурацию которой входит четырехъядерный процессор ARM Cortex-A9, работающий на частоте 1,8-2,0 ГГц, а также графический ускоритель Mali-400 MP4 (533 МГц).
Apple предоставила возможность передавать приложения от одного разработчика другому
2013-06-11 в 3:29, admin, рубрики: App Store, apple, ios development, iTunes Connect, разработка под iOS, метки: app store, apple, ios development, iTunes ConnectНа фоне обсуждений новой, отлично оптимизированной OS X Maverick, и сомнительно переработанного интерфейса iOS 7 с его убогими иконками приложений, представленных вчера на WWDC, совсем незаметной прошла еще одна новость — one more thing ©, о которой не сказали на презентации. О ней зарегистрированные разработчики узнали в письме новостной рассылки iTunes Connect:
С сегодняшнего дня можно перемещать приложения между аккаунтами разработчиков.
Поиск на Drupal 7 с помощью Apache Solr ч.5 — виджеты для фасетных фильтров
2013-06-11 в 3:19, admin, рубрики: apache solr, cms, drupal, drupal 7, facet, search api, search index, Веб-разработка, поиск, фасетная фильтрация, метки: apache solr, drupal 7, facet, search api, search index, поиск, фасетная фильтрация
В последней статье я рассказывал об использовании фасетов. Немного углубимся в эту тему и узнаем какие бывают виджеты для фасетных фильтров. Ну и конечно же научимся делать свой собственный виджет. Если вы не читали предыдущую статью, то я настоятельно рекомендую вам ее прочесть, чтобы лучше понять материал.
Читать полностью »
Библиотеки для конвертирования PDF документа в картинку
2013-06-11 в 3:05, admin, рубрики: PDF, метки: c++, PDF«Клавиша Print Screen отлично справляется с поставленной задачей. Что может быть проще, чем сохранить документ как изображение?» — спросите вы. Долгое время я работал над задачами сохранения отчётов и форм в формате PDF. Но даже с простыми многостраничными таблицами цифр не все PDF генераторы справлялись одинаково успешно.
Не так давно, мне попался проект, заказчик которого хотел свои сохранённый в PDF маркетинговые шедевры конвертировать в один из графических форматов, например PNG. После долгих уговоров и приведения контраргументов, бюджет проекта позволял купить недорогой .NET компонент.
Оставалось выбрать самый подходящий под требования заказчика и, по-возможности, с хорошей англоговорящей, англо пишущей службой поддержки (не с полуострова Индостан):
На пресс-конференции, намеченной на 19 июня, будут представлены смартфоны HTC Desire 600 и HTC Butterfly S
2013-06-11 в 3:00, admin, рубрики: Новости, метки: новостиКомпания HTC начала рассылку приглашений на предстоящую пресс-конференцию, намеченную на 19 июня.
На данном мероприятии компания собирается показать два устройства: уже анонсированный смартфон HTC Desire 600, а также смартфон HTC Butterfly S.