Pierre Cagne - Parametricity for GADTs

Catuscia Palamidessi - Information structures for privacy and fairness

Билл Гейтс В ПАНИКЕ: Утечки Windows 12 ПОТРЯСЛИ Мир Технологий!

Борис Трушин: Красивые математические задачи с айтишных собеседований

C. B. Aberlé - Parametricity via Cohesion

Почему изобретатели почти никогда не становятся богатыми

NotebookLM на максималках. Как изучать всё быстрее чем 99% пользователей

⚡️ Крупнейшая удар с воздуха за всю войну || Предложение Путина отвергнуто

ХУДШИЙ ТАНК ПОБЕДЫ: Почему Именно ОН Дошёл до Берлина и ВЫИГРАЛ Войну?

ЧЕМ ЗАКОНЧИТСЯ ВОЙНА В ИРАНЕ? БЕСЕДА С ВИТАЛИЙ ПОРТНИКОВ @Портников. Аргументы

Самолёт из тряпок и палок который утопил линкор и изменил ход всей морской войны

Физики никогда это не решат! Задача трёх тел. Есть ли решение?

СИВКОВ. Чьими глазами Иран поразил цель? Рассекречен канал целеуказания, о котором молчит Пентагон.

Готовить на СВИНОМ САЛЕ каждый день — вот что ЭТО сделает с твоим ОРГАНИЗМОМ

Математик Оксфордского университета РЕАКЦИЯ на «9 математических загадок, которые поставят в тупи...

В России и в Китае - нехватка рабочих рук! Что делает Китай и надо ли нам перенимать? #китай #россия

Авиация США уничтожена / Досрочная отставка президента?

Elies Harington - A model of linear logic using polynomials in Homotopy Type Theory

Больше никто не сможет вытирать о нас ноги. Мы схватили уникальный шанс | Огрызко

Fields Medal: James Maynard

The Hidden Story Behind Oxford’s Genius Way of Learning