Lecture 10 - Combinatory Logic

Lecture 12 - Simple Types and Weak Normalisation

Lecture 11 - Lambda-algebras and Simple Types

A Strong Separation for Adversarially Robust ℓ₀ Estimation for Linear Sketches

Lecture 13 - Strong Normalisation

Lecture 1 - Introduction to Lambda Calculus and its Syntax

Почему «хороших» людей не уважают? Сделайте это, и вас зауважает даже самый гордый!

Why Does 2 + 2 = 4? What Math Teaches Us About Deep Reality

Conversation with Elon Musk | World Economic Forum Annual Meeting 2026

Изучите лямбда-исчисление: язык, содержащий ТОЛЬКО ФУНКЦИИ

Oxford Algorithms and Data Structures - Lecture 1 - Amortized Analysis

Высокомерный полицейский остановил чернокожего агента ФБР и пожалел об этом

Can AI Prove It? Terence Tao on “Big Math” and Our Theoretical Future | The Futurology Podcast

Ему скучно...

Бывший рекрутер Google объясняет, почему «ложь» помогает получить работу.

Самая Сложная Задача В Истории Самой Сложной Олимпиады

Вопрос для собеседования по приему в Оксфордский математический факультет с @blackpenredpen

What If You Keep Slowing Down?

Lecture 14 - Principal Types

Lecture 9 - Undecidability, Halting, Rice and Scott-Curry

Механизмы, которые должен знать КАЖДЫЙ инженер-механик