Веб-версияОткрыть в Telegram
Тема
Веб-версияОткрыть в Telegram
PPython Backend UAPython Backend UA@python_backend_ua · группа · 65 участников

Сообщениеякщо тобі не важливо, але чомусь авторство тобі важливо

5 октября 2026
A
Andrii Kurdiumov
якщо тобі не важливо, але чомусь авторство тобі важливо

Рядом в ленте

ККостянтин К 🇺🇦Мені вже не цікавоAAndrii Kurdiumovтому що терміни важливі
это сообщение
ККостянтин К 🇺🇦Терміни важливі, але я вже кілька разів пояснив що маю на увазі під «приймає рішення»: система обирає що перевіряти і як, залежно від результатів. Де тут антропAAndrii Kurdiumovhttps://www21.in.tum.de/~blanchet/iwil2010-sledgehammer.pdf ось тут система генерує доведення.
PPython Backend UAPython Backend UA@python_backend_ua · группа · Технологии
65участников19пишущих за 30 дней
Лента площадки Открыть в Telegram

Открытая публичная лента из поискового индекса ChatCrawler — «Google по публичному Telegram»; обновляется по мере обхода площадки. Время — UTC.

Только публичный контент, официальный API Telegram. О проекте · Вопросы · Чего мы не делаем · Убрать страницу из выдачи · Каталог · Поиск · Как мы считаем