Архив за 11 июня 2013 - 7

Кэшируй, чтобы ускориться
За последнее десятилетие сервера, совместно с прочей компьютерной техникой, капитальным образом прибавили в мощности. Уже никого не удивляют десятки процессорных ядер и сотни гигабайт оперативной памяти в одном корпусе – даже самые тяжелые приложения «крутятся» на таком железа легко и непринужденно. Однако, как у любой сложной системы, у серверов есть слабые места, не позволяющие выжать максимум из платформы в целом. В современном серверном хозяйстве таким слабым звеном часто оказывается подсистема хранения данных. Одно из решений данной проблемы – использование Intel Cache Acceleration Software для ускорения дисковых операций.
Читать полностью »

Доказательство упрощением

Итак, в предыдущих частях мы определили новые типы данных и функции над ними. Настало время обратиться к вопросу о том, как сформулировать и доказать их свойства и поведение. В некотором смысле мы уже начали делать это – в первой части мы написали своего рода юнит-тест, используя ключевое слово Example, который содержал некоторые утверждения о поведении некоторой функции, применяемой к определенному набору аргументов. Используя определение функции, Coq упрощает выражение и проверяет на равенство его левую и правую часть.Читать полностью »

в 5:01, , рубрики: apple, iOS, iphone, метки: ,

Обзор iOS 7 для iPhone

Вчера появилась iOS 7 для разработчиков. Так как developer.apple.com лежал до утра, удалось скачать и установить только сегодня утром.

Под катом обзор всех приложений и нового интерфейса iOS 7. Много скринов.
Читать полностью »

Смартфон Lenovo P780 (или Ideaphone P780) стал доступен к продаже в Китае. Устройство является приемником смартфона Lenovo P770.

Lenovo P780 (или Ideaphone P780)

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

Недели не проходит, чтобы на хабре несколько раз не обсуждалось внесение в реестр и закрытие доступа к тому или иному ресурсу в России. Признаться, мы в Украине читали это с сочувствием, но некоторым осознанием того, что все же это нас не касается.
Касается, господа. Вопрос только времени, и процесс уже идет.
Украинские законодатели подготовили новую инициативу по усилению контроля над распространением информации в интернете. Зарегистрированный на прошлой неделе законопроект «О защите информационного пространства» предлагает обязать провайдеров закрывать доступ к сайтам, пропагандирующим межнациональную вражду, жестокость, или нарушающим гражданские права и свободы. Участники рынка считают, что формулировки в документе размыты и могут быть использованы силовиками для того, чтобы закрыть практически любой ресурс.
(Это «КоммерсантЪ-Украина», источник)
Читать полностью »

Компания Hyundai готовит к выпуску планшетный компьютер Hyundai X900.

Планшет Hyundai X900 получит дисплей диагональю 9,7 дюймов, который имеет разрешение 2048 х 1536 пикселей. В основе устройства лежит однокристальная платформа RockChip RK3188, в конфигурацию которой входит четырехъядерный процессор ARM Cortex-A9, работающий на частоте 1,8-2,0 ГГц, а также графический ускоритель Mali-400 MP4 (533 МГц).

На фоне обсуждений новой, отлично оптимизированной OS X Maverick, и сомнительно переработанного интерфейса iOS 7 с его убогими иконками приложений, представленных вчера на WWDC, совсем незаметной прошла еще одна новость — one more thing ©, о которой не сказали на презентации. О ней зарегистрированные разработчики узнали в письме новостной рассылки iTunes Connect:

С сегодняшнего дня можно перемещать приложения между аккаунтами разработчиков.

Apple предоставила возможность передавать приложения от одного разработчика другому
Читать полностью »

Поиск на Drupal 7 с помощью Apache Solr ч.5 — виджеты для фасетных фильтров
В последней статье я рассказывал об использовании фасетов. Немного углубимся в эту тему и узнаем какие бывают виджеты для фасетных фильтров. Ну и конечно же научимся делать свой собственный виджет. Если вы не читали предыдущую статью, то я настоятельно рекомендую вам ее прочесть, чтобы лучше понять материал.
Читать полностью »

«Клавиша Print Screen отлично справляется с поставленной задачей. Что может быть проще, чем сохранить документ как изображение?» — спросите вы. Долгое время я работал над задачами сохранения отчётов и форм в формате PDF. Но даже с простыми многостраничными таблицами цифр не все PDF генераторы справлялись одинаково успешно.

Не так давно, мне попался проект, заказчик которого хотел свои сохранённый в PDF маркетинговые шедевры конвертировать в один из графических форматов, например PNG. После долгих уговоров и приведения контраргументов, бюджет проекта позволял купить недорогой .NET компонент.

Оставалось выбрать самый подходящий под требования заказчика и, по-возможности, с хорошей англоговорящей, англо пишущей службой поддержки (не с полуострова Индостан):

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

Компания HTC начала рассылку приглашений на предстоящую пресс-конференцию, намеченную на 19 июня.

HTC Desire 600 и HTC Butterfly S

На данном мероприятии компания собирается показать два устройства: уже анонсированный смартфон HTC Desire 600, а также смартфон HTC Butterfly S.


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js