From 6a388cd7ec89c4f3c58e3cfb59923fa694a81b2f Mon Sep 17 00:00:00 2001 From: Roman Date: Fri, 21 Jan 2022 23:47:07 +0300 Subject: [PATCH 1/3] Yandex Serverless Ecosystem Chat --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 421d523..bac72ea 100644 --- a/README.md +++ b/README.md @@ -1074,6 +1074,7 @@ * [Hardcore Development](https://t.me/joinchat/CAhDYERJVDxYlqInXLe9gQ) — Hardcore Development Team. No bullshit. FP, RP. * [Мы обречены (канал)](https://t.me/myobrechenychannel) — Канал подкаста про выгорание и айти * [Мы обречены (чат)](https://t.me/myobrecheny) — Чат подкаста про выгорание и айти +* [Yandex Serverless Ecosystem](https://t.me/YandexCloudFunctions) — Чат о Serverless экосистеме Яндекса [(Назад к меню)](#Меню) From 1b07c4d346dc9779f1c33f06312ef4749ce9c557 Mon Sep 17 00:00:00 2001 From: Roman Date: Fri, 21 Jan 2022 23:53:37 +0300 Subject: [PATCH 2/3] Yandex Database Chat --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 421d523..01e570f 100644 --- a/README.md +++ b/README.md @@ -844,6 +844,7 @@ * [pgCodeKeeper](https://t.me/pgcodekeeper) — Чат поддержки [opensource](https://github.com/pgcodekeeper/pgcodekeeper) проекта [pgCodeKeeper](https://pgcodekeeper.org) * [Oracle RU](https://t.me/oracle_ru) — Чат про Oracle * [Scylla DB](https://t.me/ru_scylladb) — Чат про ScyllaDB +* [Yandex Database Chat](https://t.me/yandexdatabase_ru) — Чат по Yandex Database * [dbmsdev](https://t.me/dbmsdev) — Чат о разработке СУБД * [Разработка СУБД](https://t.me/dev_dbms_ru) — Чат разработчиков СУБД * [Teradata](https://t.me/teradata_ru) — Чат по Терадате From 55159e844273b8105ef95d92e80e693dbc2884ee Mon Sep 17 00:00:00 2001 From: Roman Date: Fri, 21 Jan 2022 23:59:29 +0300 Subject: [PATCH 3/3] practical_fm --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 421d523..bea83c1 100644 --- a/README.md +++ b/README.md @@ -948,6 +948,7 @@ * [MATEMATIKA](https://t.me/matematika_org) — Чат про математику (есть хорошие книги в закрепе!). От https://matematika.org * [/math/](https://t.me/slashmath) — Чат для обсуждения математики, картофана, коммутирующих диаграмм иногда теоретический физики и программирования * [Математический чат](https://t.me/typ_math_chat) — Уютное логово математиков +* [Формальные методы верификации ПО на практике](https://t.me/practical_fm) — Обсуждение тем, связанных с практическим использованием формальных методов верификации и спецификации ПО. [(Назад к меню)](#Меню)