Dennis Gorelik

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

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

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

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

From:

Я не понимаю, в чем идея камента Хуана Ганди, но суть вроде такая, что запретительная статья дла λ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 Date: 2016-08-22 12:16 am (UTC)

From:

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

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

From:

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

From:

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

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

From:

gineer.livejournal.com

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

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

Ну как бы ХЗ.

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

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

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

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

From:

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

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

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

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

From:

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

From:

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

From:

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

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

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

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

From:

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

From:

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

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

From:

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

From:

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

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

From:

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

From:

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

From:

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

From:

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

From: