Хабрахабр: Коллективные / Блоги / Захабренные Голосов: 10 Адрес блога: http://habrahabr.ru/blog/ Добавлен: 2007-10-24 18:05:40 блограйдером Robin_Bad

Алгоритмы / [Перевод] Просто о Хиндли-Милнере

2011-07-29 23:42:10 (читать в оригинале)

Введение

Если вы когда-нибудь интересовались не слишком популярными языками, то должно быть слышали о «Хиндли-Милнере». Этот алгоритм пользуются в F# и Haskell и OCaml, как и в их предшественнике ML. Некоторые исследователи даже пытаются использовать ХМ для оптимизации динамических языков вроде Ruby, JavaScript и Clojure.

И не смотря на его распространенность, до сих пор не было простого и понятного объяснения, что же это такое. Как же эта магия работает? Всегда ли выводимые типы будут верными? Или чем Хиндли-Милнер лучше, скажем, Java? И пока те, кто действительно знает что такое ХМ будут восстанавливаться от очередного умственного перенапряжения, мы попробуем разобраться в этом сами.

---

Интернет / В закон об экстремизме добавлен пункт об «информационно-телекоммуникационных сетях общего пользования»

2011-07-29 23:22:38 (читать в оригинале)

А между тем 28 июля правительство одобрило законопроект об усилении уголовной ответственности за экстремизм. Добавлен пункт об «информационно–телекоммуникационных сетях общего пользования». Речь идет в первую очередь об Интернете. Теперь экстремистов усиленно начнут ловить по блогам и социальным сетям. Примечательно, что обновленный законопроект вступает в силу накануне выборов.

Силовики уже применяли статью УК 282 к блогерам, комментаторам и владельцам аккаунтов в соц. сетях, однако это не носило массового характера. После принятия поправок господам полицейским станет гораздо легче привлекать к уголовной ответственности пользователей интернета. Не исключено, что МВД этим воспользуется: 29 июля создана Межведомственная комиссия по противодействию экстремизму, возглавит которую министр внутренних дел Рашид Нургалиев, а первым замом станет директор ФСБ.

---

Android / kedDroid – S04E03. Видеообзор софта для Android

2011-07-29 23:10:42 (читать в оригинале)

Как всегда, в конце недели, спешу порадовать вас новой подборкой софта для Android. Сегодня в обзоре есть и игры, и приложения, последнее из них я действительно долго ждал.

---

Информационная безопасность / Популярные менеджеры паролей в сравнении

2011-07-29 23:00:37 (читать в оригинале)

Безопасное хранение паролей — тема очень актуальная в любое время, тем более после недавних громких взломов крупных сайтов. После того как один из моих паролей утек в Сеть после взлома биржи MtGox, я озаботился переходом на серьезные методы защиты.

Самыe важные пункты, которыми пренебрегают многие пользователи, хранящие пароли в голове или на бумажке — использование на каждом сервисе отдельных паролей, и отказ от простых, легко запоминаемых паролей. Чтобы сделать это возможным, существует немалое количество софта разного качества, изучением которого я и занялся. Сейчас я хотел бы поделиться результатами своих изысканий.

Итак, программы, попавшие под мой выбор, следующие: KeePass, eWallet, LastPass, 1Password, RoboForm. Кому интересно — добро пожаловать под кат.

---

Веб-разработка / Как сделать один сайт для всех устройств (Responsive Web Design)

2011-07-29 22:25:50 (читать в оригинале)

Вчера была опубликована хорошая статья «Веб-дизайн. Каждому устройству свое представление». Несмотря на неплохие размышления, к сожалению, вывод в ней довольно глупый. А именно:

«Нужно определить, какими устройствами могут пользоваться ваши посетители, проработать и создать для этих устройств представление вашего сайта, определить устройство по средством проверки заголовков браузеров, и отправить наиболее подходящее представление.»

Почему это глупо

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



Это скриншот из презентации «Beyond the mobile web by yiibu» (очень рекомендую).

Во-вторых, если вы не facebook или yandex, скорее всего, вы не потянете создание и поддержку разных версий сайта для каждого устройства. Да и это не имеет особого смысла. Потому что ситуация становится похожа на реалии пятнадцатилетней давности. Тогда делали сайт «под браузер», а сейчас автор предлагает делать сайт «под устройство».

Как сделать один сайт для всех устройств