#вакансия Мы Metrix.AI. Мы разрабатываем технологию нового поколения для интернет-таргетинга, основанную на психологическом анализе пользователей. Наши технологии тесно переплетены с психологией, Machine Learning и NLP, и крепко основаны на Haskell и близких к нему языках. Мы стартап, но работаем с такими именитыми компаниями, как Publicis Groupe, Avon, Mars Corp., S7 Airlines, МТС и являемся участником 3-го потока гонконгского акселлератора Zeroth.AI. Наша команда насчитывает 6 хаскеллистов, а также ряд специалистов в других сферах. На данный момент мы ищем фронтэнд-разработчиков на PureScript / Elm. Ждём ваши резюме на jobs@metrix.ai!

#вакансия Мы Metrix.AI. Мы разрабатываем технологию нового поколения для интернет-таргетинга, основанную на психологическом анализе пользователей. Наши технологии тесно переплетены с психологией, Machine Learning и NLP, и крепко основаны на Haskell и близких к нему языках. Мы стартап, но работаем с такими именитыми компаниями, как Publicis Groupe, Avon, Mars Corp., S7 Airlines, МТС и являемся участником 3-го потока гонконгского акселлератора Zeroth.AI. Наша команда насчитывает 6 хаскеллистов, а также ряд специалистов в других сферах. На данный момент мы ищем фронтэнд-разработчиков на PureScript / Elm. Ждём ваши резюме на jobs@metrix.ai!

Удаленка?

Предпочтительно в офис в Мск, но рассматриваем и удалёнку

#вакансия Мы Metrix.AI. Мы разрабатываем технологию нового поколения для интернет-таргетинга, основанную на психологическом анализе пользователей. Наши технологии тесно переплетены с психологией, Machine Learning и NLP, и крепко основаны на Haskell и близких к нему языках. Мы стартап, но работаем с такими именитыми компаниями, как Publicis Groupe, Avon, Mars Corp., S7 Airlines, МТС и являемся участником 3-го потока гонконгского акселлератора Zeroth.AI. Наша команда насчитывает 6 хаскеллистов, а также ряд специалистов в других сферах. На данный момент мы ищем фронтэнд-разработчиков на PureScript / Elm. Ждём ваши резюме на jobs@metrix.ai!

Рассматриваете сотрудничество с другими Haskell R&D компаниями?

++

Рассматриваете сотрудничество с другими Haskell R&D компаниями?

Можем в личке обсудить!

cabal: <<loop>> найс

Можем в личке обсудить!

что интересно будет Tweag тоже зовите

что интересно будет Tweag тоже зовите

Ага! Учту, Саш

https://www.stackage.org/haddock/lts-11.4/websockets-rpc-0.6.0/Network-WebSockets-RPC.html кто-то уже написал :(

только документировать забыл

gonets (гонец) - типа побежал с запросом в remote локацию, и вернулся

sha256-besgoy

sha256bes-goy тогда уж

Отлично :) А что здесь bes означает?

шаббес гой потому что

А, ну Вики не согласна, но ладно

ну мы же по английски назовём, да https://en.wikipedia.org/wiki/Shabbos_goy

Что взять, MonadBaseControl IO или MonadUnliftIO?

вообще мне нужно вот такие стримы гонять foo :: (req -> S.Stream (S.Of stream) m result) -> IO (). Может брать натуральную трасформашку как аргумент? foo :: (req -> S.Stream (S.Of stream) m result) -> (forall a . m a -> IO a)-> IO () - но тогда оно ничем от MonadUnlifIO не отличается

хотя во втором случае пользователь сам может делать runResourceT

да, сделаю две функции!

я про технологии в принципе. многие хорошие вещи сделаны не на том что нам нравится. и ругать то чем пользуешься - как-то странно

> и ругать то чем пользуешься - как-то странно Странно? А может естественно? Чем больше чем-то пользуешься, тем больше всякого дерьма находишь, и тем больше понимаешь что там фатальный недостаток.

как разработчик - да. чем больше пользуешься какой-то технологией, тем больше проблем встречаешь. как пользователь - вряд ли пользуясь продуктом который нравится(например spotify, soundcloud, twitter или там нетфликс), ты задумываешься о том что какой-то там нетти на JVM сейчас ворочает твои запросы и кривишь нос. ты просто пользуешься продуктом и доволен что он работает как надо

Хуй там. то что я написал, это ко всему относится.

не совсем вас понял

... а не только к разработчикам.

окей. фатальный недостаток spotify не в том что нетти на JVM ворочает твои запросы

и вообще, пользуешся тем что меньше всего не приемлемо, а не тем что нравится.

у кого как)

у нас не матерятся

я про технологии в принципе. многие хорошие вещи сделаны не на том что нам нравится. и ругать то чем пользуешься - как-то странно

Есть всего два типа языков программирования: те, на которые люди всё время ругаются, и те, которые никто не использует.

страустпуп тебе еще не такого расскажет. Например как нужно учить людей правильному C++. Вот только он забыл что его не бывает правильного.

> ты просто пользуешься продуктом и доволен что он работает как надо не разу не доводилось еще встречать такой продукт

> ты просто пользуешься продуктом и доволен что он работает как надо не разу не доводилось еще встречать такой продукт

у меня есть парочка

страустпуп тебе еще не такого расскажет. Например как нужно учить людей правильному C++. Вот только он забыл что его не бывает правильного.

c++ срачи shall not pass в этом итт чате

Если тебя всё удовлетворяет, то это симптом овощизма

у меня есть парочка

могу только позавидовать, конечно

c++ срачи shall not pass в этом итт чате

ты начал. кажется...

Если тебя всё удовлетворяет, то это симптом овощизма

вы сторонник сильных заявлений

ты начал. кажется...

увольте, там про c++ ни слова не было

вы сторонник сильных заявлений

Тем и известен

увольте, там про c++ ни слова не было

Да ну, а про что там?

про хаскель например

Есть всего два типа языков программирования: те, на которые люди всё время ругаются, и те, которые никто не использует.

потому что если б использовали, то узнали что это адский ад

Слабые заявления для научных дискуссий, а тут набрасывают прост

про хаскель например

Та фраза - попытка оправдать C++.

потому что если б использовали, то узнали что это адский ад

Как говорили в жуйке "всё говно"

что интересно будет Tweag тоже зовите

Ты опять демпинговать будешь? :)

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

А где сейчас принято производить не говно?

@wormholio FP Complete тоже можете позвать, например

У нас приоритет - в штат людей брать.

А где сейчас принято производить не говно?

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

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

То есть только в натуральном хозяйстве?

То есть только в натуральном хозяйстве?

нет, везде кроме ит

Но в производстве чего угодно (машин, зданий, мебели) точно также

Ты просто описал любое промышленное производство

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

с машинами не так давно, но довольно давно

*ехидно вспомнил падение современных российских ракет*

нет, везде кроме ит

Кажется что только ит и может что-то путьнее делать, в отличаии от остьльных у них ведь только время уходит на разработку и тестирование (не будем всякое электричество считать), а другим еще и материалы расходовать нужно.

Можно сказать, что в совке было не так, но совок это огромное натуральное хозяйство

*ехидно вспомнил падение современных российских ракет*

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

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

Да ладно, в совке их десятками тысяч производили

До сих пор в космос на советских ракетах летаем, с перестройки 33 года прошло

10000 это сверхмалая серия для любого производства

ERROR: S client not available

@wormholio FP Complete тоже можете позвать, например

вы слишком дорогие :Р

Вот айти это в принципе штучное производство

да и что там ДЕСЯТКАМИ тысяч производили-то?

Двигатели, очевидно

Ты опять демпинговать будешь? :)

у Tweag ценник ниже (точно), а квалификация выше (наверное)

Двигатели, очевидно

какие именно?

у Tweag ценник ниже (точно), а квалификация выше (наверное)

ок, уговорил :)

какие именно?

https://ru.m.wikipedia.org/wiki/Р-7 гугл говорит, что рашка летает на этом до сих пор

Вот айти это в принципе штучное производство

кучей макак за печатными машинками

кучей макак за печатными машинками

Самокритично

ракетных двигателей было выпущено реально много. потому что далеко не все из них стоят на ракетах - бОльшая часть хранится в тех же условиях и регулярно проводятся КВИ (контрольно-выборочные испытания) чтобы убедиться (статистически) что движки на ракетах норм. а ЖРД штука одноразовая, после КВИ от нее остается обгарок.

https://ru.m.wikipedia.org/wiki/Р-7 гугл говорит, что рашка летает на этом до сих пор

ну всех модификаций РД-107 наделали больше 10000 но не ДЕСЯТКИ тысяч

ракетных двигателей было выпущено реально много. потому что далеко не все из них стоят на ракетах - бОльшая часть хранится в тех же условиях и регулярно проводятся КВИ (контрольно-выборочные испытания) чтобы убедиться (статистически) что движки на ракетах норм. а ЖРД штука одноразовая, после КВИ от нее остается обгарок.

Сколько их нужно таких испытать, чтобы можно было сказать что остальные нормально работают или не работают?

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

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

Сколько уйдет времени чтобы выпустить партию новых двигателей?

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

речь вроде была про РН

Сколько уйдет времени чтобы выпустить партию новых двигателей?

вы иностранный агент?

речь вроде была про РН

насколько я помню, ваш оппонент писал о движках

нет, но давайте будем делать овер 9000, а потом от делать нечего выкидывать их.

о движках РН

так и мы не про автомобильные

но и для движков МБР тоже всякие адовые числа не типичны

Это точно хаскель-чат?

нет, но давайте будем делать овер 9000, а потом от делать нечего выкидывать их.

писать глупости сейчас модно, да.

наверно, я незнаю.

ваше незнание очевидно. но оно вас не смущает и не мешает вам продолжать.

бесполезный чат какой стал

бесполезный чат какой стал

Так всё полезное унесли в другие чаты

Тут только флуд

Осталось сделать чат @haskell_hard про линзы, фри-монады и продакшон дивепломент на хаскеле и этот окончательно умрёт

В прочем чё вы паритесь, завтра телеграм заблокируют