Доказательство упрощением Итак, в предыдущих частях мы определили новые типы данных и функции над ними. Настало время обратиться к вопросу о том, как сформулировать и доказать их свойства и поведение. В некотором смысле мы уже начали делать это – в…

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

Недели не проходит, чтобы на хабре несколько раз не обсуждалось внесение в реестр и закрытие доступа к тому или иному ресурсу в России. Признаться, мы в Украине читали это с сочувствием, но некоторым осознанием того, что все же это нас…

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

В последней статье я рассказывал об использовании фасетов. Немного углубимся в эту тему и узнаем какие бывают виджеты для фасетных фильтров. Ну и конечно же научимся делать свой собственный виджет. Если вы не читали предыдущую статью, то я настоятельно рекомендую…

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

Откуда появилась проблема Многие из вас пользуются VPN подключением к рабочей локальной сети из дома. Благодаря этому, подключив VPN вы работаете с рабочей сетью «как будто находясь в ней». Как выглядит типичная настройка в linux? В /etc/resolv.conf прописывается (при помощи…

Несколько граждан США подали коллективный иск в окружной суд округа Колумбия. В качестве ответчиков перечислены Барак Обама (президент США), а также Агентство национальной безопасности, Министерство юстиции и компания Verizon Communications, а также лично руководители эти организаций. Иск подан от лица…

На прошлой неделе на Хабре появилось 2 поста о фреймворке распределенных вычислений от Microsoft Research – Dryad. В частности, подробно были описаны концепции и архитектура ключевых компонентов Dryad – среды исполнения Dryad и языка запросов DryadLINQ. Логическим завершением цикла статей…

В 20 веке перед экспертами различных стран стояла острейшая проблема нахождения надежной методологии оценивания качества, в том числе результатов деятельности творческих коллективов, их работников, продукции, проектов и услуг. В результате в 1968 году в мире появилась научная дисциплина квалиметрия [1],…