Alexander
Каинды, которые выпилили?
Alexander
Единица?
кана
ну, это TypeInType
Vladislav
(На самом деле это не ребус, а шутка про то, что ★ это не интуитивная нотация, которая выглядит как ребус)
Vladislav
а так да, это просто Type :: Type аксиома
A64m
: не хватает
Alexander
Это тест Роршаха для хаскелистов
A64m
мне кажется или между : и * и между * и : интервалы разные?
кана
не кажется
Vladislav
как Гимп откёрнил, так и запостил
Vladislav
мне тоже не нравится
Alexander
А что не так? Кодирует ассиметричность. Вы же вчера про нее говорили, если не ошибаюсь
A64m
xkcd 1015
Vladislav
мемсов что ль поделать
Dmitry
Дело нужное
Vladislav
когда агдисты и кокщики жалуются на Type :: Type в Haskell
Vladislav
Anton
“кокщик” — интересно звучит 😁
Anton
так кого тут надо кокнуть? 🐔
A64m
у агдистов же такой ключ есть
Vladislav
они на нем прототипируют и выключают, AFAIK
Anton
у Coq тоже: -type-in-type disable universe consistency checking
Vladislav
если серьезно, то понятия не имею как от Coq образовывать род деятельности
Dmitry
Dmitry
Это-то уже все видели?
Alexander
кокер-коекакер
Vladislav
Это-то уже все видели?
ага, это же еще в древности додумались до map, но это не помешало мейнстриму придумать for-циклы
Vladislav
кокер-коекакер
хватит кокщиков обижать, хорошие ребята, рано или поздно докажут что-нибудь полезное
Зигохистоморфный
кокщик напиши мне прув на кок
рядом аксиому чудотворную
...
Alexander
Кокарь, сделай мне прув!
Vladislav
coqareqoo (блин, не удержался, у них же петух на логотипе)
Maxim
:D
Maxim
ornool
Dmitry
|| NULL
Alexander
Стишок:
Кажется, нужны админы:
У нас здесь рай и Палестина
Andrey
Cheese
Vladislav
Ну да, но он-то от фамилии Coquand образован
Vladislav
То есть без лого можно было б возразить, что это просто сокращение
Aleksei (astynax)
Но лого то есть!
Ю ли я? 🤔
@graninas у меня от того вашего поста браузер тормозит :) Никогда столько комментов в одном месте не видел.
Alexander
@graninas у меня от того вашего поста браузер тормозит :) Никогда столько комментов в одном месте не видел.
Есть хабрапост под названием "посты-рекордсмены", там и двухтысячекомментированные есть.
Но да, я сам не ожидал.
Dmitry
Вот что пост чудотворный делает!
Dmitry
Что за пост, кстати?
Dmitry
А, читал. Ну, то-то думаю, стиль знакомый :)
Dmitry
@graninas А что скажете на ответ из https://t.me/manandthemachine ? (предпоследние три поста)
Крылатый
https://m.habr.com/post/413819/
> Подозреваю, что выборку попадают всякие странные вакансии с ЗП 20 — 40 т.р. Это тоже рынок, еще один, но это что-то местечковое, кустарное, сугубо провинциальное.
Опять москаль пишет за всё?)
Alexander
А, читал. Ну, то-то думаю, стиль знакомый :)
О! Это очень хорошо, если мой стиль узнается... Или это стиль а-ля "как все плохо, мне все должны"? Гм
Dmitry
Alexander
Alexander
@graninas А что скажете на ответ из https://t.me/manandthemachine ? (предпоследние три поста)
Спасибо, сейчас пойду читать.
Dmitry
> Подозреваю, что выборку попадают всякие странные вакансии с ЗП 20 — 40 т.р. Это тоже рынок, еще один, но это что-то местечковое, кустарное, сугубо провинциальное.
Опять москаль пишет за всё?)
Ну мне вот на полном серьёзе иногда предлагают пойти в местный филиал какой-то нефтекомпании за з.п. в 30 т.р., на 1С писать. Это во Владивостоке.
Dmitry
(при этом у нас 60-80 т.р. локально вполне реально зарабатывать, даже джунам)
Alexander
Прочитал. В паблик бы этот ответ, а то он затеряется на просторах несанкционного Телеграма.
Dmitry
Это к автору :) Предложите, может, где-то опублиуется.
Kirill
Kirill
Dmitry
@graninas Так ведь не у всех работодателей есть большие $$$ , чтобы платить её разрабам как в Америке
Kirill
Уровень зарплат по сравнению с другими городами.
ну вон Стас и в тюмени хорошо получал программистом
кана
> Подозреваю, что выборку попадают всякие странные вакансии с ЗП 20 — 40 т.р. Это тоже рынок, еще один, но это что-то местечковое, кустарное, сугубо провинциальное.
Опять москаль пишет за всё?)
я правильно понял, вы имеете в виду, что это для москвы странно, а для остальной россии норм?
даже в рб в витебске, самом бедном городе рб, это мало для программиста
Крылатый
Anton
Ну да, но он-то от фамилии Coquand образован
На последнем CIW мне Coq девелоперы сказали, что это легенда. FAQ утверждает, что есть французская традиция называть языки в честь животных.
Dmitry
@graninas Так ведь не у всех работодателей есть большие $$$ , чтобы платить её разрабам как в Америке
Alexander
@graninas Так ведь не у всех работодателей есть большие $$$ , чтобы платить её разрабам как в Америке
Ну, стоит все же понимать, что статья - для поднятия этой темы, многие моменты, конечно, спорные или однобокие. Я, правда, не шел в комментарии, чтобы обсуждать что-то, пусть люди сами приходят к каким-то выводам.
Dmitry
Не, ну с одним из цимесов статьи -- что не имея возможности вливать деньги в разрабов, работодатели идут на манипуляции -- я согласен.
Dmitry
Прям в таком объёме, как в статье, я не встречал, но что-то похожее бывало.
Dmitry
Вообще, не понятно, как быть с абсолютно прозрачным рынком, ну, с полной информацией. Когда всем известно, что "на Западе" платят в N раз больше, а местные ничего аналогичного не могут предложить. По идее, всех уже должно было выпылесосить на этот Запад.
Дима
Скорость распространения высоких технологий даёт им небольшую фору
Dmitry
"им" -- кому?
Дима
Местным компаниям с 0 бюджета
Дима
Это переходный этап
A64m
по такой логике все богатые старны должны "выпылесосить" все бедные, но что-то не выпылесашивают
Dmitry
Ну вот я поэтому и думаю, что в связи с тем, что у нас форсится переход на цифровую экономику (tm), разрабов будут как-то законодательно удерживать. Этакое эмбарго.
Misha
по такой логике все богатые старны должны "выпылесосить" все бедные, но что-то не выпылесашивают
почему, очень даже выпылесашивают
просто это процесс небыстрый
A64m
ну т.е. пылесосят, но не выпылесосили еще