![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Очень откровенный (и интересный) "разбор полётов":
http://maxim.livejournal.com/484972.html
> человеку, котрый прикоснулся к созданию прувера, уже тяжело себя заставить писать обычные Web приложения на джава-скрипте
Вот такая странная мотивация у математиков.
> мы договорились, что я ему перечисляю "на еду" (как он выразился деньги) в размере 2000 грн в неделю.
Это меньше $400/месяц.
Что делает найм энтузиастов-математиков очень привлекательным.
При условии, что есть возможность достичь практический результат.
> С начала года прошла 31 неделя и было выплачено 65,149 грн. Получается 2101,5 копеек.
$2580 - чувствительно, но не много для неудавшегося бизнес-эксперимента.
> я не получил алгоритм кодировки, который был бы понятен условному Кметту. Павел говорит, что у него он в ЖЖ
Это типичная проблема с абстрактными теоретиками. Они получают удовольствие от теоретических исследований, но не любят тратить своё время на изложение своих достижений в виде, понятном простым смертным (таким, как их работодатель).
Thanks to thedeemon and juan_gandhi
http://maxim.livejournal.com/484972.html
> человеку, котрый прикоснулся к созданию прувера, уже тяжело себя заставить писать обычные Web приложения на джава-скрипте
Вот такая странная мотивация у математиков.
> мы договорились, что я ему перечисляю "на еду" (как он выразился деньги) в размере 2000 грн в неделю.
Это меньше $400/месяц.
Что делает найм энтузиастов-математиков очень привлекательным.
При условии, что есть возможность достичь практический результат.
> С начала года прошла 31 неделя и было выплачено 65,149 грн. Получается 2101,5 копеек.
$2580 - чувствительно, но не много для неудавшегося бизнес-эксперимента.
> я не получил алгоритм кодировки, который был бы понятен условному Кметту. Павел говорит, что у него он в ЖЖ
Это типичная проблема с абстрактными теоретиками. Они получают удовольствие от теоретических исследований, но не любят тратить своё время на изложение своих достижений в виде, понятном простым смертным (таким, как их работодатель).
Thanks to thedeemon and juan_gandhi
no subject
Date: 2016-09-04 04:16 am (UTC)Ну какая-то часть правды в этом есть. Впринципе со стороны такой взгляд ок.
Назови мне хоть одну компанию которая заработала на продаже языков.
Конечно у создании языка есть цель, в данном случае — это повышение качества.
Бизнесу повезет если перепишем KVS на любой язык с типами.
А если докажем хоть одну теорему с экстрактом в Эрланг — то это вообще песня будет.
Если будет эффективно — это еще сутпенька.
Но EXE и то чем занимался Паша выходит за рамки этого. Далеко-далеко.
no subject
Date: 2016-09-04 05:51 am (UTC)Microsoft.
Только продают они языки не напрямую, а как часть платформы Windows.
Или T-SQL как часть SQL Server.
> Бизнесу повезет если перепишем KVS на любой язык с типами.
В каких практических достижениях будет выражаться это "перепишем KVS на любой язык с типами"?
> докажем хоть одну теорему с экстрактом в Эрланг — то это вообще песня будет
Какая практическая польза будет от такой "песни"?
> Но EXE и то чем занимался Паша выходит за рамки этого
У этого "выхода за рамки" - есть какая-то практическая цель?
no subject
Date: 2016-09-04 01:45 pm (UTC)Хотя SQL сервер — это продукт, и ты можешь его использовать без T-SQL а используя скажем Linq.
T-SQL отедльно не продается, как и не продается F*, F#, C#, WMI Script, Jet (база реестра) и NTFS язык запросов.
Haskell — это тоже продукт Microsoft и на нем она тоже не зарабатывает.
Microsoft начиналась как компания которая собирается продавать BASIC, но сейчас ни одна компания не зарабатывает деньги на языках — это просто невозможно.
Зарабатывать можно только на продуктах. Практические цели? Отсувствуе ошибок. Тот кому надо 100% гарантия отсутвтвия ошибок в коде, тому этот проект может быть инетерсен. Вот и все практические достижение.
no subject
Date: 2016-09-04 05:27 pm (UTC)Как использовать SQL Server без T-SQL?
Данные же нужно как-то из базы данных извлечь.
Linq применяется уже на стороне клиента.
> T-SQL отедльно не продается
Это же не значит, что T-SQL вообще не продаётся.
> Отсувствуе ошибок. Тот кому надо 100% гарантия отсутвтвия ошибок в коде
Это 100%-е "Отсувствуе" ошибок с двумя грамматическими ошибками в одном слове звучит довольно забавно.
Ну и "100%-я гарантия отсутствия ошибок в коде" - это же как обещание построить вечный двигатель второго рода. Теоретически возможно, но практически невероятно для любой достаточно сложной программы.