Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Some messages weren't delivered to Telegram #133

Closed
Minoru opened this issue Jun 28, 2021 · 2 comments · Fixed by #134
Closed

Some messages weren't delivered to Telegram #133

Minoru opened this issue Jun 28, 2021 · 2 comments · Fixed by #134
Labels
kind:incident

Comments

@Minoru
Copy link
Member

Minoru commented Jun 28, 2021

From the XMPP logs:

[15:51:14] <тг> <@Devel29A> Конечно. Каждый сказки про Бабу-Ягу знает
[15:58:13] <Minoru> смотрите, люди на Haskell пишут DSL, в котором каждому значению и выражению присвоен уровень «приватности», и система типов не даёт приватным данным утечь (даже опосредственно!) https://dodisturb.me/posts/2021-06-27-Typed-Programs-Dont-Leak-Data.html
[15:59:09] <Minoru> то есть можно писать софтварные «энклавы», и система типов докажет, что приватный материал из «энклава» не утекает
[16:00:40] <Minoru> а это, в свою очередь, важно потому, что я вчера прочитал у Шнайера про subliminal channel в алгоритмах подписей и теперь считаю, что любая реализация криптографии, которую нельзя подвергнуть аудиту и воспроизводимо сбилдить — доверия не заслуживает
[16:02:23] <Minoru> т.е. раньше мне казалось, что проблема неаудитируемых реализаций только в том, что неясно, есть там баги или нет. А тут вот выяснилось, что можно совершенно корректно реализовать все алгоритмы, но при этом добавить потайной канал и через него сифонить приватный материал. Ужас!
[16:03:20] <Minoru> (это якобы можно почти полностью решить введением более сложных протоколов, но кто станет этим заниматься? Лучше уж аудитировать то, что уже имеем)
[16:19:33] <тг> <@folexeyy> >> <@noktoborus> @sarakerrigan а ты знал что раньше детей запекали в печах?
это процесс рождения или умерщвления?

Later on it turned out that none of my messages were delivered to Telegram, although I did see messages from Telegram (they can also be seen in the log).

Might be indicative of some rare bug, or perhaps it's just cjr being cjr.
@Minoru
Copy link
Member Author

Minoru commented Jun 29, 2021

This keeps happening.

@ForNeVeR
Copy link
Member

Excerpt from logs:

[12:49:51 VRB] XMPP stanza (incoming): <message from="[email protected]/Minoru" to="[email protected]/9408059330185679427" type="groupchat" id="17275162387" xmlns="jabber:client">
  <body>смотрите, люди на Haskell пишут DSL, в котором каждому значению и выражению присвоен уровень «приватности», и система типов не даёт приватным данным утечь (даже опосредственно!) https://dodisturb.me/posts/2021-06-27-Typed-Programs-Dont-Leak-Data.html</body>
</message>
[12:49:51 DBG] Current queue state: { Messages =
            seq
              [OutgoingMessage
                 (Authored
                    { author = "Minoru"
                      text =
                            "смотрите, люди на Haskell пишут DSL, в котором каждому значению и выражению присвоен уровень «приватности», и система типов не даёт приватным данным утечь (даже опосредственно!) https://dodisturb.me/posts/2021-06-27-Typed-Programs-Dont-Leak-Data.html" })]
  ClientReadyToSendMessages = true }
[12:49:52 ERR] Telegram API call processing error: { Description = "Bad Gateway"
  ErrorCode = 502 }
[12:49:52 DBG] Current queue state: { Messages = seq []
  ClientReadyToSendMessages = true }

Seems we got 502 error from Telegram, but… ignored it?

ForNeVeR added a commit that referenced this issue Jun 29, 2021
@ForNeVeR
Fix #133: process Telegram errors properly
f3fa158
@ForNeVeR ForNeVeR mentioned this issue Jun 29, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind:incident
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Telegram error processing codingteam/emulsion
2 participants
@ForNeVeR @Minoru