Да!

АААААА

это была точка

Ну хорошо. Подсказка: вы это часто пишете в своих программах

слишком очевидная подсказка

Да уж

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

Моноид в категории желтых колобков ?

колобкоид

в категории коколобков

@anpryl а у тебя дотфайлы не зашарены?

https://github.com/anpryl/dotfiles

мне конечно за них стыдно

:)

но спрашивай если что не понятно

хороший тамада, и конкурсы интересные

Сейчас вам тоже ребус придумаю

Спокойно.

Ну вот.

странные ошибки и долгая компиляция?

Каинды, которые выпилили?

Единица?

ну, это TypeInType

(На самом деле это не ребус, а шутка про то, что ★ это не интуитивная нотация, которая выглядит как ребус)

а так да, это просто Type :: Type аксиома

: не хватает

Это тест Роршаха для хаскелистов

мне кажется или между : и * и между * и : интервалы разные?

не кажется

как Гимп откёрнил, так и запостил

мне тоже не нравится

А что не так? Кодирует ассиметричность. Вы же вчера про нее говорили, если не ошибаюсь

xkcd 1015

мемсов что ль поделать

Дело нужное

когда агдисты и кокщики жалуются на Type :: Type в Haskell

“кокщик” — интересно звучит ?

так кого тут надо кокнуть? ?

у агдистов же такой ключ есть

они на нем прототипируют и выключают, AFAIK

у Coq тоже: -type-in-type disable universe consistency checking

“кокщик” — интересно звучит ?

а если феминитив, то кокетка

если серьезно, то понятия не имею как от Coq образовывать род деятельности

“кокщик” — интересно звучит ?

Кокер, Спаниель

Это-то уже все видели?

кокер-коекакер

Это-то уже все видели?

ага, это же еще в древности додумались до map, но это не помешало мейнстриму придумать for-циклы

кокер-коекакер

хватит кокщиков обижать, хорошие ребята, рано или поздно докажут что-нибудь полезное

кокщик напиши мне прув на кок рядом аксиому чудотворную ...

Кокарь, сделай мне прув!

coqareqoo (блин, не удержался, у них же петух на логотипе)

:D

ornool

|| NULL

Стишок: Кажется, нужны админы: У нас здесь рай и Палестина

coqareqoo (блин, не удержался, у них же петух на логотипе)

у них и в названии coq — петух

Ну да, но он-то от фамилии Coquand образован

То есть без лого можно было б возразить, что это просто сокращение

Но лого то есть!

@graninas у меня от того вашего поста браузер тормозит :) Никогда столько комментов в одном месте не видел.

@graninas у меня от того вашего поста браузер тормозит :) Никогда столько комментов в одном месте не видел.

Есть хабрапост под названием "посты-рекордсмены", там и двухтысячекомментированные есть. Но да, я сам не ожидал.

Вот что пост чудотворный делает!

Что за пост, кстати?

Что за пост, кстати?

https://m.habr.com/post/413819/

ERROR: S client not available

А, читал. Ну, то-то думаю, стиль знакомый :)

@graninas А что скажете на ответ из https://t.me/manandthemachine ? (предпоследние три поста)

https://m.habr.com/post/413819/

> Подозреваю, что выборку попадают всякие странные вакансии с ЗП 20 — 40 т.р. Это тоже рынок, еще один, но это что-то местечковое, кустарное, сугубо провинциальное. Опять москаль пишет за всё?)

А, читал. Ну, то-то думаю, стиль знакомый :)

О! Это очень хорошо, если мой стиль узнается... Или это стиль а-ля "как все плохо, мне все должны"? Гм

О! Это очень хорошо, если мой стиль узнается... Или это стиль а-ля "как все плохо, мне все должны"? Гм

Не, стиль письма.

> Подозреваю, что выборку попадают всякие странные вакансии с ЗП 20 — 40 т.р. Это тоже рынок, еще один, но это что-то местечковое, кустарное, сугубо провинциальное. Опять москаль пишет за всё?)

Нет, я в Москве не жил

@graninas А что скажете на ответ из https://t.me/manandthemachine ? (предпоследние три поста)

Спасибо, сейчас пойду читать.

> Подозреваю, что выборку попадают всякие странные вакансии с ЗП 20 — 40 т.р. Это тоже рынок, еще один, но это что-то местечковое, кустарное, сугубо провинциальное. Опять москаль пишет за всё?)

Ну мне вот на полном серьёзе иногда предлагают пойти в местный филиал какой-то нефтекомпании за з.п. в 30 т.р., на 1С писать. Это во Владивостоке.

(при этом у нас 60-80 т.р. локально вполне реально зарабатывать, даже джунам)

Прочитал. В паблик бы этот ответ, а то он затеряется на просторах несанкционного Телеграма.

Это к автору :) Предложите, может, где-то опублиуется.

> Подозреваю, что выборку попадают всякие странные вакансии с ЗП 20 — 40 т.р. Это тоже рынок, еще один, но это что-то местечковое, кустарное, сугубо провинциальное. Опять москаль пишет за всё?)

он не из москвы)

он не из москвы)

Питер/Новосиб/Ёбург в ту же степь.

> Подозреваю, что выборку попадают всякие странные вакансии с ЗП 20 — 40 т.р. Это тоже рынок, еще один, но это что-то местечковое, кустарное, сугубо провинциальное. Опять москаль пишет за всё?)

Почему в ту же степь?

Почему в ту же степь?

Уровень зарплат по сравнению с другими городами.

@graninas Так ведь не у всех работодателей есть большие $$$ , чтобы платить её разрабам как в Америке

Уровень зарплат по сравнению с другими городами.

ну вон Стас и в тюмени хорошо получал программистом

> Подозреваю, что выборку попадают всякие странные вакансии с ЗП 20 — 40 т.р. Это тоже рынок, еще один, но это что-то местечковое, кустарное, сугубо провинциальное. Опять москаль пишет за всё?)

я правильно понял, вы имеете в виду, что это для москвы странно, а для остальной россии норм? даже в рб в витебске, самом бедном городе рб, это мало для программиста

я правильно понял, вы имеете в виду, что это для москвы странно, а для остальной россии норм? даже в рб в витебске, самом бедном городе рб, это мало для программиста

Нет, неправильно.

Ну да, но он-то от фамилии Coquand образован

На последнем CIW мне Coq девелоперы сказали, что это легенда. FAQ утверждает, что есть французская традиция называть языки в честь животных.

@graninas Так ведь не у всех работодателей есть большие $$$ , чтобы платить её разрабам как в Америке

@graninas Так ведь не у всех работодателей есть большие $$$ , чтобы платить её разрабам как в Америке

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

Не, ну с одним из цимесов статьи -- что не имея возможности вливать деньги в разрабов, работодатели идут на манипуляции -- я согласен.

Прям в таком объёме, как в статье, я не встречал, но что-то похожее бывало.

Вообще, не понятно, как быть с абсолютно прозрачным рынком, ну, с полной информацией. Когда всем известно, что "на Западе" платят в N раз больше, а местные ничего аналогичного не могут предложить. По идее, всех уже должно было выпылесосить на этот Запад.

Скорость распространения высоких технологий даёт им небольшую фору

"им" -- кому?

Местным компаниям с 0 бюджета

Это переходный этап

по такой логике все богатые старны должны "выпылесосить" все бедные, но что-то не выпылесашивают

Ну вот я поэтому и думаю, что в связи с тем, что у нас форсится переход на цифровую экономику (tm), разрабов будут как-то законодательно удерживать. Этакое эмбарго.

по такой логике все богатые старны должны "выпылесосить" все бедные, но что-то не выпылесашивают

почему, очень даже выпылесашивают просто это процесс небыстрый