Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • May 28 20:13

    cblp on master

    Add typeclasses.com (compare)

  • May 28 20:11

    cblp on gh-pages

    Add typeclasses.com Add typeclasses.com (compare)

  • May 17 18:56

    cblp on gh-pages

    Drop mentions of the 'ruhaskell… (compare)

  • May 11 09:55

    cblp on master

    Drop mentions of the 'ruhaskell… (compare)

  • May 11 09:55
    cblp closed #124
  • May 11 09:55
    cblp closed #121
  • May 11 09:52

    cblp on master

    Add gamedev telegram (#123) (compare)

  • May 11 09:52
    cblp closed #123
  • May 11 09:17
    ShrykeWindgrace opened #124
  • May 11 08:19
    ShrykeWindgrace commented #121
  • May 10 20:32
    dpwiz commented #121
  • May 10 20:31
    dpwiz opened #123
  • May 08 17:25

    cblp on gh-pages

    Add job links (#122) (compare)

  • May 08 17:19

    cblp on jobs

    (compare)

  • May 08 17:19

    cblp on master

    Add job links (#122) (compare)

  • May 08 17:19
    cblp closed #122
  • May 07 07:47
    cblp review_requested #122
  • May 07 07:47
    cblp review_requested #122
  • May 07 07:47
    cblp review_requested #122
  • May 07 07:47
    cblp review_requested #122
Marperia
@marperia
Даже не думал, что кто-то до сих пор присылает уведомления на почту. Ну что ж, спасибо всем за помощь и активное участие! Люблю ваше сообщество <3
unclechu
@unclechu:matrix.org
[m]
marperia (Marperia) хочешь более оживлённый чатик — иди в #haskell:libera.chat, только тебе нужно английским владеть.
Там всегда без умолку.
Anton Gushcha
@NCrashed
Воу, гиттер ещё жив
Alexander Tchitchigin
@gabriel-fallen
Я что-то так и не могу по ответам понять, бот это или нет... Совсем старый стал?
unclechu
@unclechu:matrix.org
[m]
Может сам стал ботом 😅
Marperia
@marperia
@gabriel-fallen а ты скинь капчу, может быть поймёшь
Там в чём суть-то. Бот блокирует отправку сообщений, пока я не отвечу на бинарный вопрос да/нет. Я случайно тыкнул не туда и вышел из чата, зашёл снова и тыкнул туда. => Капча — говно.
Gleb Popov
@arrowd
Где найти теперь найти Искусство создания динамических опередней? erlang-mnesia-video.ru лежит
unclechu
@unclechu:matrix.org
[m]
arrowd (Gleb Popov) на web.archive.org (или как там) нет?
Gleb Popov
@arrowd
Да там-то есть. Я думал, может перенесли куда.
unclechu
@unclechu:matrix.org
[m]
Скорее за хостинг забыли заплатить.
Gleb Popov
@arrowd
Отцы, а есть чет вроде postgrest только поверх persistent, а не только постгреса?
1 reply
unclechu
@unclechu:matrix.org
[m]
Это же persistent поверх него.
Поверх postgresql-simple какого-нибудь, не помню уже точно.
Gleb Popov
@arrowd
Я имел ввиду, некую штуку, которой скармливаешь схему для перзистента, а она сервит БД в веб.
1 reply
Gleb Popov
@arrowd
Чет сюр.
Ага, я про это и спрашиваю. Вот этот postgrest съедает не схему перзистента, а БД PostgreSQL.
unclechu
@unclechu:matrix.org
[m]
Да
Но зачем тебе схема персистента, если у тебя уже есть схема в БД?
Gleb Popov
@arrowd
Я могу начать с перзистента.
Когда еще даже с СУБД не определился.
Alexander Tchitchigin
@gabriel-fallen
Если ещё не определился с БД, и нет данных -- что тогда должен отдавать этот REST API?
unclechu
@unclechu:matrix.org
[m]
Можно попробовать написать свой темплейтохачкель чтобы нагенерить серванто-api исходя из текста темплейта для персистента.
Gleb Popov
@arrowd
@cblp @denisshevchenko Отцы, я тут небольшой PR для кардано-ноде сделал: input-output-hk/cardano-node#3569 Протолкнёте?
Yuriy Pitomets
@Pitometsu

Hi!

I have a problem with injectivity of injective type families, here it's:

> :info F
type F :: * -> *
type family F t where = r | r -> t
 . . .

> f :: forall a b . (F a ~ F b) => a :~: b; f = Refl

<interactive>: error:
    • Could not deduce: a ~ b
      from the context: F a ~ F b

Why so? Shouldn't it be injective by definition?

unclechu
@unclechu:matrix.org
[m]
Pitometsu (Yuriy Pitomets) you probably need this constraint to be set explicitly:
f :: forall a b . (a ~ b, F a ~ F b) => a :~: b; f = Refl
Yuriy Pitomets
@Pitometsu
yeah, but what I want is to be able to infer from the type family result type equality get the argument types equality. Isn't that what the injectivity about?
Alexander Babin
@mudriyjo

Hi, smb know how to start "stack --ghci" into spacemacs
i go to src/Lib.hs then SPC m s b - start repl but it start as a clear ghci without stack and load Lib.hs and dependencies

spacemacs config part

   dotspacemacs-configuration-layers
   '(
     html
     yaml
     (haskell :variables haskell-process-type 'stack-ghci)
     ;; ----------------------------------------------------------------
     ;; Example of useful layers you may want to use right away.
     ;; Uncomment some layer names and press `SPC f e R' (Vim style) or
     ;; `M-m f e R' (Emacs style) to install them.
     ;; ----------------------------------------------------------------
     (auto-completion :variables
                      auto-completion-return-key-behavior 'complete
                      auto-completion-tab-key-behavior 'cycle
                      auto-completion-complete-with-key-sequence nil
                      auto-completion-complete-with-key-sequence-delay 0.1
                      auto-completion-minimum-prefix-length 2
                      auto-completion-idle-delay 0.2
                      auto-completion-private-snippets-directory nil
                      auto-completion-enable-snippets-in-popup nil
                      auto-completion-enable-help-tooltip nil
                      auto-completion-use-company-box nil
                      auto-completion-enable-sort-by-usage nil)
...
Gleb Popov
@arrowd
Граждане, эта конфа ведь переехала в телеграм, насколько я помню?
Gleb Popov
@arrowd
У вас там бридж в Matrix не настроен, случаем?
Yuriy Syrovetskiy
@cblp
масса людей переехала в Телеграм, эта конфа осталась на всякий случай
бриджа нет, можно сделать. только в телеге это будет выглядеть довольно уродливо. все сообщения одним ботовым аккаунтом будут подписаны
unclechu
@unclechu:matrix.org
[m]
По-другому технически не реализуемо. В телеграме нет API для бриджей. И вообще там по ToS, если не ошибаюсь, вообще бриджи запрещены. Могут забанить за них. Это свой личный закрытый огород у пашки.
Gleb Popov
@arrowd
Разве? Со стороны матрикса всё очень красиво выглядит.
И правда.
unclechu
@unclechu:matrix.org
[m]
Со стороны Матрикса всё хорошо выглядит, всё верно, потому что у Матрикса есть открытое API, с соответствующими интерфейсами. И вообще, бриджи — это часть общей идеи Матрикса, как связующего коммуникационного звена.
А со сотороны телеграма сделать также красиво технически нереализуемо.
Gleb Popov
@arrowd
Ну, я был бы очень рад бриджу.
А то сижу тут один, как сыч.
1 reply
@cblp А ПР мой так и висит input-output-hk/cardano-node#3569
У вас там бюрократия, чтоль?
4 replies
unclechu
@unclechu:matrix.org
[m]
Это можно сделать, если попросить админа чата в телеграме добавить бота и дать API ключ, или что-то вроде того.
Alex Gabriel
@gabriel-fallen:matrix.org
[m]
Ух ты! Зашёл через Matrix вместо Gitter. 😁
Yuriy Syrovetskiy
@cblp
а зачем Matrix, если есть Jabber/XMPP?
1 reply
Alex Gabriel
@gabriel-fallen:matrix.org
[m]
Для шифрования и вообще...
unclechu
@unclechu:matrix.org
[m]
Ну и всякие бонусы в виде повсеместно работающего шифрования. Без свистоплясок можно отправить файл и он распределится по серверам опять же, и будет зашифрован при этом.
unclechu
@unclechu:matrix.org
[m]
Вообще XMPP может и можно было бы обвесить расширениями, да вокруг столько клиентов, каждый из которых поддерживает только часть. И по факту когда нужно банально файл переслать, возникает сразу вопрос поддерживается ли HTTP Upload, а если нет, ох тут начинается колдовство, и только гуру знают какой и где TURN-сервер прописать, с обоех сторон ещё у клиентов. А шифрование файлов потом как если HTTP Upload? Ручное с GPG, чтоб бабушка расшифровала на смартфоне? А в Matrix (Element-е) оно за бесплатно по умолчанию оконечное для аплоадов. С позвонить тоже проблема зачастую. Ну консервы ещё как-то работают. Ну вот Element-ом я активно пользуюсь как обычным телефоном по сути, только лучше (т.к. качество звука сильно превосходит GSM). Проблема с XMPP больше похожа на нежелание пилить годные клиент. А вот Matrix запилили, с клиентами тоже не густо, но есть референсный Element, где много чего в быту необходимого есть. На Desktop-е я пользуюсь Nheko, который тоже много чего умеет, хоть и не всё, что нужно. Matrix уже используют некоторые правительства, и даже вроде германские военные. Есть команда, комитет и спонсоры. Так что тут по нетехническим причинам потенциал развития сильно больше.
А ещё они периодически работают над P2P реализацией, что стновится со временем всё более актуально. Есть всякие прототипы, где Matrix-сервер поднимается на клиенте, и он сам себе пир. См. https://p2p.riot.im
Так что не исключено что однажды это на меш-сетях заработает.