Последние посты канала
Описание от автора
Заметки о теории языков программирования, формальной верификации программ, теории типов, математической логике, конструктивизме и всякой всячине. Все вопросы к @clayrat, english version: https://clayrat.github.io/
Ещё каналы в категории «Новости мира» на TGpoisk.
Похожие каналы
Официальный Telegram-канал Белорусского государственного университета иностранных языков | Official Telegram Channel of Belarusian State Uni…
Центр восточной литературы Российской государственной библиотеки / @leninka_ru 📜 Лучшая библиотека для востоковеда: > 290 языков > 930k кн…
Я корреспондент @championat🟠⚫️ Новости, заметки и инсайды (редко😉). Пишу про российский футбол. Подписывайтесь! Связь: @niki_ilya
Мысли Апанасика про IT, геймдев, игры и около отого. Поддержать: https://boosty.to/apanasik Разрабытываю сервис для разрабов игр по оперир…
Регистрация в перечне владельцев страниц в соцсетях: https://clck.ru/3EgXeU
Пытаемся шарить за тренды в мире, где сегодня — это уже вчера. По рекламе: @maximillian Помощник: @justcage Работаем с @bidfox_news @Tgpo…
Утро начинается не с кофе. Сотрудничество: @evoanna @evo_milena (по всем вопросам, только мне писать) Канал в реестре: https://clck.ru/3F…
Сотрудничество - t.me/yipaz