parket
Как это состыковать...
Alexander
я думаю стоит найти статью а не wiki
Alexander
где все намешано
Anonymous
#работа В команду создающую блокчейн нового типа. Основанный на DAG и генерации блоков. Требуются программисты для усиления команды. Работа с самыми передовыми технологиями и вызовами современного мира финтеха. Нам нужны люди кто не боится разбираться в коде, новых алгоритмах. Кто может сам придумать новый алгоритм для анализа графа или знает все текущие. Для кого слова бинарное аннотированное дерево, не темный лес :). Те кто знает как шардинг в mongoDB или hadoop работают на низком уровне! Желаетльно знать haskell или ответить на вопрос почемы мы выбрали его для написания блокчейна. Никакой скучной работы, только хардкор! Стрессоустойчивость обязательна. Рассматриваем кандидатов по следующим направлениям, в офис в Санкт-Петербурге или на удаленку: Программист математик (Haskell): Знание языка как своего родного, умение пользоваться git, опыт работы в командах. Обязанности: Разработка ядра системы, анализ графа, подсчета ledger-а и многого остального что будет в основе блокчейна Программист сетевого взаимодействия (Haskell or C++ or Go): Знание построения пиринговых сетей, протоколов наподобие Netsukuku, UDP Hole punching Обязанности: Разработка RPC клиента сети Программист hacker (Any): Умения копаться в коде искать его слабые стороны и потенциальные дыры. Опыт проведения пентестов систем и аудитов смарт-контрактов на уязвимость. Обязанности: Помощь команде в организации самого безопасного и надежного блокчейна. Мы не хотим чтобы было как в Parity ;) Условия сотрудничества, чай-кофе, плюшки и бла-бла-бла есть и готовы обсудить их с кандидатами. Резюме и почему хотите работать в блокчейне присылайте на: cto@enecuum.io или @enecuum_CTO
Denis
#работа В команду создающую блокчейн нового типа. Основанный на DAG и генерации блоков. Требуются программисты для усиления команды. Работа с самыми передовыми технологиями и вызовами современного мира финтеха. Нам нужны люди кто не боится разбираться в коде, новых алгоритмах. Кто может сам придумать новый алгоритм для анализа графа или знает все текущие. Для кого слова бинарное аннотированное дерево, не темный лес :). Те кто знает как шардинг в mongoDB или hadoop работают на низком уровне! Желаетльно знать haskell или ответить на вопрос почемы мы выбрали его для написания блокчейна. Никакой скучной работы, только хардкор! Стрессоустойчивость обязательна. Рассматриваем кандидатов по следующим направлениям, в офис в Санкт-Петербурге или на удаленку: Программист математик (Haskell): Знание языка как своего родного, умение пользоваться git, опыт работы в командах. Обязанности: Разработка ядра системы, анализ графа, подсчета ledger-а и многого остального что будет в основе блокчейна Программист сетевого взаимодействия (Haskell or C++ or Go): Знание построения пиринговых сетей, протоколов наподобие Netsukuku, UDP Hole punching Обязанности: Разработка RPC клиента сети Программист hacker (Any): Умения копаться в коде искать его слабые стороны и потенциальные дыры. Опыт проведения пентестов систем и аудитов смарт-контрактов на уязвимость. Обязанности: Помощь команде в организации самого безопасного и надежного блокчейна. Мы не хотим чтобы было как в Parity ;) Условия сотрудничества, чай-кофе, плюшки и бла-бла-бла есть и готовы обсудить их с кандидатами. Резюме и почему хотите работать в блокчейне присылайте на: cto@enecuum.io или @enecuum_CTO
Антон, мы в https://typeable.io консалтим по Haskell и блокчейнам, про блокдаги знаем, можем формальную верификацию.
Petrovich
чертов даг
Denis
можете на makeit@typeable.io писать или мне лично
Anonymous
чертов даг
У нас не даг а Directed Acyclic Hypergraph
Petrovich
я имел ввиду даггер хашимото, наверное был мисскоммьюникейшен сейчас
Denis
чудесно
Anonymous
который потом в блоки упаковываем
Alexander
минимум две фирмы в spb делающие криптовалюты весело
Евгений
Их очень много
Евгений
Когда мой начальник искал работу, то ему три или четыре приглашения от криптохайперов приходило
Alexander
на haskell
Евгений
Аааа
Евгений
Тут хз
Danya
Пацаны всем привет. Извините за оффтоп, работал кто с LexView файлами? Какой то ебанутый и недоделанный Lex со своими кастомными шрифтами. Все лабы по сабжу беседы в этом формате, а просмотрщик галимое уг на иксах с приветом из 90
Denis
криптовалют сейчас очень много, помимо всего прочего все сколько-нибудь стоящие пейперы на тему порождают по несколько новых реализаций
Leonid 🦇
ого, это поди лексикон. в 90е популярен был
Leonid 🦇
молодец препод, студентов тиранит.
Denis
ретро
Anonymous
криптовалют сейчас очень много, помимо всего прочего все сколько-нибудь стоящие пейперы на тему порождают по несколько новых реализаций
Да это так. Но мы решили поставить точку. Мы не форк битка с витаминами, мы не эфир на стеройдах, мы не IOTA со смартами. Мы совсем другие
Denis
как же меня вот это бесит https://ghc.haskell.org/trac/ghc/ticket/14444#ticket
Denis
мир боли с виртуалками, а не жизнь
Alexander
поставь уже нормальную ось на комп
Alexander
:trollface.dmg:
Denis
хм, есть подозрение что stack игнорирует system-ghc в настройках
Denis
по крайней мере судя по —verbose
Denis
как не снося весь ~/.stack ему запретить свой засендбокшенный ghc юзать?
Denis
а еще лучше скормить путь до ghc
Denis
блин, удалил, а скотинка качает ghc даже без —install-ghc
Denis
чяднт
A64m
теперь же инсталл гхц по умолчанию включен
Denis
я заметил
Denis
как выключить то
Denis
я ему system-ghc: true написал и в stack.yml и в CLI - хоть бы хны
A64m
вот это странно
Denis
skip-ghc-check помогло
Denis
без него не работает
Dmitry
Любят они там автоматизацию походу. Я вот с хаскелем играюсь уже долгое время, недавно наступил на грабли с intero в emacs, который хочет ставиться сам при открытии .hs файлов. Раньше сильно не беспокоило(сидел на fedora), сейчас переехал на nixos и вся эта "прелесная" автоматизация сломалась :(
Denis
работающий intero это вообще нонсенс
Dmitry
Ну я вот пока создал issue с посылом "ребят, не надо автоматически ничего ставить, это больно" и отложил свои игры с хаскелем в дальний ящик. Там вроде для разработки в емаксе есть ещё какие-то пакетики, может их потом попробую
Denis
расходиться метастазами это всего лишь дефолтное поведение
Кабачок
кек
Кабачок
то-то я не смог ни один плагин, кроме structured-haskell-mode, завести
Unat
Господа, а для совсем новичков группы нету? А то есть вопрос, но он малость туповат.
Unat
Есть-ли "развернутое" описание, что-ли, у liftIO? То-есть как достичь того-же эффекта, но иным путем
Евгений
Господа, а для совсем новичков группы нету? А то есть вопрос, но он малость туповат.
Задавай, тут бывает хейтят новичков, но оч несильно и редко
Unat
К примеру, есть замечательный $, но можно использовать скобочки.
Евгений
Ты хочешь оператор для liftIO, да?
Unat
не, я хочу понять как оно работает
Unat
это явно сокращение для чего-то длинного
Кабачок
. пижже $ /thread
Евгений
А, ну для разных монад он реализуется по разному
Евгений
Есть специальный тупекласс MonadIO: class (Monad m) => MonadIO m where -- | Lift a computation from the 'IO' monad. liftIO :: IO a -> m a
Евгений
Для IO, например liftIO это просто id
Кабачок
в gitter ruHaskell есть чат для новичков, но хз насколько он жив сейчас
Евгений
gitter не нужон
Unat
То-есть он "берет" что-то из монады IO и помещает в монаду m?
Anonymous
gitter не нужон
вот у тебя нет инлайн латекса ты и бесишься
Кабачок
вангую есть бот для латекса
Anonymous
есть
доня.
https://t.me/InLaTeXbot
Anonymous
а в текст не вставить
Кабачок
Евгений
То-есть он "берет" что-то из монады IO и помещает в монаду m?
Не-не-не. MonadIO это type class, "интерфейс". Его можно адекватно определить только для монад, которые "внутри" уже содержат IO
Unat
Вот да, проклятые термины :). Но я именно так и понял, спасибо.
Unat
. пижже $ /thread
а можно подробнее?
Anonymous
это шутка
Unat
верните двадцать минут жизни
Кабачок
:t (.) :t ($) в ghci посмотри
Unat
так ведь посмотрел
Кабачок
молодец, теперь пиши только в поинтфри
Anatolii
у Москвина была статья хорошая про поинтфри в fprog
Anatolii
если мне память не изменяет
Unat
насколько я понял, в зависимости от ситуации понадобится нное количество lift'ов, но я пока в процессе осознания
кана
да, а сами лифты берутся из MonadTrans