Я пробовал самостоятельно выучить теорию категорий, но не понял, почему при построении категории, где объекты — типы данных, а морфизмы — функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно Hilb, где объекты — конечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы — линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить.
Контакты

Достижения

Все достижения (6)

Наибольший вклад в теги

Все теги (35)

Лучшие ответы пользователя

Все ответы (12)
  • Использование облака для брутфорса паролей rar архива?

    olegchir
    @olegchir
    performance engineer
    у тебя какая видеокарта? Попробуй перебрать пароли на GPU?

    типа того:
    www.howinthetech.com/using-your-gpu-to-crack-rar-archive-passwords/
    forum.ru-board.com/topic.cgi?forum=5&topic=30518

    3000 паролей в секунду, твой пароль можно будет покрякать на одном компьютере за 1000 часов, т.е. всего за месяц. Арендовать на пару дней загнивающий компьютерный клуб — и дело в шляпе.

    > Надо доказать руководству что передавать документы в архиве с 10-значным паролем состоящим только из цифр небезопасно.

    надо доказать руководству, что политика безопасности, зависящая от длины ключа в rar-архиве — это наркотический бред :)
    Ответ написан
    Комментировать
  • На чем быстрее написать GUI - Qt/C++ (традиционный подход) или Qt/WebKit/JQuery/HTML5 (браузерное приложение)?

    olegchir
    @olegchir
    performance engineer
    Браузерное быстрее.
    Нет заморочек с крестами (в JS можно намутить любое ООП какое тебе больше по душе, плюс есть CoffeeScript - можно юзать функциональщину), куча разных фреймворков – выбирай любой, в котором тебе работать удобнее. Фреймворков, которые специально точились для того и только для того, чтобы разрабатывать гуй было легко, удобно и быстро.

    Проблема - приложение выглядит не нативно.
    Частичное решение - берешь делаешь браузерное приложение, и открываешь его в QtWebKit - оно начинает вести себя как нативное (рамочка, сворачивание, итп).

    Сильно не наоптимизируешь - сложный гуй будет жрать память и тормозить.

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

    + имхо "HTML5" - это бесполезный баззворд. W3C сошло с ума и делает какую-то фигню. Вместо того чтобы расширять возможности кодера, оно прибивает гвоздями какую-то лажу прямо в браузер. Наверняка это происки проклятых DRMщиков. Правильно говорить "приложение с веб-интерфейсом".
    Ответ написан
    Комментировать
  • Организация домашнего git сервера?

    olegchir
    @olegchir
    performance engineer
    гитозис — система костылей, можешь поступить в соответствии с его заветами ;) Напиши скрипт, который будет проверять workspace на наличие новых проектов и дописывать из в конфиг гитозиса. Потом повесь этот скрипт на обновления файлов в папочке workspace (типа того: www.ibm.com/developerworks/linux/library/l-inotify/?ca=drs-) и будет счастье ;)
    Ответ написан
    Комментировать
  • Инструмент описания бизнес-процессов с целью подготовки ТЗ для программистов

    olegchir
    @olegchir
    performance engineer
    сначала нужно определить, каким образом лучше всего представляются ваши бизнес-процессы. Модель моделирования бизнес-процессов. Ну и потом найти для нее лучший инструмент.

    Я бы посоветовал UML+любую рисовалку, которая его умеет. Программисты привыкли к UML, он будет бесить их меньше всего.
    Magicdraw, Visio… большинство хороших рисовалок — платные, но часто для них существуют бесплатные вьюеры, поэтому на программистов не обязательно покупать еще сотню дорогущих лицензий.

    Еще, программистам удобно думать в терминах отдельных фичей и блоков, а менеджерам напротив удобней нарисовать весь процесс одной огромной монолитной диаграммой. Если разрабатывать модель процессов с нуля, можно попробовать держать в уме еще две вещи: разделение на подзадачи и приоритеты этих подзадач для реализации. Может здорово понизить риск, когда программисты сами начнут breakdown'ить то, в чем еще не до конца разобрались ;)
    Ответ написан
    Комментировать
  • Мультимедийные клавиши в Linux, клавиатура OCZ Alchemy Elixir I (Решено)

    olegchir
    @olegchir
    performance engineer
    Для нее нет линуксовых драйверов, и непохоже чтобы кто-то их писал.

    Нужно погуглить, как писать ядро и драйверы линукса, и написать собственнный драйвер.
    Эта клавиатура основана на Monterey K3805 Pro Gaming Keyboard, и возможно где-то в сети есть если не ее собственные спеки, то спеки прародителя.

    Еще есть вот такая забавная прога: keytouch.sourceforge.net
    Может, можно намутить что-то на ее основе.

    В следующий раз стоит вначале гуглить о совместимости оборудования с линуксом, а потом только покупать. Sad but true.
    Ответ написан
    2 комментария

Лучшие вопросы пользователя

Все вопросы (8)