В предыдущей части мы научились задавать новые типы и строить функции над их значениями. В этой небольшой заметке я более подробно остановлюсь на индуктивных определениях, чтобы внести ясность и наметить дальнейшие темы для изучения. Ранее я сказал, что в Coq…

Привет! Новая встреча RADUG пройдет 10 июня в 20:30 в офисе <a href=«dreamindustries.co>Dream Industries, в Центральном Телеграфе по адресу Москва, ул. Тверская, 7. Ходят слухи, что Apple в этом году обещает транслировать Keynote WWDC, поэтому это отличный повод собраться и…

В этом посте представляю на суд хабрасообществу результаты своих неумелых и несистематических опытов с VMware vSphere 4.1

В последнее время в нашу компанию стали чаще приходить не просто запросы «посчитайте мне N точек доступа и контроллер», а уже — «нам нужна надежная беспроводная сеть, в которой пользователи смогут использовать собственные гаджеты в работе». Сегодня мы расскажем, что…

Еще совсем недавно нам показали первый Padfone, а буквально через полгода вышел Padfone 2. Теперь же перед нами полностью обновленный Padfone Infinity с 4-ядерным процессором и экраном Full HD. Концепция устройства проста: если вам нужен планшет, вы можете вставить телефон…

Вчера Владимир Путин подписал его о чем можно узнать на сайте Кремля тут президент.рф/документы/18302 Главным плюсом принятого закона является то что теперь публикация данных в формате открытых данных является обязательной. Главным минусом — терминологическая слабость и то что определение открытых…

На Хабре довольно часто появляются о марсоходе Curiosity, который сделал уже много интересных открытий, и еще больше, вероятно, сделает. Но не стоит и забывать, что на Марсе работает и Opportunity, причем работает уже десятый год, вместо 90 дней, как было…

Знаете ли вы, что кузнечики, будучи брошенными в ведёрко, начинают маршировать по кругу как на анимации выше? Правда сверху не кузнечики, а Boid’ы — модель коллективного поведения птичек, пчёлок, рыбок и другой живности. Несмотря на простоту модели, она демонстрирует эмерджентные…

Добрый вечер, хабравчане. В данный момент занимаюсь написанием небольшой админки для сайта фото-студии. Работу выполняю на Yii+Booster. Используя CRUD-generator достаточно быстро набросал примерный функционал, но когда дошло дело до картинок, появились маленькие проблемы. Поискав на официальном сайте подходящее дополнение пришел…

WWDC начнется только вечером (в 21:00 по московскому времени), но авторы 9to5mac уже смогли заполучить в свои руки бета-версию iOS 7. Конечно же, скриншоты делать было запрещено (на каждом изображении Apple оставляет небольшой водяной знак, так что выяснить источник не…