Description
Заметки о теории языков программирования, формальной верификации программ, теории типов, математической логике, конструктивизме и всякой всячине. Все вопросы к @clayrat, english version: https://clayrat.github.io/
Upgrade Telegram with Nicegram 
Manage unlimited accounts, chat with AI, get instant group summaries, and translate or improve messages as you type.
Upgrade your TelegramTelegram Recommendations
Техножрица 👩💻👩🏫👩🔧
Люблю высокие технологии и кушать. Добро пожаловать, если в сферу твоих интересов тоже входят математика, DL, NLP, программирование на Python, или тебе просто любопытно, о чем на досуге размышляют люди, занимающиеся разработкой и исследованиями в ML.
epsilon correct
Машинное обучение, графы, языковые модели. Чуток про карьеру исследователя в FAANG, путь PhD и щепотка полезной математики. Связаться с автором: @deltaincorrect. Рекламы в канале нет.
tropical saint petersburg
channel3.2k members
Empty Set of Ideas
Описание отсутствует
Математическая свалка Сепы
channel1.5k members
Лаборатория Математики и Программирования Сергея Бобровского
ЛаМПовое с Бобровским
Alternative Telegram Channels
Ебанные Гифки
ПНГшки - https://t.me/Pngshky
ИДУ НА ЛЯМ
ПРЕДПРИНИМАТЕЛЬ. На первом бизнесе с 200 руб. заработал чистыми 30🍋 руб. 👉 Проехал от NY до LA на тачке 👉 Прыгнул с высоты 207 метров 👉 Прожил 4 дня без еды и воды 👉 Во мне 3 крови: тат., рус. и ев.)
Storozhev
Александр Сторожев. Безэмоциональный канал гениального спортсмена и тренера. Поддержать автора: https://tips.yandex.ru/guest/payment/3656232 Реклама и сотрудничество: [email protected]
FXPPZ
channel751 members
На ВекА
channel1k members
Nika_a 💋
channel197 members
