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

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

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

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

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

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

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

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

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


Thanks to thedeemon and juan_gandhi

Date: 2016-08-22 12:39 am (UTC)
From: [identity profile] maxim.livejournal.com
Ну у меня на руках есть штука которая экстрактит из System Fw и библиотека под System Fw которая компилируется в байткод Erlang VM. Возможно надо с Черча на Паригота переписать, да и нафиг мне та индукция, писать же можно, термы конструировать. Теоремы писать какого-то уровня вы не сможете, но начального Хаскель или 1ML уровня код можно сделать быстрым и верифицируемым. Но только все это для платформы Эрланг.

Так что я бы не сказал, что это вообще нулевой результат.
Edited Date: 2016-08-22 12:45 am (UTC)

Date: 2016-08-22 04:50 am (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Ну слава те господи. Я вообще-то в качестве болельщика тут.

Date: 2016-09-03 11:21 pm (UTC)
From: [identity profile] maxim.livejournal.com
Более низкого человека, чем ты в ЖЖ поискать еще нада.

Date: 2016-09-04 12:07 am (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Интересно слышать это от буддиста. Очень интересно.

Date: 2016-09-04 12:11 am (UTC)
From: [identity profile] maxim.livejournal.com
Да да, очень удобно иметь за пазухой буддистов-терпил которые тебе будут дефирамбы петь и говорить какой ты прекрасный человек. Этот каментарий настолько показательный что просто пиздец душу как захватывает. Что дальше? Ты скажешь что буддистам математикой нельзя заниматься, потому что они тебя нахуй послали?
Edited Date: 2016-09-04 12:16 am (UTC)

Date: 2016-09-04 12:21 am (UTC)
From: [identity profile] maxim.livejournal.com
Буддист, хуле. Отношения с Ганди стоят меньше чем лямбда терм False в черч кодировке.
Edited Date: 2016-09-04 12:22 am (UTC)

Date: 2016-09-04 12:29 am (UTC)
From: [identity profile] maxim.livejournal.com
Так для чего ты мне это говоришь?
1) чтобы я переписал писать сюда?
2) писал то что тебе нравится?
Edited Date: 2016-09-04 12:29 am (UTC)

Date: 2016-09-04 12:40 am (UTC)
From: [identity profile] maxim.livejournal.com
Какую, тем что обижаю твоего друга у тебя в журнале?

Date: 2016-09-04 12:54 am (UTC)
From: [identity profile] maxim.livejournal.com
То, что ты там написал, это твое мнение, А мое мнение такое, что грубить тебе или Ганди я еще даже не начинал.
У тебя уровень дискуссии заданный этим постом нулевой.
Ты нихуя не разобрался в проблеме и конфликте.
Запостил какой-то свой высокопырный коменнтарий который вообще мало касается сути происходящего.
Твой Ганди и ты даже не можете понять чем Паша занимался.
Зато про бизнес и буддизм советов тут нараздавали.

Date: 2016-09-04 01:09 am (UTC)
From: [identity profile] maxim.livejournal.com
Видишь, ты плохо разобрался, В этой истории нет программистов, EXE — сугубо математический проект в котором ГРУБО-ГОВОРЯ один ебанутый буддист беспредельшик, а второй сумашедший математик с третьей степенью инвалидности. Жду рассказа KNOW HOW устроить успешный производственный процесс.

С разных сторон желательно!

Date: 2016-09-04 01:21 am (UTC)
From: [identity profile] maxim.livejournal.com
Уверен ты думаешь, что ведешь высоинтеллектуальную беседу.
Для меня это просто еще один йобаный, ничего не стоящий камент чувака, который нихуя не понял но решил пиздануть :-)
Что ты меня можешь научить в отношениях работодатель-подчиненный или программист-математик или человек-человек или буддист-католик я себе слабо представляю. Ты вообще кто? Сколько тебе лет? И с какого ты района?

Date: 2016-09-04 01:34 am (UTC)
From: [identity profile] maxim.livejournal.com
Могу, но нахуй? Что это мне даст?

(no subject)

From: [identity profile] maxim.livejournal.com - Date: 2016-09-04 01:38 am (UTC) - Expand

Date: 2016-09-04 12:38 pm (UTC)
From: [identity profile] gineer.livejournal.com
Суждение не дилетантское: оно основано на классификации, предложенной гением Льва Давидовича Ландау (который одинаково хорошо разбирался во всех поименованных областях). Дау учил, что человеческие начинания проходят через пять последовательных стадий: учреждение, заведение, лавочка, кабак и бардак.

http://shkrobius.livejournal.com/585959.html

Date: 2016-09-04 12:42 am (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Нахуя бы мне, милок, сдались твои дифирамбы?

Date: 2016-09-04 12:44 am (UTC)
From: [identity profile] maxim.livejournal.com
Так а что профессор изволит? Что буддисты профессору должны?

Date: 2016-09-04 12:45 am (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Как профессор католического университета, могу дать один совет - молитесь.

Date: 2016-09-06 02:17 am (UTC)

Profile

dennisgorelik: 2020-06-13 in my home office (Default)
Dennis Gorelik

May 2025

S M T W T F S
    123
45678910
11 121314151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated May. 22nd, 2025 04:15 am
Powered by Dreamwidth Studios