AG
Ну вот. А тут люди думают, что вот это вот легко, играючи можно распиливать по бюджету в день на пруфах-то
ну я уже говорил, это надо по возможности с европейцами работать
Size: a a a
2020 December 06
YR
Я, кстати, такую же идею слышал и про благотворность "мичуринской биологии". Крестьяне всё время чем-то занимались и "меньше вредили".
да это много где можно встретить: большинство современных _крупных_ ИТ компаний - натуральные богодельни
С
Про доказательства на Coq. Дело не в образовании, а в том чтобы человек, умеющий это, не пошёл писать на ангуляре за 3Х зарплаты от Coq
KV
Про доказательства на Coq. Дело не в образовании, а в том чтобы человек, умеющий это, не пошёл писать на ангуляре за 3Х зарплаты от Coq
Лол что?
AG
звучит странновато да
AC
ну тут немного по другому
AG
он скорее бэкенд пойдет на расте каком писать
AC
зачем напрягаться на коке
ХГ
Yuki Rito
да это много где можно встретить: большинство современных _крупных_ ИТ компаний - натуральные богодельни
Им в плане богаделен далеко до провинциальных универов.
AC
если можно работать четыре часа в день на руби
KV
Пруфы писать любой дурак может. Вот писать пруфы ЗА ДЕНЬГИ — это уже надо быть семи пяней во лбу, как онотоле
AC
я например пошел работать туда где надо фигачить по 8 часов и отдавать себя потому что я честолюбивый дурак
AC
хочу работать там где больше влияния и возможности себя проявить
С
звучит странновато да
Я могу ошибаться, Трунов вот пошёл в крипту вроде, но самый высокоплачиваемый из мне известных программистов, некий orleantz из ЖЖ, как раз является контрактором на Ангуляре, в Швейцарии
AG
если можно работать четыре часа в день на руби
с такой мотивацией до кока не дойдешь, там нужно сочетание усердия и неистребимой тяги к абстракциям
AC
был бы поумнее - стал бы тимлидом за тысяч 5 тут же в СНГ, построил бы дом, купил машину себе и жене и жил бы в свое удовольствие
AC
ну, пока аутсорс не сложится
AG
Я могу ошибаться, Трунов вот пошёл в крипту вроде, но самый высокоплачиваемый из мне известных программистов, некий orleantz из ЖЖ, как раз является контрактором на Ангуляре, в Швейцарии
так он в крипте на коке продолжает писать
AC
из-за кризиса или АI
YR
ну в штатах выросло целое поколение таких сотрудников в академической среде - они делают фиг пойми что, гранты есть, можно заниматься этим всем. Да это даже видно по демократическим организациям: им выделяют бабки на продвижение, они делают на "от..ись": сайты, кот. никто не читает, газеты, фильмы, кот. никто не смотрит