Найм математика в софтверный бизнес - преимущества и недостатки

[dennisgorelik]

Очень откровенный (и интересный) "разбор полётов":
http://maxim.livejournal.com/484972.html

> человеку, котрый прикоснулся к созданию прувера, уже тяжело себя заставить писать обычные Web приложения на джава-скрипте

Вот такая странная мотивация у математиков.

> мы договорились, что я ему перечисляю "на еду" (как он выразился деньги) в размере 2000 грн в неделю.

Это меньше $400/месяц.
Что делает найм энтузиастов-математиков очень привлекательным.
При условии, что есть возможность достичь практический результат.

> С начала года прошла 31 неделя и было выплачено 65,149 грн. Получается 2101,5 копеек.

$2580 - чувствительно, но не много для неудавшегося бизнес-эксперимента.

> я не получил алгоритм кодировки, который был бы понятен условному Кметту. Павел говорит, что у него он в ЖЖ

Это типичная проблема с абстрактными теоретиками. Они получают удовольствие от теоретических исследований, но не любят тратить своё время на изложение своих достижений в виде, понятном простым смертным (таким, как их работодатель).


Thanks to thedeemon and juan_gandhi

Comments

[juan-gandhi.livejournal.com]

Насчет результатов, мне кажется, еще смешнее все. Лет пять назад, когда Максим вдруг выскочил с этой идейкой, меня брало большое сомнение - это вообще возможно? Тут где-то линк был на статью, доказывающую, что таки невозможно. Вот Максим и нанял математика. Но денег у него нет. И, похоже, опыта или чего-о эквивалентного тоже нет.

[dennisgorelik]

> линк был на статью, доказывающую, что таки невозможно.

Надо было нанять тебя за $100/час на 4 часа, чтобы найти этот линк и доказать, что невозможно.
Получилось бы $400, что намного дешевле, чем $2580.

> опыта или чего-о эквивалентного тоже нет.

Опыта нет у Максима-бизнесмена или у Паши-математика?

[maxim.livejournal.com]

Я не понимаю, в чем идея камента Хуана Ганди, но суть вроде такая, что запретительная статья дла λP2, а λPω такая статья не запрещает, а у нас не просто λPω=CoC (с двумя вселенными), а с бесконечным их количеством. Если Хуан Ганди считает мое мнение аргументации (я не говорю о мотивации постановки задачи), пусть потрудится указать на ошибку в моих логических рассуждениях о возможной поставке проблематики (я не говорю что у меня есть готовое решение). Но запретительной статьи именно на невозможность построение терма индукции (или Sigma типа выраженного только на Pi) в CoC + predicative hierarchy of universes, насколько я знаю не существует. Или, если он возьмется за $100/час на 4 часа ее расписать (показать что не существует во всех кодировках (в статье только за Черч Нумералы идет речь, т.е. кодировка без конгруэнтности например), чтобы это не была белетристика или Дилберт в картинках), я с радостью заплачу назамедительно сумму (за 4 часа) и признаю что я нижайший пидоро-червь на планете :-)

Вот линк статьи:
http://www.cs.ru.nl/~herman/PUBS/IndNonder.ps.gz

http://maxim.livejournal.com/485410.html

[juan-gandhi.livejournal.com]

Я уже сообщал, что я не специалист в этой области, и могу только делиться подозрениями да удивляться смелости подхода. Делайте на здоровье; я точно не планирую лезть с советами в этой области. Мое мнение в этой области совершенно нерелевантно.

P.S. 100 в час - это какой-то странный рейт. Столько получают младшие джава-программисты, мне кажется.

[maxim.livejournal.com]

Не я озувил этот рейт, а Денис. Но в прочем меня любой рейт устроит если будет какая-то ставка на рейт.
Главное чтобы натуральная, а не трансфинитные числа.

[dennisgorelik]

> делиться подозрениями да удивляться смелости подхода

К сожалению, это не является заменой серьёзного исследования.
Получается, более эффективных альтернатив исследовать интересующий Максима вопрос - у него не было.

> Столько получают младшие джава-программисты

Младшие джава-программисты в Долине получают ~$60/час.
Scala Senior - $102/hour

[juan-gandhi.livejournal.com]

У Максима-бизнесмена. Паша нормально.

[maxim.livejournal.com]

А шо с максимом бизнесменом?
Максим, что EXE начинал, чтобы заработать денег?
Решь шла о поддержании инвалида третье группы, а после того как ты ему сказал не общаться с лохами (нами), а писать на скале за 5К в месяц, то счас и денег нет и интересных проектов. Но в твоем мире у Паши все нормально, а Маким плохой бизнесмен, что затеял pro-bono проект, выделенный специально под Павла.

[juan-gandhi.livejournal.com]

Я тут не успеваю ухватить извивы сюжета.

Если вы экспериментировали и поддерживали человека, это очень хорошо (хотя я бы таки платил нормальные деньги, пока человек работает); то я не вижу повода устраивать драму и рвать отношения. Повода записывать Пашу в СТО или что-то вроде я тоже не вижу. Не понимаю всего этого. Ну не вышло, что ж поделаешь. Апельсин с яблоком не скрещивается (цитируя один фильм Довженко). Не вижу повода поднимать голос.

Твои же бизнесменские свойства мне совершенно неизвестны; откуда бы мне их знать.

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

[dennisgorelik]

О, а вот и бид на $400

[juan-gandhi.livejournal.com]

Было бы неплохо запостить это где-нибудь на публичном сайте для контракторов. P=NP уже выставляли, и в Индии готовы были решить.

[maxim.livejournal.com]

Ну у меня на руках есть штука которая экстрактит из System Fw и библиотека под System Fw которая компилируется в байткод Erlang VM. Возможно надо с Черча на Паригота переписать, да и нафиг мне та индукция, писать же можно, термы конструировать. Теоремы писать какого-то уровня вы не сможете, но начального Хаскель или 1ML уровня код можно сделать быстрым и верифицируемым. Но только все это для платформы Эрланг.

Так что я бы не сказал, что это вообще нулевой результат.

[juan-gandhi.livejournal.com]

Ну слава те господи. Я вообще-то в качестве болельщика тут.

[con-vertor.livejournal.com]

ха!
я смотрю одна из ключевых причин, почему провалилось сотрудничество, что оунер пропал на 2 месяца.

я тоже один проектик пытался мутить - но по разным причинам тоже пропал на пару месяцев - в итоге сотрудничество не удалось.
а сейчас видно что проект может-таки выстрелить, эх

[dennisgorelik]

> оунер пропал на 2 месяца.

Это, конечно, тоже очень важно.
Напримре, я отказался брать деньги у потенциального инвестора, который не желал активно учавствовать в проекте.

> проект может-таки выстрелить, эх

Почему "эх"? Надо порадоваться за бывших компаньонов.
Что за проект-то?

[con-vertor.livejournal.com]

эх потому-что я не участвовал)

проект - космическая аркада для мобильников с профессиональным саундтреком (ибо основной оунер саундпродюсер).
уже набрали 50000 юзеров и растут.

[dennisgorelik]

Чтобы учавствовать - нужно же работать.

[con-vertor.livejournal.com]

да.

я подвязался было пиарить ту игру (через пресс-релизы, работу с обзорщиками, и некоторыми приемчиками), и заодно создать свою pr-фирму - до этого в РФ у нас на мероприятия был резонанс в 100 публикаций в СМИ, включая ТВ,
но завяз в прокрастинации и юридических тонкостях, если это делать на мировом уровне.
ну и в тот момент меня уволили с работы, и пришлось сконцентрироваться на работе :(.

ну и чел несколько резковат был, что обосновано для той ситуации, но не способствовало восстановлению сотрудничества.

В условиях глубокого Кризиса

[livejournal.livejournal.com]

User maxim referenced to your post from В условиях глубокого Кризиса (http://maxim.livejournal.com/485354.html) saying: [...] Про меня опять написали http://dennisgorelik.livejournal.com/117072.html [...]

Re: В условиях глубокого Кризиса

[maxim.livejournal.com]

Ссылка неправильная, вот пост: http://maxim.livejournal.com/485410.html

[dac-khv.livejournal.com]

Денис, извините, можно я поною в комменте про стартапы и найм непрофессионалов в софтверный бизнес?:)
Я не математика нанял, а пригласил непрофессионального программиста (профессиональным программистом я считаю того, кто зарабатывает 66%+ дохода программированием или роялти от ранее созданных им программных продуктов). Что привлекло - энтузиазм в теме, некоторые наработки ранее, полезные в рамках проекта + давно были лично знакомы.
Итого, человек ушел в абстрактные изыскания и я, к моему несчастью, не отследил этого момента. В итоге, мы выкатываем на гора архитектуру продукта, он на неё смотрит, она вызывает у него глубочайшее непонимание и отторжение (целый день объясняли). В итоге, у него всё перегорает и громко хлопая дверью, он покидает команду. 2 месяца на его фронт работ потеряно.
А по теме поста - там главная проблема, как мне кажется, именно в покидании проекта на 2 месяца.

[dennisgorelik]

1) 2 месяца от этого программиста не было вообще никаких практических результатов?

2) Откуда взялась архитектура продукта?
Почему он не принимал участие в создании этой архитектуры?

[dac-khv.livejournal.com]

1. Результаты были, но немного в другой форме - тестирующая утилита была создана им, например, общие обсуждения опять же.

2. Архитектуру проекта в общем виде разработал я, а в частностях это и моя работа и ещё одного коллеги. Парень, о котором я говорю, участие в создании архитектуры принимал, пока её сложность не превзошла его мнение о допустимости таковой :)

[dennisgorelik]

Значит не все два месяца потеряны. Но потери есть, конечно.

[justy-tylor.livejournal.com]

Это не про бизнес.

Как если бы заказали перевод произведений непопулярного писателя за сверхмелкий прайс. Оно и заказчику, и переводчику получилось бы скорее для души, немного больше добра в мире в их понимании. Что не исключает последующих срачей по поводу литературных качеств перевода. А вот денег на издании не заработать, бизнеса в этом нет.