расскажу, если интересно, про суть

Всегда интересно!

а что такое Kaspersky OS ?

ну вощем, ось у нас своя, с нуля, на своем ядре (микроядерная) встроенная по сути (стек C\C++, assembler), на хаскеле у нас компилятор, исполняемая специфика ядра, ну и сборщики всякие, генераторы и т.д. - это если кратко и по делу)

ОС под какие задачи? какая-нибудь есть связь с основной деятельностью компании?

Tamara а сколько у вас уже там народа над ней работает, и сколько хотите еще набрать?

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

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

не без виртуализации наверно?

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

все верно

гипервизор тоже пишем

Tamara а сколько у вас уже там народа над ней работает, и сколько хотите еще набрать?

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

Tamara А сетевой стек у нее полностью свой, или взяли откуда-то? FreeBSD, NetBSD ?

Tamara знакомы ли работы по построению сетевых стеков на высокоуровневых языках, например, как в MirageOS или HaLVM ?

планируете что-нибудь такое, или пока стек из какой-то существующей ОС?

Tamara А сетевой стек у нее полностью свой, или взяли откуда-то? FreeBSD, NetBSD ?

свой

написанный на C ?

на С / Ivory ? полностью на C ?

какая же ОС будет безопасной, если всё снова на C ((

на С / Ivory ? полностью на C ?

полностью С

ага!

Tamara знакомы ли работы по построению сетевых стеков на высокоуровневых языках, например, как в MirageOS или HaLVM ?

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

Tamara очень интересно, спасибо!

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

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

и в гиттер еще

полно людей на самом деле знают C, просто скрывают это

https://os.kaspersky.com/ Сабж

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

ура

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

На российском рынке мало народа, кто решается юзать ФП, в частности, хаскел

Их можно, наверное, пересчитать на пальцах

в мск вообще первосортных работодателей можно пересчитать по пальцам

если уж на то пошло.

Да уж

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

:3

alphasheets все народ искают

писали на реддите еще давно

а это кто?

но они немного странные местами

excel в вебе с питоном сикуэл и R

америкосы

мы их консультируем

и хаскел им на бекенд?

да

сервант?

wai+websocket

а, ясно

и внутри куча кода строящегося графы зависимостей и шедулящее вычисления в ядрах

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

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

К терапевту, он направит

thanks

ну, такое можно и в основной канал постить, мне кажется. никто не обидится

тутэто *очень* быстро потеряется. Отдельный канал, куда капали бы только job offers, был бы полезен.

для вакансий создан @haskelljob

оо, круто, зашлю сейчас, спасибо)

для вакансий создан @haskelljob

Там типа работодатели будут писать?

Там типа работодатели будут писать?

да любой хайринг

да любой хайринг

И как они будут к нему доступ получать?

И как они будут к нему доступ получать?

форвард через админов

Чет так себе. На хедхантер б лучше постили

чатик который не придётся мьютить

Чет так себе. На хедхантер б лучше постили

не постят потомучто думают что их (хаскелистов) нет и наоборот курица и яйцо

Бред мне кажется. А так они будут постить в черную дыру, потому что поисковики в телеграмы пока не заходят.

Бред мне кажется. А так они будут постить в черную дыру, потому что поисковики в телеграмы пока не заходят.

а канал не для поисковиков а для людей

тем более форвард в веб тоже будет

блин это канал

группу было бы лучше

хотел форварднуть сообщения вчерашние со скального чатика

+1 уровень косвенности (форвардинг админов) убивает всё

но увы, форвардите сами

Есть же https://www.reddit.com/r/ruhaskell/, ruhaskell.org вот это все

эйчар зайдёт скажет пфф, не станет писать

лол, он даже сюда залез

лол, он даже сюда залез

что?

но увы, форвардите сами

форварднул

группу было бы лучше

тогда вероятно там будут разговоры не о работе а тут о работе :)

Админы могут объявы просто пинить прям тут.

Канал норм идея. Для объявлений. Обсуждать можно и здесь

Одно объявление занимает 10% экрана телефона

Если пинить

Крестик нажать и не занимает. Да, админам так нельзя, потому что тогда они его удалят из чата.

ту-туру! https://ruhaskell.org/posts/events/2017/03/28/meetup-spring.html

а есть ли видео с прошлой встречи?

нашел видео с прошлой конфы, если кому интересно https://www.youtube.com/watch?v=f6TmB6Zw8MQ

ту-туру! https://ruhaskell.org/posts/events/2017/03/28/meetup-spring.html

А в СПб есть какая-нибудь движуха по хаселю?

fprog близко

надо чтобы serakel огранизовывали, в то чо шифруются

Кто-нибудь знает как сделать так. Есть некоторая функция f :: a -> b -> c внутри этой функции надо объвить функцию g :: a -> c типы a,b,c переменные и в функции g их тоже надо указать через переменные, но через те что для функции f.

ScopedTypeVariabels + forall a b c.

пасиб, гляну !