dennisgorelik | Найм математика в софтверный бизнес

Entry tags:

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

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

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

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

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

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

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

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

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

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

Thanks to thedeemon and juan_gandhi

Flat | Top-Level Comments Only

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

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

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

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

Я не понимаю, в чем идея камента Хуана Ганди, но суть вроде такая, что запретительная статья дла λ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

Edited 2016-08-22 00:16 (UTC)

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

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

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

> Но в прочем меня любой рейт устроит

Всё-таки лучше начинать с готовности кандидата решать поставленную задачу.
Вот я даже не могу вашу задачу понять. Хуан вашу задачу, возможно, может понять, но явно не готов решать.

Не настоящий сварщик, но глянул. %)

Я так понимаю что они там используют тот же механизм "представить все возможные теоремы в виде натуральных чисел, и доказать недоказуемое исходя из их свойств" что и у Геделя. ;)

Ну как бы ХЗ.

С т.з. математики это давно уже притча во езыцех... вон и Ганди потому завелся, почуял кровушку, математик. %)

А программистам подобным вообще как-то не пристало заморачиватся.

ЗЫ Как бы... не понятно чего они там хотят добится -- явный же висяк метатся, то есть мертвец висящик, висяк мертвецкий...
а они проуют как-то на кривой козе пропетлять. %)

Что напоминает мне, из моего аутсорсного опыта, то как чудаки неместные, заказывают мастарам молотка и зубила местным... зафигачить им свою версию Фэйсбука, на РНРхе %)))

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

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

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

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

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

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

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

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

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

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

Защищая Павла и его право на трудовые отношения ты привел человека к факту что он сидит без работы.
А мог бы продолжать себе неспешно царапать термы на ОМ и читать статьи за 8К в месяц.
Счас по факту Паше работу хуй кто даст, тем более что ты тут сказал что проблема не решается и решать ее бессмысленно. Послушал профессора католического университета — выгнал нахуй математика-афериста, который лимиты строил эфимерные :-) Так то.

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

Как ты думаешь, если Паша к тебе явится в храм на коленях, и в слезах будет просить прощения, ты его простишь? Ты ж не христианин, прощать не обязан.

Ну так дай Паше работу, католик-профессор.
Буддистам хватило только 2К в неделю, уверен что для жителя калифорнии — это будет хуйней, а может даже и $4К будешь платить ему за Scala. Всяко же лучше Харунов.

> Всяко же лучше Харунов

Чем Паша лучше условного "Харуна"?

Умнее например.

В чём это "умнее" выражается и откуда ты это знаешь?
По косвенным признакам типа способности найти и удержать высокооплачиваемую работу - Харун - умнее.

Найти место где теплее — это животный инстинкт.
Ум — это осознание пространства.

И чем это "осознание пространства" полезно для работодателя?
Ты же предлагаешь нанять Пашу вместо Харуна.

Что дальше, ты попросишь мне тебе рассказывать теорему Пифагора, чтобы ты что-то там понял?

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject

no subject