Архив за Июль 2012

Удобное управление облачными сервисами Amazon? MadeiraCloud!

Вторник, 31 Июль 2012

В марте 2012 года в Китае прошла очередная конференция ChinaBang в ходе которой был проведен ежегодный конкурс стартапов. Одним из представленных стартапов оказался интересный проект MadeiraСloud.

MadeiraCloud запущен в феврале 2012 года, в данный момент находится в стадии публичной беты. Компания позиционирует свой продукт как «Microsoft Visio для облачных вычислений» и позволяет без особого труда связать имеющиеся веб-ресурсы при помощи простого WYSIWYG-интерфейса с поддержкой Drag&Drop. Читать дальше →

Verizon прекратит блокировать tethering-приложения

Вторник, 31 Июль 2012

В мае этого года большинство операторов связи США стали блокировать сторонние тетеринг-приложения, не позволяя пользователям загружать такие приложения из Android Market. Кроме того, даже встроенная функция тетеринга блокировалась на большинстве мобильных устройств. До поры до времени операторы связи беспрепятственно действовали подобным образом. Но на днях FFC, Федеральная Комиссия Связи США постановила, что компания Verizon, блокируя тетеринг, нарушает некоторые пункты государственного законодательства.

Читать дальше →

Анонсирована обновленная конфигурация игрового планшета Wikipad

Вторник, 31 Июль 2012

В январе этого года на Хабре впервые появилась информация о планшете Wikipad, это планшетный ПК, «заточенный» под игры. То, что планшет предназначен, в первую очередь, для игры, становится понятно сразу же. Дело в том, что этот планшет поставляется вместе с игровой системой, позволяющей использовать устройство в качестве игровой платформы. Само собой, планшет позволяет слушать музыку и смотреть видео, причем Wikipad оснащен 3D дисплеем.

Читать дальше →

[Из песочницы] Прототип, блочная схема, макет – что выбрать?

Вторник, 31 Июль 2012

Это перевод оригинальной статьи «Wireframing, Prototyping, Mockuping – What’s the Difference?».

Итак

Пару лет назад я понял, что многие из моих коллег(не дизайнеров) по разному называют результаты моей работы. Они предположили, что блочная разметка (wireframe), прототип (prototype) и макет (mockup) – это одно и тоже – своего рода сероватый, квадратный, эскиз поясняющий гениальные идеи.
Читать дальше →

Верифицированный QuickSort на Agda

Вторник, 31 Июль 2012

Доброго времени суток, уважаемый хабраюзер!

Прочитав несколько книг по типизированном лямбда исчисление, а именно по зависимым типам, увидел интересную закономерность: везде первым примером приводится определение типа «отсортированный список». Все бы хорошо, но дальше этого определения ничего не было. Вот я и придумал восполнить этот пробел и реализовать функцию, принимающую список, и возвращающую другой список и два доказательства. Одно доказывает, что результат — это перестановка входа, а другое доказывает, что результат — отсортированный список.
Поехали!

[Из песочницы] Эвристика в составлении расписания занятий

Вторник, 31 Июль 2012

Недавно здесь проскакивала тема расписания занятий, и мне захотелось рассказать о своем опыте построения алгоритма составления расписания для ВУЗа, а точнее, больше об эвристике, которую применил.
Читать дальше →

Установка CentOS 6.3 + LNMP на VirtualBox (видео-шпаргалка)

Вторник, 31 Июль 2012


Если Вам необходимо локально запустить веб-сервер в среде Windows, то можно это сделать на виртуальной машине VirtualBox, установив туда Linux и все необходимые компоненты. Но многих пугает сложность такой установки. На самом деле всё это делается довольно быстро и просто.

В результате у вас получится локальный VPS-сервер с рут-доступом через putty и рабочей LNMP-конфигурацией (Nginx + MySql + PHP).
Читать дальше →

[Перевод] Играть в Spelunky можно в браузере

Вторник, 31 Июль 2012

Вы закончили работать сегодня? Вы уверены? Хорошо, если у вас есть пара свободных часов нажмите сюда. Вы играете в Spelunky в браузере и ваша продуктивность теперь на нуле.

Этот порт был создат Darius Kazemi из Tiny Subversions. Он отметил что HTML5 версия Spelunky стала возможной благодаря Gamemaker HTML5 (сейчас GameMaker Studio), который позволяет скомпилировать игры, созданные в GameMaker в JavaScript. На текущий момент отсутствует звук и добавлены хаки для повышения стабильности, а еще увеличена задержка перед бегом после нажатия X по сравнению с оригиналом — прим. пер.

И по итогу Spelunky все еще увлекателен, и новая версия позволяет продолжить задротствовать игру в любое время.

Microsoft предлагает Google пойти на мировую

Вторник, 31 Июль 2012

Сегодня компания Microsoft в лице Брэда Смита и Орацио Гутьереза опубликовала пресс-релиз или даже скорее открытое письмо с обращением к Интернет-гиганту Google. Редмондская корпорация предлагает Google сесть за стол переговоров и подписать мирное соглашение, которое по мнению Microsoft решит разногласия гигантов в отношении свободной операционной системы Android, разрабатываемой компанией Google в партнёрстве с консорциумом Open Handset Alliance.

Данный топик представляет обзор рядового наблюдателя происходящих событий с акцентом на противостояние Microsoft и Motorola Mobility/Google (текст большой, много ссылок и конкретных патентов). Если есть какие-то замечания и дополнения, то пишите их в комментариях или на хабрапочту.
Читать дальше →

Майкрософт запускает Outlook.com

Вторник, 31 Июль 2012


Сегодня компания Майкрософт запустила сайт Outlook.com.
По сути — это все тот же hotmail но выполненый в стиле Metro.

Под катом — мои впечатления от Outlook.com
Читать дальше →

Календарь
Июль 2012
Пн Вт Ср Чт Пт Сб Вс
« Июн   Авг »
 1
2345678
9101112131415
16171819202122
23242526272829
3031  
Архивы