marperia (Marperia) хочешь более оживлённый чатик — иди в #haskell:libera.chat, только тебе нужно английским владеть.
Там всегда без умолку.
Там в чём суть-то. Бот блокирует отправку сообщений, пока я не отвечу на бинарный вопрос да/нет. Я случайно тыкнул не туда и вышел из чата, зашёл снова и тыкнул туда. => Капча — говно.
Поверх postgresql-simple какого-нибудь, не помню уже точно.
Ага, я про это и спрашиваю. Вот этот
postgrest съедает не схему перзистента, а БД PostgreSQL.
Но зачем тебе схема персистента, если у тебя уже есть схема в БД?
Когда еще даже с СУБД не определился.
Можно попробовать написать свой темплейтохачкель чтобы нагенерить серванто-api исходя из текста темплейта для персистента.
@cblp @denisshevchenko Отцы, я тут небольшой PR для кардано-ноде сделал: input-output-hk/cardano-node#3569 Протолкнёте?
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 bWhy so? Shouldn't it be injective by definition?
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
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)
...
бриджа нет, можно сделать. только в телеге это будет выглядеть довольно уродливо. все сообщения одним ботовым аккаунтом будут подписаны
По-другому технически не реализуемо. В телеграме нет API для бриджей. И вообще там по ToS, если не ошибаюсь, вообще бриджи запрещены. Могут забанить за них. Это свой личный закрытый огород у пашки.
И правда.
Со стороны Матрикса всё хорошо выглядит, всё верно, потому что у Матрикса есть открытое API, с соответствующими интерфейсами. И вообще, бриджи — это часть общей идеи Матрикса, как связующего коммуникационного звена.
А со сотороны телеграма сделать также красиво технически нереализуемо.
А то сижу тут один, как сыч.
1 reply
@cblp А ПР мой так и висит input-output-hk/cardano-node#3569
У вас там бюрократия, чтоль?
4 replies
Это можно сделать, если попросить админа чата в телеграме добавить бота и дать API ключ, или что-то вроде того.
Ну и всякие бонусы в виде повсеместно работающего шифрования. Без свистоплясок можно отправить файл и он распределится по серверам опять же, и будет зашифрован при этом.
Вообще XMPP может и можно было бы обвесить расширениями, да вокруг столько клиентов, каждый из которых поддерживает только часть. И по факту когда нужно банально файл переслать, возникает сразу вопрос поддерживается ли HTTP Upload, а если нет, ох тут начинается колдовство, и только гуру знают какой и где TURN-сервер прописать, с обоех сторон ещё у клиентов. А шифрование файлов потом как если HTTP Upload? Ручное с GPG, чтоб бабушка расшифровала на смартфоне? А в Matrix (Element-е) оно за бесплатно по умолчанию оконечное для аплоадов. С позвонить тоже проблема зачастую. Ну консервы ещё как-то работают. Ну вот Element-ом я активно пользуюсь как обычным телефоном по сути, только лучше (т.к. качество звука сильно превосходит GSM). Проблема с XMPP больше похожа на нежелание пилить годные клиент. А вот Matrix запилили, с клиентами тоже не густо, но есть референсный Element, где много чего в быту необходимого есть. На Desktop-е я пользуюсь Nheko, который тоже много чего умеет, хоть и не всё, что нужно. Matrix уже используют некоторые правительства, и даже вроде германские военные. Есть команда, комитет и спонсоры. Так что тут по нетехническим причинам потенциал развития сильно больше.
А ещё они периодически работают над P2P реализацией, что стновится со временем всё более актуально. Есть всякие прототипы, где Matrix-сервер поднимается на клиенте, и он сам себе пир. См. https://p2p.riot.im
Так что не исключено что однажды это на меш-сетях заработает.